| |
| Conflicting load by thread 1 at 0x........ size 4 |
| at 0x........: main (tc01_simple_race.c:28) |
| Allocation context: unknown |
| Other segment start (thread 2) |
| (thread finished, call stack no longer available) |
| Other segment end (thread 2) |
| (thread finished, call stack no longer available) |
| |
| Conflicting store by thread 1 at 0x........ size 4 |
| at 0x........: main (tc01_simple_race.c:28) |
| Allocation context: unknown |
| Other segment start (thread 2) |
| (thread finished, call stack no longer available) |
| Other segment end (thread 2) |
| (thread finished, call stack no longer available) |
| |
| ERROR SUMMARY: 2 errors from 2 contexts (suppressed: 0 from 0) |