1 2 Conflicting load by thread 1 at 0x........ size 4 3 at 0x........: main (tc01_simple_race.c:28) 4 Location 0x........ is 0 bytes inside global var "x" 5 declared at tc01_simple_race.c:9 6 7 Conflicting store by thread 1 at 0x........ size 4 8 at 0x........: main (tc01_simple_race.c:28) 9 Location 0x........ is 0 bytes inside global var "x" 10 declared at tc01_simple_race.c:9 11 12 13 ERROR SUMMARY: 2 errors from 2 contexts (suppressed: 0 from 0) 14
