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_unlocked3.c:53)
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_unlocked3.c:54)
16b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov
17b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov----------------------------------------------------------------
18b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov
19b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy StepanovLock at 0x........ was first observed
20b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov   at 0x........: pthread_mutex_init (hg_intercepts.c:...)
21b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov   by 0x........: main (locked_vs_unlocked3.c:51)
22b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov
23b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy StepanovPossible data race during write of size 4 at 0x........ by thread #x
24b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy StepanovLocks held: none
25b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov   at 0x........: child_fn2 (locked_vs_unlocked3.c:38)
26b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov   by 0x........: mythread_wrapper (hg_intercepts.c:...)
27b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov   ...
28b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov
29b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy StepanovThis conflicts with a previous write of size 4 by thread #x
30b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy StepanovLocks held: 1, at address 0x........
31b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov   at 0x........: child_fn1 (locked_vs_unlocked3.c:28)
32b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov   by 0x........: mythread_wrapper (hg_intercepts.c:...)
33b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov   ...
34b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov
35