| |
| |
| |
| ------ This is output for >= glibc 2.4 ------ |
| |
| ---------------- pthread_create/join ---------------- |
| |
| Conflicting store by thread 1 at 0x........ size 2 |
| at 0x........: main (tc20_verifywrap.c:78) |
| Allocation context: unknown |
| Other segment start (thread 2) |
| (thread finished, call stack no longer available) |
| Other segment end (thread 2) |
| (thread finished, call stack no longer available) |
| |
| ---------------- pthread_mutex_lock et al ---------------- |
| |
| |
| Invalid mutex |
| at 0x........: pthread_mutex_init (drd_intercepts.c:?) |
| by 0x........: main (tc20_verifywrap.c:92) |
| |
| Destroying locked mutex: address 0x........, recursion count 1, owner 1. |
| at 0x........: pthread_mutex_destroy (drd_intercepts.c:?) |
| by 0x........: main (tc20_verifywrap.c:102) |
| |
| Invalid mutex |
| at 0x........: pthread_mutex_lock (drd_intercepts.c:?) |
| by 0x........: main (tc20_verifywrap.c:108) |
| |
| Invalid mutex |
| at 0x........: pthread_mutex_trylock (drd_intercepts.c:?) |
| by 0x........: main (tc20_verifywrap.c:116) |
| |
| Invalid mutex |
| at 0x........: pthread_mutex_timedlock (drd_intercepts.c:?) |
| by 0x........: main (tc20_verifywrap.c:121) |
| |
| Invalid mutex |
| at 0x........: pthread_mutex_unlock (drd_intercepts.c:?) |
| by 0x........: main (tc20_verifywrap.c:125) |
| |
| ---------------- pthread_cond_wait et al ---------------- |
| |
| |
| Mutex not locked: address 0x........, recursion count 0, owner 0. |
| at 0x........: pthread_cond_wait* (drd_intercepts.c:?) |
| by 0x........: main (tc20_verifywrap.c:147) |
| |
| FIXME: can't figure out how to verify wrap of pthread_cond_signal |
| |
| |
| FIXME: can't figure out how to verify wrap of pthread_broadcast_signal |
| |
| |
| Mutex not locked: address 0x........, recursion count 0, owner 0. |
| at 0x........: pthread_cond_timedwait* (drd_intercepts.c:?) |
| by 0x........: main (tc20_verifywrap.c:165) |
| |
| ---------------- pthread_rwlock_* ---------------- |
| |
| (1) no error on next line |
| (2) no error on next line |
| (3) ERROR on next line |
| (4) no error on next line |
| (5) no error on next line |
| (6) no error on next line |
| (7) no error on next line |
| (8) ERROR on next line |
| |
| ---------------- sem_* ---------------- |
| |
| |
| FIXME: can't figure out how to verify wrap of sem_destroy |
| |
| |
| Invalid semaphore 0x........ |
| at 0x........: sem_wait* (drd_intercepts.c:?) |
| by 0x........: main (tc20_verifywrap.c:242) |
| |
| FIXME: can't figure out how to verify wrap of sem_post |
| |
| |
| ------------ dealloc of mem holding locks ------------ |
| |
| |
| ERROR SUMMARY: 10 errors from 10 contexts (suppressed: 0 from 0) |