helgrind/tests/tc06_two_races.stderr.exp

   1
   2 ---Thread-Announcement------------------------------------------
   3
   4 Thread #x is the program's root thread
   5
   6 ---Thread-Announcement------------------------------------------
   7
   8 Thread #x was created
   9    ...
  10    by 0x........: pthread_create@* (hg_intercepts.c:...)
  11    by 0x........: main (tc06_two_races.c:26)
  12
  13 ----------------------------------------------------------------
  14
  15 Possible data race during read of size 4 at 0x........ by thread #x
  16 Locks held: none
  17    at 0x........: main (tc06_two_races.c:31)
  18
  19 This conflicts with a previous write of size 4 by thread #x
  20 Locks held: none
  21    at 0x........: child_fn (tc06_two_races.c:14)
  22    by 0x........: mythread_wrapper (hg_intercepts.c:...)
  23    ...
  24  Location 0x........ is 0 bytes inside global var "unprot1"
  25  declared at tc06_two_races.c:9
  26
  27 ----------------------------------------------------------------
  28
  29 Possible data race during write of size 4 at 0x........ by thread #x
  30 Locks held: none
  31    at 0x........: main (tc06_two_races.c:31)
  32
  33 This conflicts with a previous write of size 4 by thread #x
  34 Locks held: none
  35    at 0x........: child_fn (tc06_two_races.c:14)
  36    by 0x........: mythread_wrapper (hg_intercepts.c:...)
  37    ...
  38  Location 0x........ is 0 bytes inside global var "unprot1"
  39  declared at tc06_two_races.c:9
  40
  41 ----------------------------------------------------------------
  42
  43 Possible data race during read of size 4 at 0x........ by thread #x
  44 Locks held: none
  45    at 0x........: main (tc06_two_races.c:35)
  46
  47 This conflicts with a previous write of size 4 by thread #x
  48 Locks held: none
  49    at 0x........: child_fn (tc06_two_races.c:18)
  50    by 0x........: mythread_wrapper (hg_intercepts.c:...)
  51    ...
  52  Location 0x........ is 0 bytes inside global var "unprot2"
  53  declared at tc06_two_races.c:9
  54
  55 ----------------------------------------------------------------
  56
  57 Possible data race during write of size 4 at 0x........ by thread #x
  58 Locks held: none
  59    at 0x........: main (tc06_two_races.c:35)
  60
  61 This conflicts with a previous write of size 4 by thread #x
  62 Locks held: none
  63    at 0x........: child_fn (tc06_two_races.c:18)
  64    by 0x........: mythread_wrapper (hg_intercepts.c:...)
  65    ...
  66  Location 0x........ is 0 bytes inside global var "unprot2"
  67  declared at tc06_two_races.c:9
  68
  69
  70 ERROR SUMMARY: 4 errors from 4 contexts (suppressed: 0 from 0)