helgrind/tests/pth_cond_destroy_busy.stderr.exp

   1
   2 ---Thread-Announcement------------------------------------------
   3
   4 Thread #x is the program's root thread
   5
   6 ---Thread-Announcement------------------------------------------
   7
   8 Thread #x was created
   9    ...
  10    by 0x........: pthread_create@* (hg_intercepts.c:...)
  11    by 0x........: main (pth_cond_destroy_busy.c:45)
  12
  13 ----------------------------------------------------------------
  14
  15 Possible data race during read of size 1 at 0x........ by thread #x
  16 Locks held: none
  17    at 0x........: my_memcmp (hg_intercepts.c:...)
  18    by 0x........: pthread_cond_destroy_WRK (hg_intercepts.c:...)
  19    by 0x........: pthread_cond_destroy@* (hg_intercepts.c:...)
  20    by 0x........: main (pth_cond_destroy_busy.c:52)
  21
  22 This conflicts with a previous write of size 4 by thread #x
  23 Locks held: none
  24    ...
  25    by 0x........: pthread_cond_wait_WRK (hg_intercepts.c:...)
  26    by 0x........: pthread_cond_wait@* (hg_intercepts.c:...)
  27    by 0x........: thread_func (pth_cond_destroy_busy.c:31)
  28    by 0x........: mythread_wrapper (hg_intercepts.c:...)
  29    ...
  30  Address 0x........ is 4 bytes inside data symbol "s_cond"
  31
  32 ----------------------------------------------------------------
  33
  34 Thread #x: pthread_cond_destroy: destruction of condition variable being waited upon
  35    at 0x........: pthread_cond_destroy_WRK (hg_intercepts.c:...)
  36    by 0x........: pthread_cond_destroy@* (hg_intercepts.c:...)
  37    by 0x........: main (pth_cond_destroy_busy.c:52)
  38
  39 ----------------------------------------------------------------
  40
  41 Thread #x's call to pthread_cond_destroy failed
  42    with error code 16 (EBUSY: Device or resource busy)
  43    at 0x........: pthread_cond_destroy_WRK (hg_intercepts.c:...)
  44    by 0x........: pthread_cond_destroy@* (hg_intercepts.c:...)
  45    by 0x........: main (pth_cond_destroy_busy.c:52)
  46
  47 First pthread_cond_destroy() call returned EBUSY.
  48 Second pthread_cond_destroy() call returned success.
  49
  50 ERROR SUMMARY: 3 errors from 3 contexts (suppressed: 0 from 0)