1
2---Thread-Announcement------------------------------------------
3
4Thread #x is the program's root thread
5
6---Thread-Announcement------------------------------------------
7
8Thread #x was created
9   ...
10   by 0x........: pthread_create@* (hg_intercepts.c:...)
11   by 0x........: main (tc06_two_races.c:26)
12
13----------------------------------------------------------------
14
15Possible data race during read of size 4 at 0x........ by thread #x
16Locks held: none
17   at 0x........: main (tc06_two_races.c:31)
18
19This conflicts with a previous write of size 4 by thread #x
20Locks held: none
21   at 0x........: child_fn (tc06_two_races.c:14)
22   by 0x........: mythread_wrapper (hg_intercepts.c:...)
23   ...
24 Location 0x........ is 0 bytes inside global var "unprot1"
25 declared at tc06_two_races.c:9
26
27----------------------------------------------------------------
28
29Possible data race during write of size 4 at 0x........ by thread #x
30Locks held: none
31   at 0x........: main (tc06_two_races.c:31)
32
33This conflicts with a previous write of size 4 by thread #x
34Locks held: none
35   at 0x........: child_fn (tc06_two_races.c:14)
36   by 0x........: mythread_wrapper (hg_intercepts.c:...)
37   ...
38 Location 0x........ is 0 bytes inside global var "unprot1"
39 declared at tc06_two_races.c:9
40
41----------------------------------------------------------------
42
43Possible data race during read of size 4 at 0x........ by thread #x
44Locks held: none
45   at 0x........: main (tc06_two_races.c:35)
46
47This conflicts with a previous write of size 4 by thread #x
48Locks held: none
49   at 0x........: child_fn (tc06_two_races.c:18)
50   by 0x........: mythread_wrapper (hg_intercepts.c:...)
51   ...
52 Location 0x........ is 0 bytes inside global var "unprot2"
53 declared at tc06_two_races.c:9
54
55----------------------------------------------------------------
56
57Possible data race during write of size 4 at 0x........ by thread #x
58Locks held: none
59   at 0x........: main (tc06_two_races.c:35)
60
61This conflicts with a previous write of size 4 by thread #x
62Locks held: none
63   at 0x........: child_fn (tc06_two_races.c:18)
64   by 0x........: mythread_wrapper (hg_intercepts.c:...)
65   ...
66 Location 0x........ is 0 bytes inside global var "unprot2"
67 declared at tc06_two_races.c:9
68
69
70ERROR SUMMARY: 4 errors from 4 contexts (suppressed: 0 from 0)
71