/* args: null-terminated character string. */
/* Tell DRD to insert a happens before annotation. */
- VG_USERREQ__DRD_ANNOTATE_HAPPENS_BEFORE,
+ VG_USERREQ__DRD_ANNOTATE_HAPPENS_BEFORE
+ = VG_USERREQ_TOOL_BASE('H','G') + 256 + 33,
/* args: Addr. */
/* Tell DRD to insert a happens after annotation. */
- VG_USERREQ__DRD_ANNOTATE_HAPPENS_AFTER,
+ VG_USERREQ__DRD_ANNOTATE_HAPPENS_AFTER
+ = VG_USERREQ_TOOL_BASE('H','G') + 256 + 34,
/* args: Addr. */
/* Tell DRD about an operation performed on a user-defined reader-writer
tsan_thread_wrappers_pthread.h
EXTRA_DIST = \
+ annotate_hbefore.stderr.exp \
+ annotate_hbefore.vgtest \
annotate_order_1.stderr.exp \
annotate_order_1.vgtest \
annotate_order_2.stderr.exp \
--- /dev/null
+prereq: test -e ../../helgrind/tests/annotate_hbefore && ./supported_libpthread
+vgopts: --read-var-info=yes --check-stack-var=yes --show-confl-seg=no
+prog: ../../helgrind/tests/annotate_hbefore
+stderr_filter: filter_stderr