1ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown
2b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov---Thread-Announcement------------------------------------------
3b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov
4ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownThread #x is the program's root thread
5ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown
6b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov----------------------------------------------------------------
7b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov
8ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownThread #x unlocked a not-locked lock at 0x........
9b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov   at 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...)
10b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov   by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...)
11ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown   by 0x........: main (tc12_rwl_trivial.c:35)
12ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown  Lock at 0x........ was first observed
13b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov   at 0x........: pthread_rwlock_init_WRK (hg_intercepts.c:...)
14b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov   by 0x........: pthread_rwlock_init (hg_intercepts.c:...)
15ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown   by 0x........: main (tc12_rwl_trivial.c:24)
16ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown
17ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown
18ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownERROR SUMMARY: 1 errors from 1 contexts (suppressed: 0 from 0)
19