1b9622d581b17378e79717a35553728e44b8703f1sewardj
2b9622d581b17378e79717a35553728e44b8703f1sewardjinitialise a barrier with zero count
39af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj---Thread-Announcement------------------------------------------
49af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj
5575e48f2a535dadaef77288ac54f1fea7f2ffd91sewardjThread #x is the program's root thread
6b9622d581b17378e79717a35553728e44b8703f1sewardj
79af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj----------------------------------------------------------------
89af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj
9575e48f2a535dadaef77288ac54f1fea7f2ffd91sewardjThread #x: pthread_barrier_init: 'count' argument is zero
10b9622d581b17378e79717a35553728e44b8703f1sewardj   at 0x........: pthread_barrier_init (hg_intercepts.c:...)
11b9622d581b17378e79717a35553728e44b8703f1sewardj   by 0x........: main (bar_bad.c:39)
12b9622d581b17378e79717a35553728e44b8703f1sewardj
139af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj----------------------------------------------------------------
149af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj
15575e48f2a535dadaef77288ac54f1fea7f2ffd91sewardjThread #x's call to pthread_barrier_init failed
16b9622d581b17378e79717a35553728e44b8703f1sewardj   with error code 22 (EINVAL: Invalid argument)
17b9622d581b17378e79717a35553728e44b8703f1sewardj   at 0x........: pthread_barrier_init (hg_intercepts.c:...)
18b9622d581b17378e79717a35553728e44b8703f1sewardj   by 0x........: main (bar_bad.c:39)
19b9622d581b17378e79717a35553728e44b8703f1sewardj
20b9622d581b17378e79717a35553728e44b8703f1sewardj
21cab64bca3a865a294b2c20f158c8c2182fa4eb7enjninitialise a barrier twice
229af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj----------------------------------------------------------------
239af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj
24575e48f2a535dadaef77288ac54f1fea7f2ffd91sewardjThread #x: pthread_barrier_init: barrier is already initialised
25b9622d581b17378e79717a35553728e44b8703f1sewardj   at 0x........: pthread_barrier_init (hg_intercepts.c:...)
26b9622d581b17378e79717a35553728e44b8703f1sewardj   by 0x........: main (bar_bad.c:45)
27b9622d581b17378e79717a35553728e44b8703f1sewardj
28b9622d581b17378e79717a35553728e44b8703f1sewardj
29cab64bca3a865a294b2c20f158c8c2182fa4eb7enjninitialise a barrier which has threads waiting on it
309af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj----------------------------------------------------------------
319af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj
32575e48f2a535dadaef77288ac54f1fea7f2ffd91sewardjThread #x: pthread_barrier_init: barrier is already initialised
33b9622d581b17378e79717a35553728e44b8703f1sewardj   at 0x........: pthread_barrier_init (hg_intercepts.c:...)
34b9622d581b17378e79717a35553728e44b8703f1sewardj   by 0x........: main (bar_bad.c:57)
35b9622d581b17378e79717a35553728e44b8703f1sewardj
369af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj----------------------------------------------------------------
379af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj
38575e48f2a535dadaef77288ac54f1fea7f2ffd91sewardjThread #x: pthread_barrier_init: threads are waiting at barrier
39b9622d581b17378e79717a35553728e44b8703f1sewardj   at 0x........: pthread_barrier_init (hg_intercepts.c:...)
40b9622d581b17378e79717a35553728e44b8703f1sewardj   by 0x........: main (bar_bad.c:57)
41b9622d581b17378e79717a35553728e44b8703f1sewardj
42b9622d581b17378e79717a35553728e44b8703f1sewardj
43cab64bca3a865a294b2c20f158c8c2182fa4eb7enjndestroy a barrier that has waiting threads
449af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj----------------------------------------------------------------
459af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj
46575e48f2a535dadaef77288ac54f1fea7f2ffd91sewardjThread #x: pthread_barrier_destroy: threads are waiting at barrier
47b9622d581b17378e79717a35553728e44b8703f1sewardj   at 0x........: pthread_barrier_destroy (hg_intercepts.c:...)
48b9622d581b17378e79717a35553728e44b8703f1sewardj   by 0x........: main (bar_bad.c:69)
49b9622d581b17378e79717a35553728e44b8703f1sewardj
509af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj----------------------------------------------------------------
519af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj
52575e48f2a535dadaef77288ac54f1fea7f2ffd91sewardjThread #x's call to pthread_barrier_destroy failed
53b9622d581b17378e79717a35553728e44b8703f1sewardj   with error code 16 (EBUSY: Device or resource busy)
54b9622d581b17378e79717a35553728e44b8703f1sewardj   at 0x........: pthread_barrier_destroy (hg_intercepts.c:...)
55b9622d581b17378e79717a35553728e44b8703f1sewardj   by 0x........: main (bar_bad.c:69)
56b9622d581b17378e79717a35553728e44b8703f1sewardj
57b9622d581b17378e79717a35553728e44b8703f1sewardj
58cab64bca3a865a294b2c20f158c8c2182fa4eb7enjndestroy a barrier that was never initialised
599af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj----------------------------------------------------------------
609af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj
61575e48f2a535dadaef77288ac54f1fea7f2ffd91sewardjThread #x: pthread_barrier_destroy: barrier was never initialised
62b9622d581b17378e79717a35553728e44b8703f1sewardj   at 0x........: pthread_barrier_destroy (hg_intercepts.c:...)
63b9622d581b17378e79717a35553728e44b8703f1sewardj   by 0x........: main (bar_bad.c:80)
64cab64bca3a865a294b2c20f158c8c2182fa4eb7enjn
65