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