1---Thread-Announcement------------------------------------------
2
3Thread #x was created
4   ...
5   by 0x........: pthread_create@* (hg_intercepts.c:...)
6   by 0x........: main (locked_vs_unlocked1.c:34)
7
8---Thread-Announcement------------------------------------------
9
10Thread #x was created
11   ...
12   by 0x........: pthread_create@* (hg_intercepts.c:...)
13   by 0x........: main (locked_vs_unlocked1.c:29)
14
15----------------------------------------------------------------
16
17 Lock at 0x........ was first observed
18   at 0x........: mutex_lock_WRK (hg_intercepts.c:...)
19   by 0x........: pthread_mutex_lock (hg_intercepts.c:...)
20   by 0x........: child_fn (locked_vs_unlocked1.c:18)
21   by 0x........: mythread_wrapper (hg_intercepts.c:...)
22   ...
23 Address 0x........ is 0 bytes inside data symbol "mx"
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 Address 0x........ is 0 bytes inside data symbol "x"
37
38