Added a test program that triggers several happens-before usage errors.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11069 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/drd/tests/annotate_hb_err.c b/drd/tests/annotate_hb_err.c
new file mode 100644
index 0000000..97da9c0
--- /dev/null
+++ b/drd/tests/annotate_hb_err.c
@@ -0,0 +1,53 @@
+/* Test program that triggers several happens-before usage errors. */
+
+
+#include <stdlib.h>
+#include <stdio.h>
+#include <pthread.h>
+#include "unified_annotations.h"
+
+
+int main(int argc, char** argv)
+{
+ pthread_mutex_t m;
+ pthread_cond_t cv;
+ int i[64];
+
+ pthread_mutex_init(&m, NULL);
+ pthread_cond_init(&cv, NULL);
+
+ /* happens-after without preceding happens-before. */
+ ANNOTATE_HAPPENS_AFTER(&i);
+
+ /* happens-after on a mutex. */
+ ANNOTATE_HAPPENS_BEFORE(&m);
+
+ /* happens-after on a condition variable. */
+ ANNOTATE_HAPPENS_BEFORE(&cv);
+
+ /* condition variable operation on a h.b. annotated object. */
+ ANNOTATE_HAPPENS_BEFORE(&i);
+ pthread_cond_init((pthread_cond_t*)&i, NULL);
+
+ /* The sequence below is fine. */
+ ANNOTATE_HAPPENS_DONE(&i);
+ ANNOTATE_HAPPENS_BEFORE(&i);
+ ANNOTATE_HAPPENS_AFTER(&i);
+ ANNOTATE_HAPPENS_DONE(&i);
+ ANNOTATE_HAPPENS_BEFORE(&i);
+ ANNOTATE_HAPPENS_DONE(&i);
+
+ /* happens-before after happens-after without intervening happens-done. */
+ ANNOTATE_HAPPENS_BEFORE(&i);
+ ANNOTATE_HAPPENS_AFTER(&i);
+ ANNOTATE_HAPPENS_BEFORE(&i);
+
+ fprintf(stderr, "Done.\n");
+ return 0;
+}
+
+/*
+ * Local variables:
+ * c-basic-offset: 2
+ * End:
+ */