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