| sewardj | 2d7cdb2 | 2008-12-23 11:07:59 +0000 | [diff] [blame] | 1 | |
| sewardj | 9af8d1e | 2011-06-24 10:50:11 +0000 | [diff] [blame] | 2 | ---Thread-Announcement------------------------------------------ |
| 3 | |
| sewardj | 2d7cdb2 | 2008-12-23 11:07:59 +0000 | [diff] [blame] | 4 | Thread #x is the program's root thread |
| 5 | |
| sewardj | 9af8d1e | 2011-06-24 10:50:11 +0000 | [diff] [blame] | 6 | ---Thread-Announcement------------------------------------------ |
| 7 | |
| sewardj | 2d7cdb2 | 2008-12-23 11:07:59 +0000 | [diff] [blame] | 8 | Thread #x was created |
| njn | 553c42f | 2009-03-13 01:41:03 +0000 | [diff] [blame] | 9 | ... |
| florian | 31014da | 2011-09-26 00:29:44 +0000 | [diff] [blame] | 10 | by 0x........: pthread_create_WRK (hg_intercepts.c:...) |
| sewardj | 2d7cdb2 | 2008-12-23 11:07:59 +0000 | [diff] [blame] | 11 | by 0x........: pthread_create@* (hg_intercepts.c:...) |
| 12 | by 0x........: main (tc01_simple_race.c:22) |
| 13 | |
| sewardj | 9af8d1e | 2011-06-24 10:50:11 +0000 | [diff] [blame] | 14 | ---------------------------------------------------------------- |
| 15 | |
| sewardj | 2d7cdb2 | 2008-12-23 11:07:59 +0000 | [diff] [blame] | 16 | Possible data race during read of size 4 at 0x........ by thread #x |
| sewardj | 9af8d1e | 2011-06-24 10:50:11 +0000 | [diff] [blame] | 17 | Locks held: none |
| sewardj | 2d7cdb2 | 2008-12-23 11:07:59 +0000 | [diff] [blame] | 18 | at 0x........: main (tc01_simple_race.c:28) |
| sewardj | 9af8d1e | 2011-06-24 10:50:11 +0000 | [diff] [blame] | 19 | |
| 20 | This conflicts with a previous write of size 4 by thread #x |
| 21 | Locks held: none |
| sewardj | 2d7cdb2 | 2008-12-23 11:07:59 +0000 | [diff] [blame] | 22 | at 0x........: child_fn (tc01_simple_race.c:14) |
| 23 | by 0x........: mythread_wrapper (hg_intercepts.c:...) |
| njn | 553c42f | 2009-03-13 01:41:03 +0000 | [diff] [blame] | 24 | ... |
| sewardj | 9af8d1e | 2011-06-24 10:50:11 +0000 | [diff] [blame] | 25 | |
| 26 | Location 0x........ is 0 bytes inside global var "x" |
| 27 | declared at tc01_simple_race.c:9 |
| 28 | |
| 29 | ---------------------------------------------------------------- |
| sewardj | 2d7cdb2 | 2008-12-23 11:07:59 +0000 | [diff] [blame] | 30 | |
| 31 | Possible data race during write of size 4 at 0x........ by thread #x |
| sewardj | 9af8d1e | 2011-06-24 10:50:11 +0000 | [diff] [blame] | 32 | Locks held: none |
| sewardj | 2d7cdb2 | 2008-12-23 11:07:59 +0000 | [diff] [blame] | 33 | at 0x........: main (tc01_simple_race.c:28) |
| sewardj | 9af8d1e | 2011-06-24 10:50:11 +0000 | [diff] [blame] | 34 | |
| 35 | This conflicts with a previous write of size 4 by thread #x |
| 36 | Locks held: none |
| sewardj | 2d7cdb2 | 2008-12-23 11:07:59 +0000 | [diff] [blame] | 37 | at 0x........: child_fn (tc01_simple_race.c:14) |
| 38 | by 0x........: mythread_wrapper (hg_intercepts.c:...) |
| njn | 553c42f | 2009-03-13 01:41:03 +0000 | [diff] [blame] | 39 | ... |
| sewardj | 9af8d1e | 2011-06-24 10:50:11 +0000 | [diff] [blame] | 40 | |
| 41 | Location 0x........ is 0 bytes inside global var "x" |
| 42 | declared at tc01_simple_race.c:9 |
| sewardj | 2d7cdb2 | 2008-12-23 11:07:59 +0000 | [diff] [blame] | 43 | |
| njn | cab64bc | 2009-08-12 00:14:44 +0000 | [diff] [blame] | 44 | |
| sewardj | 2d7cdb2 | 2008-12-23 11:07:59 +0000 | [diff] [blame] | 45 | ERROR SUMMARY: 2 errors from 2 contexts (suppressed: 0 from 0) |