helgrind/tests/tc15_laog_lockdel.stderr.exp

   1
   2 Establish order 1 -> 2
   3 Try order 2 -> 1.  This gives an error.
   4 ---Thread-Announcement------------------------------------------
   5
   6 Thread #x is the program's root thread
   7
   8 ----------------------------------------------------------------
   9
  10 Thread #x: lock order "0x........ before 0x........" violated
  11
  12 Observed (incorrect) order is: acquisition of lock at 0x........
  13    at 0x........: mutex_lock_WRK (hg_intercepts.c:...)
  14    by 0x........: pthread_mutex_lock (hg_intercepts.c:...)
  15    by 0x........: main (tc15_laog_lockdel.c:35)
  16
  17  followed by a later acquisition of lock at 0x........
  18    at 0x........: mutex_lock_WRK (hg_intercepts.c:...)
  19    by 0x........: pthread_mutex_lock (hg_intercepts.c:...)
  20    by 0x........: main (tc15_laog_lockdel.c:36)
  21
  22 Required order was established by acquisition of lock at 0x........
  23    at 0x........: mutex_lock_WRK (hg_intercepts.c:...)
  24    by 0x........: pthread_mutex_lock (hg_intercepts.c:...)
  25    by 0x........: main (tc15_laog_lockdel.c:27)
  26
  27  followed by a later acquisition of lock at 0x........
  28    at 0x........: mutex_lock_WRK (hg_intercepts.c:...)
  29    by 0x........: pthread_mutex_lock (hg_intercepts.c:...)
  30    by 0x........: main (tc15_laog_lockdel.c:28)
  31
  32  Lock at 0x........ was first observed
  33    at 0x........: pthread_mutex_init (hg_intercepts.c:...)
  34    by 0x........: main (tc15_laog_lockdel.c:22)
  35  Address 0x........ is 0 bytes inside a block of size 120 alloc'd
  36    at 0x........: malloc (vg_replace_malloc.c:...)
  37    by 0x........: main (tc15_laog_lockdel.c:16)
  38  Block was alloc'd by thread #x
  39
  40  Lock at 0x........ was first observed
  41    at 0x........: pthread_mutex_init (hg_intercepts.c:...)
  42    by 0x........: main (tc15_laog_lockdel.c:23)
  43  Address 0x........ is 0 bytes inside a block of size 120 alloc'd
  44    at 0x........: malloc (vg_replace_malloc.c:...)
  45    by 0x........: main (tc15_laog_lockdel.c:17)
  46  Block was alloc'd by thread #x
  47
  48
  49 Free 2 and re-allocate it.  This gives it a new identity,
  50 so a second locking sequence 2 -> 1 should now be OK.
  51 done
  52
  53 ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 0 from 0)