12d7cdb2889b6134c1a182869a02c426f2b8125c5sewardj
29af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj---Thread-Announcement------------------------------------------
39af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj
42d7cdb2889b6134c1a182869a02c426f2b8125c5sewardjThread #x was created
5553c42fad6eeae28d751806ff9c2803c41e80310njn   ...
62d7cdb2889b6134c1a182869a02c426f2b8125c5sewardj   by 0x........: pthread_create@* (hg_intercepts.c:...)
72d7cdb2889b6134c1a182869a02c426f2b8125c5sewardj   by 0x........: main (hg04_race.c:21)
82d7cdb2889b6134c1a182869a02c426f2b8125c5sewardj
99af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj---Thread-Announcement------------------------------------------
109af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj
112d7cdb2889b6134c1a182869a02c426f2b8125c5sewardjThread #x was created
12553c42fad6eeae28d751806ff9c2803c41e80310njn   ...
132d7cdb2889b6134c1a182869a02c426f2b8125c5sewardj   by 0x........: pthread_create@* (hg_intercepts.c:...)
142d7cdb2889b6134c1a182869a02c426f2b8125c5sewardj   by 0x........: main (hg04_race.c:19)
152d7cdb2889b6134c1a182869a02c426f2b8125c5sewardj
169af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj----------------------------------------------------------------
179af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj
182d7cdb2889b6134c1a182869a02c426f2b8125c5sewardjPossible data race during read of size 4 at 0x........ by thread #x
199af8d1e21468cbacdefc437b312ba1fa95fcba16sewardjLocks held: none
202d7cdb2889b6134c1a182869a02c426f2b8125c5sewardj   at 0x........: th (hg04_race.c:10)
212d7cdb2889b6134c1a182869a02c426f2b8125c5sewardj   by 0x........: mythread_wrapper (hg_intercepts.c:...)
22553c42fad6eeae28d751806ff9c2803c41e80310njn   ...
239af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj
249af8d1e21468cbacdefc437b312ba1fa95fcba16sewardjThis conflicts with a previous write of size 4 by thread #x
259af8d1e21468cbacdefc437b312ba1fa95fcba16sewardjLocks held: none
262d7cdb2889b6134c1a182869a02c426f2b8125c5sewardj   at 0x........: th (hg04_race.c:10)
272d7cdb2889b6134c1a182869a02c426f2b8125c5sewardj   by 0x........: mythread_wrapper (hg_intercepts.c:...)
28553c42fad6eeae28d751806ff9c2803c41e80310njn   ...
2907c08527f05caeb0062b42ca9a58ee774ec5fba1philippe Location 0x........ is 0 bytes inside global var "shared"
3007c08527f05caeb0062b42ca9a58ee774ec5fba1philippe declared at hg04_race.c:6
319af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj
329af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj----------------------------------------------------------------
332d7cdb2889b6134c1a182869a02c426f2b8125c5sewardj
342d7cdb2889b6134c1a182869a02c426f2b8125c5sewardjPossible data race during write of size 4 at 0x........ by thread #x
359af8d1e21468cbacdefc437b312ba1fa95fcba16sewardjLocks held: none
362d7cdb2889b6134c1a182869a02c426f2b8125c5sewardj   at 0x........: th (hg04_race.c:10)
372d7cdb2889b6134c1a182869a02c426f2b8125c5sewardj   by 0x........: mythread_wrapper (hg_intercepts.c:...)
38553c42fad6eeae28d751806ff9c2803c41e80310njn   ...
399af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj
409af8d1e21468cbacdefc437b312ba1fa95fcba16sewardjThis conflicts with a previous write of size 4 by thread #x
419af8d1e21468cbacdefc437b312ba1fa95fcba16sewardjLocks held: none
422d7cdb2889b6134c1a182869a02c426f2b8125c5sewardj   at 0x........: th (hg04_race.c:10)
432d7cdb2889b6134c1a182869a02c426f2b8125c5sewardj   by 0x........: mythread_wrapper (hg_intercepts.c:...)
44553c42fad6eeae28d751806ff9c2803c41e80310njn   ...
4507c08527f05caeb0062b42ca9a58ee774ec5fba1philippe Location 0x........ is 0 bytes inside global var "shared"
4607c08527f05caeb0062b42ca9a58ee774ec5fba1philippe declared at hg04_race.c:6
472d7cdb2889b6134c1a182869a02c426f2b8125c5sewardj
48cab64bca3a865a294b2c20f158c8c2182fa4eb7enjn
492d7cdb2889b6134c1a182869a02c426f2b8125c5sewardjERROR SUMMARY: 2 errors from 2 contexts (suppressed: 0 from 0)
50