helgrind/tests/locked_vs_unlocked3.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_unlocked3.c:53)
   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_unlocked3.c:54)
  14
  15 ----------------------------------------------------------------
  16
  17  Lock at 0x........ was first observed
  18    at 0x........: pthread_mutex_init (hg_intercepts.c:...)
  19    by 0x........: main (locked_vs_unlocked3.c:51)
  20  Address 0x........ is 0 bytes inside data symbol "mx"
  21
  22 Possible data race during write of size 4 at 0x........ by thread #x
  23 Locks held: none
  24    at 0x........: child_fn2 (locked_vs_unlocked3.c:38)
  25    by 0x........: mythread_wrapper (hg_intercepts.c:...)
  26    ...
  27
  28 This conflicts with a previous write of size 4 by thread #x
  29 Locks held: 1, at address 0x........
  30    at 0x........: child_fn1 (locked_vs_unlocked3.c:28)
  31    by 0x........: mythread_wrapper (hg_intercepts.c:...)
  32    ...
  33  Address 0x........ is 0 bytes inside data symbol "x"
  34