13 lines
434 B
Text
13 lines
434 B
Text
|
|
Conflicting load by thread 1 at 0x........ size 4
|
|
at 0x........: main (tc01_simple_race.c:28)
|
|
Location 0x........ is 0 bytes inside global var "x"
|
|
declared at tc01_simple_race.c:9
|
|
|
|
Conflicting store by thread 1 at 0x........ size 4
|
|
at 0x........: main (tc01_simple_race.c:28)
|
|
Location 0x........ is 0 bytes inside global var "x"
|
|
declared at tc01_simple_race.c:9
|
|
|
|
|
|
ERROR SUMMARY: 2 errors from 2 contexts (suppressed: 0 from 0)
|