| 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 | ... |
| sewardj | 2d7cdb2 | 2008-12-23 11:07:59 +0000 | [diff] [blame] | 10 | by 0x........: pthread_create@* (hg_intercepts.c:...) |
| 11 | by 0x........: main (tc01_simple_race.c:22) |
| 12 | |
| sewardj | 9af8d1e | 2011-06-24 10:50:11 +0000 | [diff] [blame] | 13 | ---------------------------------------------------------------- |
| 14 | |
| sewardj | 2d7cdb2 | 2008-12-23 11:07:59 +0000 | [diff] [blame] | 15 | Possible data race during read of size 4 at 0x........ by thread #x |
| sewardj | 9af8d1e | 2011-06-24 10:50:11 +0000 | [diff] [blame] | 16 | Locks held: none |
| sewardj | 2d7cdb2 | 2008-12-23 11:07:59 +0000 | [diff] [blame] | 17 | at 0x........: main (tc01_simple_race.c:28) |
| sewardj | 9af8d1e | 2011-06-24 10:50:11 +0000 | [diff] [blame] | 18 | |
| 19 | This conflicts with a previous write of size 4 by thread #x |
| 20 | Locks held: none |
| sewardj | 2d7cdb2 | 2008-12-23 11:07:59 +0000 | [diff] [blame] | 21 | at 0x........: child_fn (tc01_simple_race.c:14) |
| 22 | by 0x........: mythread_wrapper (hg_intercepts.c:...) |
| njn | 553c42f | 2009-03-13 01:41:03 +0000 | [diff] [blame] | 23 | ... |
| philippe | 07c0852 | 2014-05-14 20:39:27 +0000 | [diff] [blame] | 24 | Location 0x........ is 0 bytes inside global var "x" |
| 25 | declared at tc01_simple_race.c:9 |
| sewardj | 9af8d1e | 2011-06-24 10:50:11 +0000 | [diff] [blame] | 26 | |
| 27 | ---------------------------------------------------------------- |
| sewardj | 2d7cdb2 | 2008-12-23 11:07:59 +0000 | [diff] [blame] | 28 | |
| 29 | Possible data race during write of size 4 at 0x........ by thread #x |
| sewardj | 9af8d1e | 2011-06-24 10:50:11 +0000 | [diff] [blame] | 30 | Locks held: none |
| sewardj | 2d7cdb2 | 2008-12-23 11:07:59 +0000 | [diff] [blame] | 31 | at 0x........: main (tc01_simple_race.c:28) |
| sewardj | 9af8d1e | 2011-06-24 10:50:11 +0000 | [diff] [blame] | 32 | |
| 33 | This conflicts with a previous write of size 4 by thread #x |
| 34 | Locks held: none |
| sewardj | 2d7cdb2 | 2008-12-23 11:07:59 +0000 | [diff] [blame] | 35 | at 0x........: child_fn (tc01_simple_race.c:14) |
| 36 | by 0x........: mythread_wrapper (hg_intercepts.c:...) |
| njn | 553c42f | 2009-03-13 01:41:03 +0000 | [diff] [blame] | 37 | ... |
| philippe | 07c0852 | 2014-05-14 20:39:27 +0000 | [diff] [blame] | 38 | Location 0x........ is 0 bytes inside global var "x" |
| 39 | declared at tc01_simple_race.c:9 |
| sewardj | 2d7cdb2 | 2008-12-23 11:07:59 +0000 | [diff] [blame] | 40 | |
| njn | cab64bc | 2009-08-12 00:14:44 +0000 | [diff] [blame] | 41 | |
| sewardj | 2d7cdb2 | 2008-12-23 11:07:59 +0000 | [diff] [blame] | 42 | ERROR SUMMARY: 2 errors from 2 contexts (suppressed: 0 from 0) |