1
2---Thread-Announcement------------------------------------------
3
4Thread #x is the program's root thread
5
6----------------------------------------------------------------
7
8Thread #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:...)
11   by 0x........: main (tc12_rwl_trivial.c:35)
12  Lock at 0x........ was first observed
13   at 0x........: pthread_rwlock_init_WRK (hg_intercepts.c:...)
14   by 0x........: pthread_rwlock_init (hg_intercepts.c:...)
15   by 0x........: main (tc12_rwl_trivial.c:24)
16
17
18ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 0 from 0)
19