1 2 before lock #1 3 before lock #2 4 before lock #3 5 before unlock #1 6 before unlock #2 7 before unlock #3 8 before unlock #4 9 Thread #x is the program's root thread 10 11 Thread #x unlocked a not-locked lock at 0x........ 12 at 0x........: pthread_mutex_unlock (hg_intercepts.c:...) 13 by 0x........: nearly_main (tc10_rec_lock.c:42) 14 by 0x........: main (tc10_rec_lock.c:47) 15 Lock at 0x........ was first observed 16 at 0x........: pthread_mutex_init (hg_intercepts.c:...) 17 by 0x........: nearly_main (tc10_rec_lock.c:24) 18 by 0x........: main (tc10_rec_lock.c:47) 19 20 Thread #x's call to pthread_mutex_unlock failed 21 with error code 1 (EPERM: Operation not permitted) 22 at 0x........: pthread_mutex_unlock (hg_intercepts.c:...) 23 by 0x........: nearly_main (tc10_rec_lock.c:42) 24 by 0x........: main (tc10_rec_lock.c:47) 25 26 27 ERROR SUMMARY: 2 errors from 2 contexts (suppressed: 0 from 0) 28
