| |
| |
| |
| ------ This is output for >= glibc 2.4 ------ |
| |
| ---------------- pthread_create/join ---------------- |
| |
| Conflicting store by thread 1/1 at 0x........ size 2 |
| at 0x........: main (tc20_verifywrap.c:78) |
| Location 0x........ is 0 bytes inside global var "unprotected" |
| declared at tc20_verifywrap.c:27 |
| Other segment start (thread 0/2) |
| (thread finished, call stack no longer available) |
| Other segment end (thread 0/2) |
| (thread finished, call stack no longer available) |
| |
| ---------------- pthread_mutex_lock et al ---------------- |
| |
| [1/1] mutex_init invalid mutex 0x........ |
| |
| The object at address 0x........ is not a mutex. |
| at 0x........: pthread_mutex_init (drd_pthread_intercepts.c:?) |
| by 0x........: main (tc20_verifywrap.c:92) |
| [1/1] mutex_init mutex 0x........ |
| [1/1] mutex_trylock mutex 0x........ rc 0 owner 0 |
| [1/1] post_mutex_lock mutex 0x........ rc 0 owner 0 |
| [1/1] mutex_destroy mutex 0x........ rc 1 owner 1 |
| |
| Destroying locked mutex: mutex 0x........, recursion count 1, owner 1. |
| at 0x........: pthread_mutex_destroy (drd_pthread_intercepts.c:?) |
| by 0x........: main (tc20_verifywrap.c:102) |
| [1/1] mutex_trylock invalid mutex 0x........ rc 0 owner 0 |
| |
| The object at address 0x........ is not a mutex. |
| at 0x........: pthread_mutex_lock (drd_pthread_intercepts.c:?) |
| by 0x........: main (tc20_verifywrap.c:108) |
| mutex 0x........ was first observed at: |
| at 0x........: pthread_mutex_lock (drd_pthread_intercepts.c:?) |
| by 0x........: main (tc20_verifywrap.c:108) |
| [1/1] post_mutex_lock invalid mutex 0x........ rc 0 owner 0 (locking failed) |
| [1/1] pre_mutex_lock invalid mutex 0x........ rc 0 owner 0 |
| |
| The object at address 0x........ is not a mutex. |
| at 0x........: pthread_mutex_trylock (drd_pthread_intercepts.c:?) |
| by 0x........: main (tc20_verifywrap.c:116) |
| mutex 0x........ was first observed at: |
| at 0x........: pthread_mutex_lock (drd_pthread_intercepts.c:?) |
| by 0x........: main (tc20_verifywrap.c:108) |
| [1/1] post_mutex_lock invalid mutex 0x........ rc 0 owner 0 (locking failed) |
| [1/1] mutex_trylock invalid mutex 0x........ rc 0 owner 0 |
| |
| The object at address 0x........ is not a mutex. |
| at 0x........: pthread_mutex_timedlock (drd_pthread_intercepts.c:?) |
| by 0x........: main (tc20_verifywrap.c:121) |
| mutex 0x........ was first observed at: |
| at 0x........: pthread_mutex_lock (drd_pthread_intercepts.c:?) |
| by 0x........: main (tc20_verifywrap.c:108) |
| [1/1] post_mutex_lock invalid mutex 0x........ rc 0 owner 0 (locking failed) |
| [1/1] mutex_unlock invalid mutex 0x........ rc 0 |
| |
| The object at address 0x........ is not a mutex. |
| at 0x........: pthread_mutex_unlock (drd_pthread_intercepts.c:?) |
| by 0x........: main (tc20_verifywrap.c:125) |
| mutex 0x........ was first observed at: |
| at 0x........: pthread_mutex_lock (drd_pthread_intercepts.c:?) |
| by 0x........: main (tc20_verifywrap.c:108) |
| |
| ---------------- pthread_cond_wait et al ---------------- |
| |
| [1/1] mutex_init error checking mutex 0x........ |
| [1/1] cond_init cond 0x........ |
| [1/1] mutex_unlock error checking mutex 0x........ rc 0 |
| |
| Mutex not locked: mutex 0x........, recursion count 0, owner 0. |
| at 0x........: pthread_cond_wait* (drd_pthread_intercepts.c:?) |
| by 0x........: main (tc20_verifywrap.c:147) |
| mutex 0x........ was first observed at: |
| at 0x........: pthread_mutex_init (drd_pthread_intercepts.c:?) |
| by 0x........: main (tc20_verifywrap.c:145) |
| [1/1] cond_pre_wait cond 0x........ |
| [1/1] cond_post_wait cond 0x........ |
| [1/1] cond_post_wait error checking mutex 0x........ rc 0 owner 0 |
| [1/1] cond_signal cond 0x........ |
| |
| FIXME: can't figure out how to verify wrap of pthread_cond_signal |
| |
| [1/1] cond_broadcast cond 0x........ |
| |
| FIXME: can't figure out how to verify wrap of pthread_broadcast_signal |
| |
| [1/1] mutex_unlock error checking mutex 0x........ rc 1 |
| [1/1] cond_pre_wait cond 0x........ |
| [1/1] cond_post_wait cond 0x........ |
| [1/1] cond_post_wait error checking mutex 0x........ rc 0 owner 1 |
| |
| ---------------- pthread_rwlock_* ---------------- |
| |
| |
| Reader-writer lock not locked by calling thread: rwlock 0x......... |
| at 0x........: pthread_rwlock_unlock* (drd_pthread_intercepts.c:?) |
| by 0x........: main (tc20_verifywrap.c:179) |
| rwlock 0x........ was first observed at: |
| at 0x........: pthread_rwlock_init* (drd_pthread_intercepts.c:?) |
| by 0x........: main (tc20_verifywrap.c:178) |
| (1) no error on next line |
| (2) no error on next line |
| (3) ERROR on next line |
| |
| Reader-writer lock not locked by calling thread: rwlock 0x......... |
| at 0x........: pthread_rwlock_unlock* (drd_pthread_intercepts.c:?) |
| by 0x........: main (tc20_verifywrap.c:196) |
| rwlock 0x........ was first observed at: |
| at 0x........: pthread_rwlock_init* (drd_pthread_intercepts.c:?) |
| by 0x........: main (tc20_verifywrap.c:186) |
| |
| Reader-writer lock reinitialization: rwlock 0x......... |
| at 0x........: pthread_rwlock_init* (drd_pthread_intercepts.c:?) |
| by 0x........: main (tc20_verifywrap.c:199) |
| rwlock 0x........ was first observed at: |
| at 0x........: pthread_rwlock_init* (drd_pthread_intercepts.c:?) |
| by 0x........: main (tc20_verifywrap.c:186) |
| (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 |
| |
| Reader-writer lock not locked by calling thread: rwlock 0x......... |
| at 0x........: pthread_rwlock_unlock* (drd_pthread_intercepts.c:?) |
| by 0x........: main (tc20_verifywrap.c:212) |
| rwlock 0x........ was first observed at: |
| at 0x........: pthread_rwlock_init* (drd_pthread_intercepts.c:?) |
| by 0x........: main (tc20_verifywrap.c:186) |
| |
| ---------------- sem_* ---------------- |
| |
| [1/1] semaphore_init 0x........ value 4294967295 |
| [1/1] semaphore_init 0x........ value 0 |
| |
| FIXME: can't figure out how to verify wrap of sem_destroy |
| |
| [1/1] semaphore_wait 0x........ value 0 -> 4294967295 |
| |
| Invalid semaphore: semaphore 0x........ |
| at 0x........: sem_wait* (drd_pthread_intercepts.c:?) |
| by 0x........: main (tc20_verifywrap.c:242) |
| semaphore 0x........ was first observed at: |
| at 0x........: sem_init* (drd_pthread_intercepts.c:?) |
| by 0x........: main (tc20_verifywrap.c:228) |
| [1/1] semaphore_post 0x........ value 0 -> 1 |
| |
| FIXME: can't figure out how to verify wrap of sem_post |
| |
| [1/1] semaphore_destroy 0x........ value 1 |
| |
| ------------ dealloc of mem holding locks ------------ |
| |
| [1/1] pre_mutex_lock recursive mutex 0x........ rc 0 owner 0 |
| [1/1] post_mutex_lock recursive mutex 0x........ rc 0 owner 0 |
| [1/1] mutex_destroy error checking mutex 0x........ |
| |
| Destroying locked mutex: mutex 0x........, recursion count 1, owner 1. |
| at 0x........: pthread_mutex_lock (drd_pthread_intercepts.c:?) |
| by 0x........: (within ld-?.?.so) |
| by 0x........: exit (in /...libc...) |
| by 0x........: (below main) (in /...libc...) |
| [1/1] mutex_destroy invalid mutex 0x........ |
| [1/1] mutex_unlock recursive mutex 0x........ rc 1 |
| [1/1] pre_mutex_lock recursive mutex 0x........ rc 0 owner 1 |
| [1/1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1 |
| [1/1] mutex_unlock recursive mutex 0x........ rc 1 |
| [1/1] pre_mutex_lock recursive mutex 0x........ rc 0 owner 1 |
| [1/1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1 |
| [1/1] mutex_unlock recursive mutex 0x........ rc 1 |
| [1/1] pre_mutex_lock recursive mutex 0x........ rc 0 owner 1 |
| [1/1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1 |
| [1/1] mutex_unlock recursive mutex 0x........ rc 1 |
| [1/1] pre_mutex_lock recursive mutex 0x........ rc 0 owner 1 |
| [1/1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1 |
| [1/1] mutex_unlock recursive mutex 0x........ rc 1 |
| [1/1] pre_mutex_lock recursive mutex 0x........ rc 0 owner 1 |
| [1/1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1 |
| [1/1] mutex_unlock recursive mutex 0x........ rc 1 |
| [1/1] pre_mutex_lock recursive mutex 0x........ rc 0 owner 1 |
| [1/1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1 |
| [1/1] mutex_unlock recursive mutex 0x........ rc 1 |
| [1/1] pre_mutex_lock recursive mutex 0x........ rc 0 owner 1 |
| [1/1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1 |
| [1/1] mutex_unlock recursive mutex 0x........ rc 1 |
| [1/1] pre_mutex_lock recursive mutex 0x........ rc 0 owner 1 |
| [1/1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1 |
| [1/1] mutex_unlock recursive mutex 0x........ rc 1 |
| [1/1] pre_mutex_lock recursive mutex 0x........ rc 0 owner 1 |
| [1/1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1 |
| [1/1] mutex_unlock recursive mutex 0x........ rc 1 |
| [1/1] pre_mutex_lock recursive mutex 0x........ rc 0 owner 1 |
| [1/1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1 |
| [1/1] mutex_unlock recursive mutex 0x........ rc 1 |
| [1/1] pre_mutex_lock recursive mutex 0x........ rc 0 owner 1 |
| [1/1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1 |
| [1/1] mutex_unlock recursive mutex 0x........ rc 1 |
| [1/1] pre_mutex_lock recursive mutex 0x........ rc 0 owner 1 |
| [1/1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1 |
| [1/1] mutex_unlock recursive mutex 0x........ rc 1 |
| [1/1] pre_mutex_lock recursive mutex 0x........ rc 0 owner 1 |
| [1/1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1 |
| [1/1] mutex_unlock recursive mutex 0x........ rc 1 |
| [1/1] pre_mutex_lock recursive mutex 0x........ rc 0 owner 1 |
| [1/1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1 |
| [1/1] mutex_unlock recursive mutex 0x........ rc 1 |
| [1/1] pre_mutex_lock recursive mutex 0x........ rc 0 owner 1 |
| [1/1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1 |
| [1/1] mutex_unlock recursive mutex 0x........ rc 1 |
| |
| ERROR SUMMARY: 14 errors from 14 contexts (suppressed: 0 from 0) |