1---Thread-Announcement------------------------------------------
2
3Thread #x was created
4   ...
5   by 0x........: pthread_create@* (hg_intercepts.c:...)
6   by 0x........: main (locked_vs_unlocked3.c:53)
7
8---Thread-Announcement------------------------------------------
9
10Thread #x was created
11   ...
12   by 0x........: pthread_create@* (hg_intercepts.c:...)
13   by 0x........: main (locked_vs_unlocked3.c:54)
14
15----------------------------------------------------------------
16
17 Lock at 0x........ was first observed
18   at 0x........: pthread_mutex_init (hg_intercepts.c:...)
19   by 0x........: main (locked_vs_unlocked3.c:51)
20 Address 0x........ is 0 bytes inside data symbol "mx"
21
22Possible data race during write of size 4 at 0x........ by thread #x
23Locks held: none
24   at 0x........: child_fn2 (locked_vs_unlocked3.c:38)
25   by 0x........: mythread_wrapper (hg_intercepts.c:...)
26   ...
27
28This conflicts with a previous write of size 4 by thread #x
29Locks held: 1, at address 0x........
30   at 0x........: child_fn1 (locked_vs_unlocked3.c:28)
31   by 0x........: mythread_wrapper (hg_intercepts.c:...)
32   ...
33 Address 0x........ is 0 bytes inside data symbol "x"
34
35