3 initialise a barrier with zero
count
4 pthread_barrier_init
: 'count' argument is zero
: barrier
0x........
5 at
0x........
: pthread_barrier_init
(drd_pthread_intercepts.c
:?
)
6 by
0x........
: main
(bar_bad.c
:?
)
9 initialise a barrier twice
10 Barrier reinitialization
: barrier
0x........
11 at
0x........
: pthread_barrier_init
(drd_pthread_intercepts.c
:?
)
12 by
0x........
: main
(bar_bad.c
:?
)
13 barrier
0x........ was first observed at
:
14 at
0x........
: pthread_barrier_init
(drd_pthread_intercepts.c
:?
)
15 by
0x........
: main
(bar_bad.c
:?
)
18 initialise a barrier which has threads waiting
on it
19 Barrier reinitialization
: barrier
0x........
20 at
0x........
: pthread_barrier_init
(drd_pthread_intercepts.c
:?
)
21 by
0x........
: main
(bar_bad.c
:?
)
22 barrier
0x........ was first observed at
:
23 at
0x........
: pthread_barrier_init
(drd_pthread_intercepts.c
:?
)
24 by
0x........
: main
(bar_bad.c
:?
)
27 destroy a barrier that has waiting threads
28 Destruction of a barrier with active waiters
: barrier
0x........
29 at
0x........
: pthread_barrier_destroy
(drd_pthread_intercepts.c
:?
)
30 by
0x........
: main
(bar_bad.c
:?
)
31 barrier
0x........ was first observed at
:
32 at
0x........
: pthread_barrier_init
(drd_pthread_intercepts.c
:?
)
33 by
0x........
: main
(bar_bad.c
:?
)
36 destroy a barrier that was never initialised
38 ERROR SUMMARY
: 5 errors from
4 contexts
(suppressed
: 0 from
0)