5 <protocolversion>4</protocolversion>
6 <protocoltool>drd
</protocoltool>
22 <exe>./../../helgrind/tests/bar_bad
</exe>
27 <state>RUNNING
</state>
32 initialise a barrier with zero count
34 <unique>0x........
</unique>
36 <kind>BarrierErr
</kind>
37 <what>pthread_barrier_init: 'count' argument is zero: barrier
0x........
</what>
42 <fn>pthread_barrier_init
</fn>
44 <file>drd_pthread_intercepts.c
</file>
52 <file>bar_bad.c
</file>
59 initialise a barrier twice
61 <unique>0x........
</unique>
63 <kind>BarrierErr
</kind>
64 <what>Barrier reinitialization: barrier
0x........
</what>
69 <fn>pthread_barrier_init
</fn>
71 <file>drd_pthread_intercepts.c
</file>
79 <file>bar_bad.c
</file>
85 <address>0x........
</address>
90 <fn>pthread_barrier_init
</fn>
92 <file>drd_pthread_intercepts.c
</file>
100 <file>bar_bad.c
</file>
108 initialise a barrier which has threads waiting on it
110 <unique>0x........
</unique>
112 <kind>BarrierErr
</kind>
113 <what>Barrier reinitialization: barrier
0x........
</what>
118 <fn>pthread_barrier_init
</fn>
120 <file>drd_pthread_intercepts.c
</file>
128 <file>bar_bad.c
</file>
134 <address>0x........
</address>
139 <fn>pthread_barrier_init
</fn>
141 <file>drd_pthread_intercepts.c
</file>
149 <file>bar_bad.c
</file>
157 destroy a barrier that has waiting threads
159 <unique>0x........
</unique>
161 <kind>BarrierErr
</kind>
162 <what>Destruction of a barrier with active waiters: barrier
0x........
</what>
167 <fn>pthread_barrier_destroy
</fn>
169 <file>drd_pthread_intercepts.c
</file>
177 <file>bar_bad.c
</file>
183 <address>0x........
</address>
188 <fn>pthread_barrier_init
</fn>
190 <file>drd_pthread_intercepts.c
</file>
198 <file>bar_bad.c
</file>
206 destroy a barrier that was never initialised
208 <unique>0x........
</unique>
210 <kind>GenericErr
</kind>
211 <what>Not a barrier
</what>
216 <fn>pthread_barrier_destroy
</fn>
218 <file>drd_pthread_intercepts.c
</file>
226 <file>bar_bad.c
</file>
233 <unique>0x........
</unique>
235 <kind>BarrierErr
</kind>
236 <what>Destruction of barrier that is being waited upon: barrier
0x........
</what>
243 <file>vg_replace_malloc.c
</file>
251 <file>bar_bad.c
</file>
257 <address>0x........
</address>
262 <fn>pthread_barrier_init
</fn>
264 <file>drd_pthread_intercepts.c
</file>
272 <file>bar_bad.c
</file>
281 <state>FINISHED
</state>
288 <unique>0x........
</unique>
292 <unique>0x........
</unique>
296 <unique>0x........
</unique>
300 <unique>0x........
</unique>
304 <unique>0x........
</unique>
308 <unique>0x........
</unique>
312 <suppcounts>...
</suppcounts>