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 destroy a barrier that was never initialised
161 <unique>0x........
</unique>
163 <kind>GenericErr
</kind>
164 <what>Not a barrier
</what>
169 <fn>pthread_barrier_destroy
</fn>
171 <file>drd_pthread_intercepts.c
</file>
179 <file>bar_bad.c
</file>
187 <state>FINISHED
</state>
194 <unique>0x........
</unique>
198 <unique>0x........
</unique>
202 <unique>0x........
</unique>
206 <unique>0x........
</unique>
210 <suppcounts>...
</suppcounts>