12d7cdb2889b6134c1a182869a02c426f2b8125c5sewardj
29af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj---Thread-Announcement------------------------------------------
39af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj
42d7cdb2889b6134c1a182869a02c426f2b8125c5sewardjThread #x was created
5553c42fad6eeae28d751806ff9c2803c41e80310njn   ...
62d7cdb2889b6134c1a182869a02c426f2b8125c5sewardj   by 0x........: pthread_create@* (hg_intercepts.c:...)
72d7cdb2889b6134c1a182869a02c426f2b8125c5sewardj   by 0x........: main (rwlock_race.c:48)
82d7cdb2889b6134c1a182869a02c426f2b8125c5sewardj
99af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj---Thread-Announcement------------------------------------------
109af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj
112d7cdb2889b6134c1a182869a02c426f2b8125c5sewardjThread #x was created
12553c42fad6eeae28d751806ff9c2803c41e80310njn   ...
132d7cdb2889b6134c1a182869a02c426f2b8125c5sewardj   by 0x........: pthread_create@* (hg_intercepts.c:...)
142d7cdb2889b6134c1a182869a02c426f2b8125c5sewardj   by 0x........: main (rwlock_race.c:47)
152d7cdb2889b6134c1a182869a02c426f2b8125c5sewardj
169af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj----------------------------------------------------------------
179af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj
182d7cdb2889b6134c1a182869a02c426f2b8125c5sewardjPossible data race during write of size 4 at 0x........ by thread #x
199af8d1e21468cbacdefc437b312ba1fa95fcba16sewardjLocks held: none
202d7cdb2889b6134c1a182869a02c426f2b8125c5sewardj   at 0x........: thread_func (rwlock_race.c:29)
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........: thread_func (rwlock_race.c:29)
272d7cdb2889b6134c1a182869a02c426f2b8125c5sewardj   by 0x........: mythread_wrapper (hg_intercepts.c:...)
28553c42fad6eeae28d751806ff9c2803c41e80310njn   ...
2907c08527f05caeb0062b42ca9a58ee774ec5fba1philippe Location 0x........ is 0 bytes inside global var "s_racy"
3007c08527f05caeb0062b42ca9a58ee774ec5fba1philippe declared at rwlock_race.c:18
31cab64bca3a865a294b2c20f158c8c2182fa4eb7enjn
322d7cdb2889b6134c1a182869a02c426f2b8125c5sewardjResult: 2
332d7cdb2889b6134c1a182869a02c426f2b8125c5sewardj
342d7cdb2889b6134c1a182869a02c426f2b8125c5sewardjERROR SUMMARY: 1 errors from 1 contexts (suppressed: 0 from 0)
35