2 ---Thread-Announcement------------------------------------------
4 Thread #x is the program's root thread
6 ----------------------------------------------------------------
8 Thread #x unlocked a not-locked lock at 0x........
9 at 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...)
10 by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...)
12 by 0x........: main (tc12_rwl_trivial.c:29)
13 Lock at 0x........ was first observed
14 at 0x........: pthread_rwlock_init_WRK (hg_intercepts.c:...)
15 by 0x........: pthread_rwlock_init (hg_intercepts.c:...)
16 by 0x........: main (tc12_rwl_trivial.c:18)
17 Address 0x........ is on thread #x's stack
18 in frame #x, created by main (tc12_rwl_trivial.c:14)
21 ----------------------------------------------------------------
23 Thread #x's call to pthread_rwlock_unlock failed
24 with error code 1 (EPERM: Operation not permitted)
25 at 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...)
26 by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...)
28 by 0x........: main (tc12_rwl_trivial.c:29)
31 ERROR SUMMARY: 2 errors from 2 contexts (suppressed: 0 from 0)