helgrind/tests/tc09_bad_unlock.stderr.exp-freebsd15

   1
   2 ---Thread-Announcement------------------------------------------
   3
   4 Thread #x is the program's root thread
   5
   6 ----------------------------------------------------------------
   7
   8 Thread #x unlocked a not-locked lock at 0x........
   9    at 0x........: mutex_unlock_WRK (hg_intercepts.c:...)
  10    by 0x........: pthread_mutex_unlock (hg_intercepts.c:...)
  11    by 0x........: nearly_main (tc09_bad_unlock.c:28)
  12    by 0x........: main (tc09_bad_unlock.c:52)
  13  Lock at 0x........ was first observed
  14    at 0x........: pthread_mutex_init (hg_intercepts.c:...)
  15    by 0x........: nearly_main (tc09_bad_unlock.c:24)
  16    by 0x........: main (tc09_bad_unlock.c:52)
  17  Address 0x........ is on thread #x's stack
  18  in frame #x, created by nearly_main (tc09_bad_unlock.c:17)
  19
  20
  21 ----------------------------------------------------------------
  22
  23 Thread #x's call to pthread_mutex_unlock failed
  24    with error code 1 (EPERM: Operation not permitted)
  25    at 0x........: mutex_unlock_WRK (hg_intercepts.c:...)
  26    by 0x........: pthread_mutex_unlock (hg_intercepts.c:...)
  27    by 0x........: nearly_main (tc09_bad_unlock.c:28)
  28    by 0x........: main (tc09_bad_unlock.c:52)
  29
  30 ---Thread-Announcement------------------------------------------
  31
  32 Thread #x was created
  33    ...
  34    by 0x........: pthread_create@* (hg_intercepts.c:...)
  35    by 0x........: nearly_main (tc09_bad_unlock.c:36)
  36    by 0x........: main (tc09_bad_unlock.c:52)
  37
  38 ----------------------------------------------------------------
  39
  40 Thread #x unlocked lock at 0x........ currently held by thread #x
  41    at 0x........: mutex_unlock_WRK (hg_intercepts.c:...)
  42    by 0x........: pthread_mutex_unlock (hg_intercepts.c:...)
  43    by 0x........: child_fn (tc09_bad_unlock.c:12)
  44    by 0x........: mythread_wrapper (hg_intercepts.c:...)
  45    ...
  46  Lock at 0x........ was first observed
  47    at 0x........: pthread_mutex_init (hg_intercepts.c:...)
  48    by 0x........: nearly_main (tc09_bad_unlock.c:32)
  49    by 0x........: main (tc09_bad_unlock.c:52)
  50  Address 0x........ is on thread #x's stack
  51  in frame #x, created by nearly_main (tc09_bad_unlock.c:17)
  52
  53
  54 ----------------------------------------------------------------
  55
  56 Thread #x's call to pthread_mutex_unlock failed
  57    with error code 1 (EPERM: Operation not permitted)
  58    at 0x........: mutex_unlock_WRK (hg_intercepts.c:...)
  59    by 0x........: pthread_mutex_unlock (hg_intercepts.c:...)
  60    by 0x........: child_fn (tc09_bad_unlock.c:12)
  61    by 0x........: mythread_wrapper (hg_intercepts.c:...)
  62    ...
  63
  64 ---------------------
  65 ----------------------------------------------------------------
  66
  67 Thread #x unlocked a not-locked lock at 0x........
  68    at 0x........: mutex_unlock_WRK (hg_intercepts.c:...)
  69    by 0x........: pthread_mutex_unlock (hg_intercepts.c:...)
  70    by 0x........: nearly_main (tc09_bad_unlock.c:28)
  71    by 0x........: main (tc09_bad_unlock.c:53)
  72  Lock at 0x........ was first observed
  73    at 0x........: pthread_mutex_init (hg_intercepts.c:...)
  74    by 0x........: nearly_main (tc09_bad_unlock.c:24)
  75    by 0x........: main (tc09_bad_unlock.c:52)
  76  Address 0x........ is on thread #x's stack
  77  in frame #x, created by nearly_main (tc09_bad_unlock.c:17)
  78
  79
  80 ----------------------------------------------------------------
  81
  82 Thread #x's call to pthread_mutex_unlock failed
  83    with error code 1 (EPERM: Operation not permitted)
  84    at 0x........: mutex_unlock_WRK (hg_intercepts.c:...)
  85    by 0x........: pthread_mutex_unlock (hg_intercepts.c:...)
  86    by 0x........: nearly_main (tc09_bad_unlock.c:28)
  87    by 0x........: main (tc09_bad_unlock.c:53)
  88
  89 ----------------------------------------------------------------
  90
  91 Thread #x: Attempt to re-lock a non-recursive lock I already hold
  92    at 0x........: mutex_lock_WRK (hg_intercepts.c:...)
  93    by 0x........: pthread_mutex_lock (hg_intercepts.c:...)
  94    by 0x........: nearly_main (tc09_bad_unlock.c:33)
  95    by 0x........: main (tc09_bad_unlock.c:53)
  96  Lock was previously acquired
  97    at 0x........: mutex_lock_WRK (hg_intercepts.c:...)
  98    by 0x........: pthread_mutex_lock (hg_intercepts.c:...)
  99    by 0x........: nearly_main (tc09_bad_unlock.c:33)
 100    by 0x........: main (tc09_bad_unlock.c:52)
 101
 102 ----------------------------------------------------------------
 103
 104 Thread #x: Bug in libpthread: recursive write lock granted on mutex/wrlock which does not support recursion
 105    at 0x........: mutex_lock_WRK (hg_intercepts.c:...)
 106    by 0x........: pthread_mutex_lock (hg_intercepts.c:...)
 107    by 0x........: nearly_main (tc09_bad_unlock.c:33)
 108    by 0x........: main (tc09_bad_unlock.c:53)
 109
 110 ---Thread-Announcement------------------------------------------
 111
 112 Thread #x was created
 113    ...
 114    by 0x........: pthread_create@* (hg_intercepts.c:...)
 115    by 0x........: nearly_main (tc09_bad_unlock.c:36)
 116    by 0x........: main (tc09_bad_unlock.c:53)
 117
 118 ----------------------------------------------------------------
 119
 120 Thread #x unlocked lock at 0x........ currently held by thread #x
 121    at 0x........: mutex_unlock_WRK (hg_intercepts.c:...)
 122    by 0x........: pthread_mutex_unlock (hg_intercepts.c:...)
 123    by 0x........: child_fn (tc09_bad_unlock.c:12)
 124    by 0x........: mythread_wrapper (hg_intercepts.c:...)
 125    ...
 126  Lock at 0x........ was first observed
 127    at 0x........: pthread_mutex_init (hg_intercepts.c:...)
 128    by 0x........: nearly_main (tc09_bad_unlock.c:32)
 129    by 0x........: main (tc09_bad_unlock.c:52)
 130  Address 0x........ is on thread #x's stack
 131  in frame #x, created by nearly_main (tc09_bad_unlock.c:17)
 132
 133
 134 ----------------------------------------------------------------
 135
 136 Thread #x's call to pthread_mutex_unlock failed
 137    with error code 1 (EPERM: Operation not permitted)
 138    at 0x........: mutex_unlock_WRK (hg_intercepts.c:...)
 139    by 0x........: pthread_mutex_unlock (hg_intercepts.c:...)
 140    by 0x........: child_fn (tc09_bad_unlock.c:12)
 141    by 0x........: mythread_wrapper (hg_intercepts.c:...)
 142    ...
 143
 144
 145 ERROR SUMMARY: 10 errors from 10 contexts (suppressed: 0 from 0)