-missing happens-before annotation
- at 0x........: vgDrdCl_annotate_happens_after (drd.h:?)
- by 0x........: main (annotate_hb_err.c:?)
-
wrong type of synchronization object
- at 0x........: vgDrdCl_annotate_happens_before (drd.h:?)
+ at 0x........: U_AnnotateHappensBefore (unified_annotations.h:?)
by 0x........: main (annotate_hb_err.c:?)
mutex 0x........ was first observed at:
at 0x........: pthread_mutex_init (drd_pthread_intercepts.c:?)
by 0x........: main (annotate_hb_err.c:?)
wrong type of synchronization object
- at 0x........: vgDrdCl_annotate_happens_before (drd.h:?)
+ at 0x........: U_AnnotateHappensBefore (unified_annotations.h:?)
by 0x........: main (annotate_hb_err.c:?)
cond 0x........ was first observed at:
at 0x........: pthread_cond_init (drd_pthread_intercepts.c:?)
at 0x........: pthread_cond_init (drd_pthread_intercepts.c:?)
by 0x........: main (annotate_hb_err.c:?)
order annotation 0x........ was first observed at:
- at 0x........: vgDrdCl_annotate_happens_before (drd.h:?)
- by 0x........: main (annotate_hb_err.c:?)
-
-happens-before after happens-after
- at 0x........: vgDrdCl_annotate_happens_before (drd.h:?)
- by 0x........: main (annotate_hb_err.c:?)
-order annotation 0x........ was first observed at:
- at 0x........: vgDrdCl_annotate_happens_before (drd.h:?)
+ at 0x........: U_AnnotateHappensAfter (unified_annotations.h:?)
by 0x........: main (annotate_hb_err.c:?)
Done.
-ERROR SUMMARY: 5 errors from 5 contexts (suppressed: 0 from 0)
+ERROR SUMMARY: 3 errors from 3 contexts (suppressed: 0 from 0)