locked_vs_unlocked1_fwd.stderr.exp revision b32f58018498ea2225959b0ba11c18f0c433deef 
1---Thread-Announcement------------------------------------------
2
3Thread #x was created
4   ...
5   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
6   by 0x........: pthread_create@* (hg_intercepts.c:...)
7   by 0x........: main (locked_vs_unlocked1.c:34)
8
9---Thread-Announcement------------------------------------------
10
11Thread #x was created
12   ...
13   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
14   by 0x........: pthread_create@* (hg_intercepts.c:...)
15   by 0x........: main (locked_vs_unlocked1.c:29)
16
17----------------------------------------------------------------
18
19Lock at 0x........ was first observed
20   at 0x........: pthread_mutex_lock (hg_intercepts.c:...)
21   by 0x........: child_fn (locked_vs_unlocked1.c:18)
22   by 0x........: mythread_wrapper (hg_intercepts.c:...)
23   ...
24
25Possible data race during write of size 4 at 0x........ by thread #x
26Locks held: none
27   at 0x........: child_fn (locked_vs_unlocked1.c:19)
28   by 0x........: mythread_wrapper (hg_intercepts.c:...)
29   ...
30
31This conflicts with a previous write of size 4 by thread #x
32Locks held: 1, at address 0x........
33   at 0x........: child_fn (locked_vs_unlocked1.c:19)
34   by 0x........: mythread_wrapper (hg_intercepts.c:...)
35   ...
36
37