helgrind/tests/tc13_laog1.stderr.exp

   1
   2 ---Thread-Announcement------------------------------------------
   3
   4 Thread #x is the program's root thread
   5
   6 ----------------------------------------------------------------
   7
   8 Thread #x: lock order "0x........ before 0x........" violated
   9
  10 Observed (incorrect) order is: acquisition of lock at 0x........
  11    at 0x........: mutex_lock_WRK (hg_intercepts.c:...)
  12    by 0x........: pthread_mutex_lock (hg_intercepts.c:...)
  13    by 0x........: main (tc13_laog1.c:23)
  14
  15  followed by a later acquisition of lock at 0x........
  16    at 0x........: mutex_lock_WRK (hg_intercepts.c:...)
  17    by 0x........: pthread_mutex_lock (hg_intercepts.c:...)
  18    by 0x........: main (tc13_laog1.c:24)
  19
  20 Required order was established by acquisition of lock at 0x........
  21    at 0x........: mutex_lock_WRK (hg_intercepts.c:...)
  22    by 0x........: pthread_mutex_lock (hg_intercepts.c:...)
  23    by 0x........: main (tc13_laog1.c:17)
  24
  25  followed by a later acquisition of lock at 0x........
  26    at 0x........: mutex_lock_WRK (hg_intercepts.c:...)
  27    by 0x........: pthread_mutex_lock (hg_intercepts.c:...)
  28    by 0x........: main (tc13_laog1.c:18)
  29
  30  Lock at 0x........ was first observed
  31    at 0x........: pthread_mutex_init (hg_intercepts.c:...)
  32    by 0x........: main (tc13_laog1.c:14)
  33  Address 0x........ is on thread #x's stack
  34  in frame #x, created by main (tc13_laog1.c:11)
  35
  36  Lock at 0x........ was first observed
  37    at 0x........: pthread_mutex_init (hg_intercepts.c:...)
  38    by 0x........: main (tc13_laog1.c:15)
  39  Address 0x........ is on thread #x's stack
  40  in frame #x, created by main (tc13_laog1.c:11)
  41
  42
  43
  44 ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 0 from 0)