| bart | e37ff33 | 2010-03-07 10:46:43 +0000 | [diff] [blame] | 1 | |
| 2 | missing happens-before annotation |
| 3 | at 0x........: vgDrdCl_annotate_happens_after (drd.h:?) |
| 4 | by 0x........: main (annotate_hb_err.c:?) |
| 5 | |
| 6 | wrong type of synchronization object |
| 7 | at 0x........: vgDrdCl_annotate_happens_before (drd.h:?) |
| 8 | by 0x........: main (annotate_hb_err.c:?) |
| 9 | mutex 0x........ was first observed at: |
| 10 | at 0x........: pthread_mutex_init (drd_pthread_intercepts.c:?) |
| 11 | by 0x........: main (annotate_hb_err.c:?) |
| 12 | |
| 13 | wrong type of synchronization object |
| 14 | at 0x........: vgDrdCl_annotate_happens_before (drd.h:?) |
| 15 | by 0x........: main (annotate_hb_err.c:?) |
| 16 | cond 0x........ was first observed at: |
| 17 | at 0x........: pthread_cond_init (drd_pthread_intercepts.c:?) |
| 18 | by 0x........: main (annotate_hb_err.c:?) |
| 19 | |
| 20 | wrong type of synchronization object |
| 21 | at 0x........: pthread_cond_init (drd_pthread_intercepts.c:?) |
| 22 | by 0x........: main (annotate_hb_err.c:?) |
| 23 | order annotation 0x........ was first observed at: |
| 24 | at 0x........: vgDrdCl_annotate_happens_before (drd.h:?) |
| 25 | by 0x........: main (annotate_hb_err.c:?) |
| 26 | |
| 27 | happens-before after happens-after |
| 28 | at 0x........: vgDrdCl_annotate_happens_before (drd.h:?) |
| 29 | by 0x........: main (annotate_hb_err.c:?) |
| 30 | order annotation 0x........ was first observed at: |
| 31 | at 0x........: vgDrdCl_annotate_happens_before (drd.h:?) |
| 32 | by 0x........: main (annotate_hb_err.c:?) |
| 33 | |
| 34 | Done. |
| 35 | |
| 36 | ERROR SUMMARY: 5 errors from 5 contexts (suppressed: 0 from 0) |