
Conflicting load by thread 1 at 0x........ size 4
   at 0x........: main (annotate_ignore_write.c:?)
Location 0x........ is 0 bytes inside local var "s_b"
declared at annotate_ignore_write.c:10, in frame #? of thread 1

Conflicting load by thread 1 at 0x........ size 4
   at 0x........: main (annotate_ignore_write.c:?)
Location 0x........ is 0 bytes inside local var "s_c"
declared at annotate_ignore_write.c:11, in frame #? of thread 1

Conflicting store by thread 1 at 0x........ size 4
   at 0x........: main (annotate_ignore_write.c:?)
Location 0x........ is 0 bytes inside local var "s_a"
declared at annotate_ignore_write.c:9, in frame #? of thread 1

Finished.

ERROR SUMMARY: 3 errors from 3 contexts (suppressed: 0 from 0)