helgrind/tests/locked_vs_unlocked1_fwd.stderr.exp

   1 ---Thread-Announcement------------------------------------------
   2
   3 Thread #x was created
   4    ...
   5    by 0x........: pthread_create@* (hg_intercepts.c:...)
   6    by 0x........: main (locked_vs_unlocked1.c:34)
   7
   8 ---Thread-Announcement------------------------------------------
   9
  10 Thread #x was created
  11    ...
  12    by 0x........: pthread_create@* (hg_intercepts.c:...)
  13    by 0x........: main (locked_vs_unlocked1.c:29)
  14
  15 ----------------------------------------------------------------
  16
  17  Lock at 0x........ was first observed
  18    at 0x........: mutex_lock_WRK (hg_intercepts.c:...)
  19    by 0x........: pthread_mutex_lock (hg_intercepts.c:...)
  20    by 0x........: child_fn (locked_vs_unlocked1.c:18)
  21    by 0x........: mythread_wrapper (hg_intercepts.c:...)
  22    ...
  23  Address 0x........ is 0 bytes inside data symbol "mx"
  24
  25 Possible data race during write of size 4 at 0x........ by thread #x
  26 Locks held: none
  27    at 0x........: child_fn (locked_vs_unlocked1.c:19)
  28    by 0x........: mythread_wrapper (hg_intercepts.c:...)
  29    ...
  30
  31 This conflicts with a previous write of size 4 by thread #x
  32 Locks held: 1, at address 0x........
  33    at 0x........: child_fn (locked_vs_unlocked1.c:19)
  34    by 0x........: mythread_wrapper (hg_intercepts.c:...)
  35    ...
  36  Address 0x........ is 0 bytes inside data symbol "x"
  37