1553c42fad6eeae28d751806ff9c2803c41e80310njn
29af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj---Thread-Announcement------------------------------------------
39af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj
4553c42fad6eeae28d751806ff9c2803c41e80310njnThread #x was created
5553c42fad6eeae28d751806ff9c2803c41e80310njn   ...
6553c42fad6eeae28d751806ff9c2803c41e80310njn   by 0x........: pthread_create@* (hg_intercepts.c:...)
7553c42fad6eeae28d751806ff9c2803c41e80310njn   by 0x........: main (tc22_exit_w_lock.c:39)
8553c42fad6eeae28d751806ff9c2803c41e80310njn
99af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj----------------------------------------------------------------
109af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj
11553c42fad6eeae28d751806ff9c2803c41e80310njnThread #x: Exiting thread still holds 2 locks
12553c42fad6eeae28d751806ff9c2803c41e80310njn   ...
13553c42fad6eeae28d751806ff9c2803c41e80310njn
149af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj---Thread-Announcement------------------------------------------
159af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj
16553c42fad6eeae28d751806ff9c2803c41e80310njnThread #x was created
17553c42fad6eeae28d751806ff9c2803c41e80310njn   ...
18553c42fad6eeae28d751806ff9c2803c41e80310njn   by 0x........: pthread_create@* (hg_intercepts.c:...)
19553c42fad6eeae28d751806ff9c2803c41e80310njn   by 0x........: main (tc22_exit_w_lock.c:42)
20553c42fad6eeae28d751806ff9c2803c41e80310njn
219af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj----------------------------------------------------------------
229af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj
23553c42fad6eeae28d751806ff9c2803c41e80310njnThread #x: Exiting thread still holds 1 lock
24553c42fad6eeae28d751806ff9c2803c41e80310njn   ...
25553c42fad6eeae28d751806ff9c2803c41e80310njn
26f618565d1e46d9dfb2f94198c8fe740ca429c528philippe
27f618565d1e46d9dfb2f94198c8fe740ca429c528philippeProcess terminating with default action of signal 6 (SIGABRT)
28f618565d1e46d9dfb2f94198c8fe740ca429c528philippe   ...
29f618565d1e46d9dfb2f94198c8fe740ca429c528philippe   by 0x........: main (tc22_exit_w_lock.c:48)
309af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj---Thread-Announcement------------------------------------------
319af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj
32553c42fad6eeae28d751806ff9c2803c41e80310njnThread #x is the program's root thread
33553c42fad6eeae28d751806ff9c2803c41e80310njn
349af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj----------------------------------------------------------------
359af8d1e21468cbacdefc437b312ba1fa95fcba16sewardj
36553c42fad6eeae28d751806ff9c2803c41e80310njnThread #x: Exiting thread still holds 1 lock
37553c42fad6eeae28d751806ff9c2803c41e80310njn   ...
3831014dae410799bfb128af2d396ee70374fa4b75florian   by 0x........: main (tc22_exit_w_lock.c:48)
39553c42fad6eeae28d751806ff9c2803c41e80310njn
40cab64bca3a865a294b2c20f158c8c2182fa4eb7enjn
41553c42fad6eeae28d751806ff9c2803c41e80310njnERROR SUMMARY: 3 errors from 3 contexts (suppressed: 0 from 0)
42