| |
| Mutex not locked by calling thread: mutex 0x........, recursion count 0, owner 1. |
| at 0x........: pthread_mutex_unlock (drd_intercepts.c:?) |
| by 0x........: nearly_main (tc09_bad_unlock.c:27) |
| by 0x........: main (tc09_bad_unlock.c:49) |
| |
| Thread 2: |
| Mutex not locked by calling thread: mutex 0x........, recursion count 1, owner 1. |
| at 0x........: pthread_mutex_unlock (drd_intercepts.c:?) |
| by 0x........: child_fn (tc09_bad_unlock.c:11) |
| by 0x........: vg_thread_wrapper (drd_intercepts.c:?) |
| by 0x........: start_thread (in libpthread-?.?.so) |
| by 0x........: clone (in /...libc...) |
| |
| Thread 1: |
| Not a mutex |
| at 0x........: pthread_mutex_unlock (drd_intercepts.c:?) |
| by 0x........: nearly_main (tc09_bad_unlock.c:41) |
| by 0x........: main (tc09_bad_unlock.c:49) |
| |
| Destroying locked mutex: mutex 0x........, recursion count 1, owner 1. |
| at 0x........: nearly_main (tc09_bad_unlock.c:45) |
| by 0x........: main (tc09_bad_unlock.c:49) |
| |
| Mutex not locked by calling thread: mutex 0x........, recursion count 0, owner 1. |
| at 0x........: pthread_mutex_unlock (drd_intercepts.c:?) |
| by 0x........: nearly_main (tc09_bad_unlock.c:27) |
| by 0x........: main (tc09_bad_unlock.c:50) |
| |
| Thread 2: |
| Mutex not locked by calling thread: mutex 0x........, recursion count 1, owner 1. |
| at 0x........: pthread_mutex_unlock (drd_intercepts.c:?) |
| by 0x........: child_fn (tc09_bad_unlock.c:11) |
| by 0x........: vg_thread_wrapper (drd_intercepts.c:?) |
| by 0x........: start_thread (in libpthread-?.?.so) |
| by 0x........: clone (in /...libc...) |
| |
| Thread 1: |
| Not a mutex |
| at 0x........: pthread_mutex_unlock (drd_intercepts.c:?) |
| by 0x........: nearly_main (tc09_bad_unlock.c:41) |
| by 0x........: main (tc09_bad_unlock.c:50) |
| |
| Destroying locked mutex: mutex 0x........, recursion count 1, owner 1. |
| at 0x........: nearly_main (tc09_bad_unlock.c:45) |
| by 0x........: main (tc09_bad_unlock.c:50) |
| |
| ERROR SUMMARY: 8 errors from 8 contexts (suppressed: 0 from 0) |