| sewardj | 2d7cdb2 | 2008-12-23 11:07:59 +0000 | [diff] [blame^] | 1 | |
| 2 | Thread #x is the program's root thread |
| 3 | |
| 4 | Thread #x was created |
| 5 | at 0x........: clone (in /...libc...) |
| 6 | by 0x........: pthread_create@GLIBC_ (in /lib/libpthread...) |
| 7 | by 0x........: pthread_create@* (hg_intercepts.c:...) |
| 8 | by 0x........: main (tc05_simple_race.c:27) |
| 9 | |
| 10 | Possible data race during read of size 4 at 0x........ by thread #x |
| 11 | at 0x........: main (tc05_simple_race.c:33) |
| 12 | This conflicts with a previous write of size 4 by thread #x |
| 13 | at 0x........: child_fn (tc05_simple_race.c:19) |
| 14 | by 0x........: mythread_wrapper (hg_intercepts.c:...) |
| 15 | by 0x........: start_thread (in /lib/libpthread...) |
| 16 | by 0x........: clone (in /...libc...) |
| 17 | Location 0x........ is 0 bytes inside global var "y" |
| 18 | declared at tc05_simple_race.c:10 |
| 19 | |
| 20 | Possible data race during write of size 4 at 0x........ by thread #x |
| 21 | at 0x........: main (tc05_simple_race.c:33) |
| 22 | This conflicts with a previous write of size 4 by thread #x |
| 23 | at 0x........: child_fn (tc05_simple_race.c:19) |
| 24 | by 0x........: mythread_wrapper (hg_intercepts.c:...) |
| 25 | by 0x........: start_thread (in /lib/libpthread...) |
| 26 | by 0x........: clone (in /...libc...) |
| 27 | Location 0x........ is 0 bytes inside global var "y" |
| 28 | declared at tc05_simple_race.c:10 |
| 29 | |
| 30 | ERROR SUMMARY: 2 errors from 2 contexts (suppressed: 0 from 0) |