Thread #x unlocked a not-locked lock at 0x........
at 0x........: pthread_rwlock_unlock (hg_intercepts.c:...)
- by 0x........: main (tc12_rwl_trivial.c:29)
+ by 0x........: main (tc12_rwl_trivial.c:35)
Lock at 0x........ was first observed
at 0x........: pthread_rwlock_init (hg_intercepts.c:...)
- by 0x........: main (tc12_rwl_trivial.c:18)
+ by 0x........: main (tc12_rwl_trivial.c:24)
ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 0 from 0)
Thread #x: pthread_cond_{timed}wait called with invalid mutex
at 0x........: pthread_cond_wait@* (hg_intercepts.c:...)
- by 0x........: main (tc23_bogus_condwait.c:69)
+ by 0x........: main (tc23_bogus_condwait.c:75)
Thread #x: pthread_cond_{timed}wait called with un-held mutex
at 0x........: pthread_cond_wait@* (hg_intercepts.c:...)
- by 0x........: main (tc23_bogus_condwait.c:72)
+ by 0x........: main (tc23_bogus_condwait.c:78)
Thread #x: pthread_cond_{timed}wait called with mutex of type pthread_rwlock_t*
at 0x........: pthread_cond_wait@* (hg_intercepts.c:...)
- by 0x........: main (tc23_bogus_condwait.c:75)
+ by 0x........: main (tc23_bogus_condwait.c:81)
Thread #x: pthread_cond_{timed}wait called with mutex held by a different thread
at 0x........: pthread_cond_wait@* (hg_intercepts.c:...)
- by 0x........: main (tc23_bogus_condwait.c:78)
+ by 0x........: main (tc23_bogus_condwait.c:84)
ERROR SUMMARY: 4 errors from 4 contexts (suppressed: 0 from 0)