tc19_shadowmem.stderr.exp-32bit \
tc19_shadowmem.stderr.exp-64bit \
tc19_shadowmem.vgtest \
- tc20_verifywrap.stderr.exp-glibc2.3 \
- tc20_verifywrap.stderr.exp-glibc2.5 \
- tc20_verifywrap.stderr.exp-glibc2.5-ppc \
- tc20_verifywrap.stderr.exp-glibc2.8 \
- tc20_verifywrap.vgtest \
- tc20_verifywrap2.stderr.exp-glibc2.3 \
- tc20_verifywrap2.stderr.exp-glibc2.3-b \
- tc20_verifywrap2.stderr.exp-glibc2.5 \
- tc20_verifywrap2.stderr.exp-glibc2.5-ppc \
- tc20_verifywrap2.stderr.exp-glibc2.8 \
- tc20_verifywrap2.stderr.exp-glibc2.10 \
- tc20_verifywrap2.vgtest \
tc21_pthonce.stderr.exp \
tc21_pthonce.stdout.exp \
tc21_pthonce.vgtest \
+++ /dev/null
-
-
-
------- 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)
-Location 0x........ is 0 bytes inside global var "unprotected"
-declared at tc20_verifywrap.c:27
-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 ----------------
-
-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)
-
-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)
-mutex 0x........ was first observed at:
- at 0x........: pthread_mutex_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:100)
-
-
-make pthread_mutex_lock fail: skipped on glibc < 2.4
-
-Mutex not locked: mutex 0x........, recursion count 0, owner 0.
- 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_trylock (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:116)
-
-
----------------- pthread_cond_wait et al ----------------
-
-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)
-
-
-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
-
-
----------------- 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_* ----------------
-
-Semaphore reinitialization: semaphore 0x........
- at 0x........: sem_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:231)
-semaphore 0x........ was first observed at:
- at 0x........: sem_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:228)
-
-
-FIXME: can't figure out how to verify wrap of sem_destroy
-
-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)
-
-
-FIXME: can't figure out how to verify wrap of sem_post
-
-
------------- dealloc of mem holding locks ------------
-
-Destroying locked rwlock: rwlock 0x.........
- at 0x........: main (tc20_verifywrap.c:262)
-rwlock 0x........ was first observed at:
- at 0x........: pthread_rwlock_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:216)
-
-Destroying locked mutex: mutex 0x........, recursion count 1, owner 1.
- at 0x........: main (tc20_verifywrap.c:262)
-mutex 0x........ was first observed at:
- at 0x........: pthread_mutex_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:145)
-
-
-ERROR SUMMARY: 13 errors from 13 contexts (suppressed: 0 from 0)
+++ /dev/null
-
-
-
------- 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)
-Location 0x........ is 0 bytes inside global var "unprotected"
-declared at tc20_verifywrap.c:27
-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 ----------------
-
-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)
-
-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)
-mutex 0x........ was first observed at:
- at 0x........: pthread_mutex_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:100)
-
-Mutex not locked: mutex 0x........, recursion count 0, owner 0.
- 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 ----------------
-
-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)
-
-
-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
-
-
----------------- 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_* ----------------
-
-Semaphore reinitialization: semaphore 0x........
- at 0x........: sem_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:231)
-semaphore 0x........ was first observed at:
- at 0x........: sem_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:228)
-
-
-FIXME: can't figure out how to verify wrap of sem_destroy
-
-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)
-
-
-FIXME: can't figure out how to verify wrap of sem_post
-
-
------------- dealloc of mem holding locks ------------
-
-Destroying locked rwlock: rwlock 0x.........
- at 0x........: main (tc20_verifywrap.c:262)
-rwlock 0x........ was first observed at:
- at 0x........: pthread_rwlock_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:216)
-
-Destroying locked mutex: mutex 0x........, recursion count 1, owner 1.
- at 0x........: main (tc20_verifywrap.c:262)
-mutex 0x........ was first observed at:
- at 0x........: pthread_mutex_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:145)
-
-
-ERROR SUMMARY: 13 errors from 13 contexts (suppressed: 0 from 0)
+++ /dev/null
-
-
-
------- 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)
-Location 0x........ is 0 bytes inside global var "unprotected"
-declared at tc20_verifywrap.c:27
-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 ----------------
-
-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)
-
-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)
-mutex 0x........ was first observed at:
- at 0x........: pthread_mutex_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:100)
-
-Mutex not locked: mutex 0x........, recursion count 0, owner 0.
- 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 ----------------
-
-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)
-
-
-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
-
-
----------------- 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_* ----------------
-
-Semaphore reinitialization: semaphore 0x........
- at 0x........: sem_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:231)
-semaphore 0x........ was first observed at:
- at 0x........: sem_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:228)
-
-
-FIXME: can't figure out how to verify wrap of sem_destroy
-
-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)
-
-
-FIXME: can't figure out how to verify wrap of sem_post
-
-
------------- dealloc of mem holding locks ------------
-
-Destroying locked mutex: mutex 0x........, recursion count 1, owner 1.
- at 0x........: main (tc20_verifywrap.c:262)
-mutex 0x........ was first observed at:
- at 0x........: pthread_mutex_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:145)
-
-Destroying locked rwlock: rwlock 0x.........
- at 0x........: main (tc20_verifywrap.c:262)
-rwlock 0x........ was first observed at:
- at 0x........: pthread_rwlock_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:216)
-
-
-ERROR SUMMARY: 13 errors from 13 contexts (suppressed: 0 from 0)
+++ /dev/null
-
-
-
------- 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)
-Location 0x........ is 0 bytes inside global var "unprotected"
-declared at tc20_verifywrap.c:27
-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 ----------------
-
-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)
-
-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)
-mutex 0x........ was first observed at:
- at 0x........: pthread_mutex_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:100)
-
-Mutex not locked: mutex 0x........, recursion count 0, owner 0.
- 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 ----------------
-
-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)
-
-
-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
-
-
----------------- 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_* ----------------
-
-Semaphore reinitialization: semaphore 0x........
- at 0x........: sem_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:231)
-semaphore 0x........ was first observed at:
- at 0x........: sem_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:228)
-
-
-FIXME: can't figure out how to verify wrap of sem_destroy
-
-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)
-
-
-FIXME: can't figure out how to verify wrap of sem_post
-
-
------------- dealloc of mem holding locks ------------
-
-ERROR SUMMARY: 11 errors from 11 contexts (suppressed: 0 from 0)
+++ /dev/null
-prereq: test -e ../../helgrind/tests/tc20_verifywrap && ./supported_libpthread
-vgopts: --read-var-info=yes --check-stack-var=yes
-prog: ../../helgrind/tests/tc20_verifywrap
+++ /dev/null
-
-
-
------- 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)
-Location 0x........ is 0 bytes inside global var "unprotected"
-declared at tc20_verifywrap.c:27
-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 ----------------
-
-[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] mutex_init mutex 0x........
-[1] mutex_trylock mutex 0x........ rc 0 owner 0
-[1] post_mutex_lock mutex 0x........ rc 0 owner 0
-[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)
-mutex 0x........ was first observed at:
- at 0x........: pthread_mutex_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:100)
-
-[1] mutex_trylock mutex 0x........ rc 0 owner 0
-[1] post_mutex_lock mutex 0x........ rc 0 owner 0 (locking failed)
-[1] pre_mutex_lock mutex 0x........ rc 0 owner 0
-[1] post_mutex_lock mutex 0x........ rc 0 owner 0 (locking failed)
-[1] mutex_trylock mutex 0x........ rc 0 owner 0
-[1] post_mutex_lock mutex 0x........ rc 0 owner 0 (locking failed)
-[1] mutex_unlock mutex 0x........ rc 0
-Mutex not locked: mutex 0x........, recursion count 0, owner 0.
- 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] mutex_init error checking mutex 0x........
-[1] cond_init cond 0x........
-[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] cond_pre_wait cond 0x........
-[1] cond_post_wait cond 0x........
-[1] cond_post_wait error checking mutex 0x........ rc 0 owner 0
-[1] cond_signal cond 0x........
-
-FIXME: can't figure out how to verify wrap of pthread_cond_signal
-
-[1] cond_broadcast cond 0x........
-
-FIXME: can't figure out how to verify wrap of pthread_broadcast_signal
-
-[1] mutex_unlock error checking mutex 0x........ rc 1
-[1] cond_pre_wait cond 0x........
-[1] cond_post_wait cond 0x........
-[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] sem_init 0x........ value 4294967295
-[1] sem_init 0x........ value 0
-Semaphore reinitialization: semaphore 0x........
- at 0x........: sem_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:231)
-semaphore 0x........ was first observed at:
- at 0x........: sem_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:228)
-
-
-FIXME: can't figure out how to verify wrap of sem_destroy
-
-[1] sem_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] sem_post 0x........ value 4294967295 -> 0
-
-FIXME: can't figure out how to verify wrap of sem_post
-
-[1] sem_destroy 0x........ value 0
-
------------- dealloc of mem holding locks ------------
-
-Destroying locked rwlock: rwlock 0x.........
- at 0x........: main (tc20_verifywrap.c:262)
-rwlock 0x........ was first observed at:
- at 0x........: pthread_rwlock_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:216)
-
-[1] mutex_destroy error checking mutex 0x........ rc 1 owner 1
-Destroying locked mutex: mutex 0x........, recursion count 1, owner 1.
- at 0x........: main (tc20_verifywrap.c:262)
-mutex 0x........ was first observed at:
- at 0x........: pthread_mutex_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:145)
-
-[1] mutex_destroy mutex 0x........ rc 0 owner 0
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 0
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 0
-[1] mutex_unlock recursive mutex 0x........ rc 1
-
-ERROR SUMMARY: 13 errors from 13 contexts (suppressed: 0 from 0)
+++ /dev/null
-
-
-
------- 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)
-Location 0x........ is 0 bytes inside global var "unprotected"
-declared at tc20_verifywrap.c:27
-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 ----------------
-
-[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] mutex_init mutex 0x........
-[1] mutex_trylock mutex 0x........ rc 0 owner 0
-[1] post_mutex_lock mutex 0x........ rc 0 owner 0
-[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)
-mutex 0x........ was first observed at:
- at 0x........: pthread_mutex_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:100)
-
-
-make pthread_mutex_lock fail: skipped on glibc < 2.4
-
-[1] pre_mutex_lock mutex 0x........ rc 0 owner 0
-[1] post_mutex_lock mutex 0x........ rc 0 owner 0 (locking failed)
-[1] mutex_trylock mutex 0x........ rc 0 owner 0
-[1] post_mutex_lock mutex 0x........ rc 0 owner 0 (locking failed)
-[1] mutex_unlock mutex 0x........ rc 0
-Mutex not locked: mutex 0x........, recursion count 0, owner 0.
- 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_trylock (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:116)
-
-
----------------- pthread_cond_wait et al ----------------
-
-[1] mutex_init error checking mutex 0x........
-[1] cond_init cond 0x........
-[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] cond_pre_wait cond 0x........
-[1] cond_post_wait cond 0x........
-[1] cond_post_wait error checking mutex 0x........ rc 0 owner 0
-[1] cond_signal cond 0x........
-
-FIXME: can't figure out how to verify wrap of pthread_cond_signal
-
-[1] cond_broadcast cond 0x........
-
-FIXME: can't figure out how to verify wrap of pthread_broadcast_signal
-
-[1] mutex_unlock error checking mutex 0x........ rc 1
-[1] cond_pre_wait cond 0x........
-[1] cond_post_wait cond 0x........
-[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] sem_init 0x........ value 4294967295
-[1] sem_init 0x........ value 0
-Semaphore reinitialization: semaphore 0x........
- at 0x........: sem_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:231)
-semaphore 0x........ was first observed at:
- at 0x........: sem_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:228)
-
-
-FIXME: can't figure out how to verify wrap of sem_destroy
-
-[1] sem_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] sem_post 0x........ value 4294967295 -> 0
-
-FIXME: can't figure out how to verify wrap of sem_post
-
-[1] sem_destroy 0x........ value 0
-
------------- dealloc of mem holding locks ------------
-
-Destroying locked rwlock: rwlock 0x.........
- at 0x........: main (tc20_verifywrap.c:262)
-rwlock 0x........ was first observed at:
- at 0x........: pthread_rwlock_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:216)
-
-[1] mutex_destroy error checking mutex 0x........ rc 1 owner 1
-Destroying locked mutex: mutex 0x........, recursion count 1, owner 1.
- at 0x........: main (tc20_verifywrap.c:262)
-mutex 0x........ was first observed at:
- at 0x........: pthread_mutex_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:145)
-
-[1] mutex_destroy mutex 0x........ rc 0 owner 0
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 0
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 0
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-
-ERROR SUMMARY: 13 errors from 13 contexts (suppressed: 0 from 0)
+++ /dev/null
-
-
-
------- 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)
-Location 0x........ is 0 bytes inside global var "unprotected"
-declared at tc20_verifywrap.c:27
-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 ----------------
-
-[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] mutex_init mutex 0x........
-[1] mutex_trylock mutex 0x........ rc 0 owner 0
-[1] post_mutex_lock mutex 0x........ rc 0 owner 0
-[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)
-
-make pthread_mutex_lock fail: skipped on glibc < 2.4
-
-[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_trylock (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:116)
-[1] post_mutex_lock invalid mutex 0x........ rc 0 owner 0 (locking failed)
-[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_trylock (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:116)
-[1] post_mutex_lock invalid mutex 0x........ rc 0 owner 0 (locking failed)
-[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_trylock (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:116)
-
----------------- pthread_cond_wait et al ----------------
-
-[1] mutex_init error checking mutex 0x........
-[1] cond_init cond 0x........
-[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] cond_pre_wait cond 0x........
-[1] cond_post_wait cond 0x........
-[1] cond_post_wait error checking mutex 0x........ rc 0 owner 0
-[1] cond_signal cond 0x........
-
-FIXME: can't figure out how to verify wrap of pthread_cond_signal
-
-[1] cond_broadcast cond 0x........
-
-FIXME: can't figure out how to verify wrap of pthread_broadcast_signal
-
-[1] mutex_unlock error checking mutex 0x........ rc 1
-[1] cond_pre_wait cond 0x........
-[1] cond_post_wait cond 0x........
-[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] sem_init 0x........ value 4294967295
-[1] sem_init 0x........ value 0
-
-Semaphore reinitialization: semaphore 0x........
- at 0x........: sem_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:231)
-semaphore 0x........ was first observed at:
- at 0x........: sem_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:228)
-
-FIXME: can't figure out how to verify wrap of sem_destroy
-
-[1] sem_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] sem_post 0x........ value 4294967295 -> 0
-
-FIXME: can't figure out how to verify wrap of sem_post
-
-[1] sem_destroy 0x........ value 0
-
------------- dealloc of mem holding locks ------------
-
-
-Destroying locked rwlock: rwlock 0x.........
- at 0x........: main (tc20_verifywrap.c:262)
-rwlock 0x........ was first observed at:
- at 0x........: pthread_rwlock_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:216)
-[1] mutex_destroy error checking mutex 0x........ rc 1 owner 1
-
-Destroying locked mutex: mutex 0x........, recursion count 1, owner 1.
- at 0x........: main (tc20_verifywrap.c:262)
-mutex 0x........ was first observed at:
- at 0x........: pthread_mutex_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:145)
-[1] mutex_destroy mutex 0x........ rc 0 owner 0
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 0
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 0
-[1] mutex_unlock recursive mutex 0x........ rc 1
-
-ERROR SUMMARY: 15 errors from 15 contexts (suppressed: 0 from 0)
+++ /dev/null
-
-
-
------- 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)
-Location 0x........ is 0 bytes inside global var "unprotected"
-declared at tc20_verifywrap.c:27
-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 ----------------
-
-[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] mutex_init mutex 0x........
-[1] mutex_trylock mutex 0x........ rc 0 owner 0
-[1] post_mutex_lock mutex 0x........ rc 0 owner 0
-[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)
-mutex 0x........ was first observed at:
- at 0x........: pthread_mutex_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:100)
-
-[1] mutex_trylock mutex 0x........ rc 0 owner 0
-[1] post_mutex_lock mutex 0x........ rc 0 owner 0 (locking failed)
-[1] pre_mutex_lock mutex 0x........ rc 0 owner 0
-[1] post_mutex_lock mutex 0x........ rc 0 owner 0 (locking failed)
-[1] mutex_trylock mutex 0x........ rc 0 owner 0
-[1] post_mutex_lock mutex 0x........ rc 0 owner 0 (locking failed)
-[1] mutex_unlock mutex 0x........ rc 0
-Mutex not locked: mutex 0x........, recursion count 0, owner 0.
- 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] mutex_init error checking mutex 0x........
-[1] cond_init cond 0x........
-[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] cond_pre_wait cond 0x........
-[1] cond_post_wait cond 0x........
-[1] cond_post_wait error checking mutex 0x........ rc 0 owner 0
-[1] cond_signal cond 0x........
-
-FIXME: can't figure out how to verify wrap of pthread_cond_signal
-
-[1] cond_broadcast cond 0x........
-
-FIXME: can't figure out how to verify wrap of pthread_broadcast_signal
-
-[1] mutex_unlock error checking mutex 0x........ rc 1
-[1] cond_pre_wait cond 0x........
-[1] cond_post_wait cond 0x........
-[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] sem_init 0x........ value 4294967295
-[1] sem_init 0x........ value 0
-Semaphore reinitialization: semaphore 0x........
- at 0x........: sem_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:231)
-semaphore 0x........ was first observed at:
- at 0x........: sem_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:228)
-
-
-FIXME: can't figure out how to verify wrap of sem_destroy
-
-[1] sem_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] sem_post 0x........ value 4294967295 -> 0
-
-FIXME: can't figure out how to verify wrap of sem_post
-
-[1] sem_destroy 0x........ value 0
-
------------- dealloc of mem holding locks ------------
-
-Destroying locked rwlock: rwlock 0x.........
- at 0x........: main (tc20_verifywrap.c:262)
-rwlock 0x........ was first observed at:
- at 0x........: pthread_rwlock_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:216)
-
-[1] mutex_destroy error checking mutex 0x........ rc 1 owner 1
-Destroying locked mutex: mutex 0x........, recursion count 1, owner 1.
- at 0x........: main (tc20_verifywrap.c:262)
-mutex 0x........ was first observed at:
- at 0x........: pthread_mutex_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:145)
-
-[1] mutex_destroy mutex 0x........ rc 0 owner 0
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 0
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 0
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-
-ERROR SUMMARY: 13 errors from 13 contexts (suppressed: 0 from 0)
+++ /dev/null
-
-
-
------- 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)
-Location 0x........ is 0 bytes inside global var "unprotected"
-declared at tc20_verifywrap.c:27
-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 ----------------
-
-[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] mutex_init mutex 0x........
-[1] mutex_trylock mutex 0x........ rc 0 owner 0
-[1] post_mutex_lock mutex 0x........ rc 0 owner 0
-[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)
-mutex 0x........ was first observed at:
- at 0x........: pthread_mutex_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:100)
-
-[1] mutex_trylock mutex 0x........ rc 0 owner 0
-[1] post_mutex_lock mutex 0x........ rc 0 owner 0 (locking failed)
-[1] pre_mutex_lock mutex 0x........ rc 0 owner 0
-[1] post_mutex_lock mutex 0x........ rc 0 owner 0 (locking failed)
-[1] mutex_trylock mutex 0x........ rc 0 owner 0
-[1] post_mutex_lock mutex 0x........ rc 0 owner 0 (locking failed)
-[1] mutex_unlock mutex 0x........ rc 0
-Mutex not locked: mutex 0x........, recursion count 0, owner 0.
- 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] mutex_init error checking mutex 0x........
-[1] cond_init cond 0x........
-[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] cond_pre_wait cond 0x........
-[1] cond_post_wait cond 0x........
-[1] cond_post_wait error checking mutex 0x........ rc 0 owner 0
-[1] cond_signal cond 0x........
-
-FIXME: can't figure out how to verify wrap of pthread_cond_signal
-
-[1] cond_broadcast cond 0x........
-
-FIXME: can't figure out how to verify wrap of pthread_broadcast_signal
-
-[1] mutex_unlock error checking mutex 0x........ rc 1
-[1] cond_pre_wait cond 0x........
-[1] cond_post_wait cond 0x........
-[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] sem_init 0x........ value 4294967295
-[1] sem_init 0x........ value 0
-Semaphore reinitialization: semaphore 0x........
- at 0x........: sem_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:231)
-semaphore 0x........ was first observed at:
- at 0x........: sem_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:228)
-
-
-FIXME: can't figure out how to verify wrap of sem_destroy
-
-[1] sem_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] sem_post 0x........ value 4294967295 -> 0
-
-FIXME: can't figure out how to verify wrap of sem_post
-
-[1] sem_destroy 0x........ value 0
-
------------- dealloc of mem holding locks ------------
-
-[1] mutex_destroy mutex 0x........ rc 0 owner 0
-[1] mutex_destroy error checking mutex 0x........ rc 1 owner 1
-Destroying locked mutex: mutex 0x........, recursion count 1, owner 1.
- at 0x........: main (tc20_verifywrap.c:262)
-mutex 0x........ was first observed at:
- at 0x........: pthread_mutex_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:145)
-
-Destroying locked rwlock: rwlock 0x.........
- at 0x........: main (tc20_verifywrap.c:262)
-rwlock 0x........ was first observed at:
- at 0x........: pthread_rwlock_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:216)
-
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 0
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 0
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-
-ERROR SUMMARY: 13 errors from 13 contexts (suppressed: 0 from 0)
+++ /dev/null
-
-
-
------- 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)
-Location 0x........ is 0 bytes inside global var "unprotected"
-declared at tc20_verifywrap.c:27
-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 ----------------
-
-[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] mutex_init mutex 0x........
-[1] mutex_trylock mutex 0x........ rc 0 owner 0
-[1] post_mutex_lock mutex 0x........ rc 0 owner 0
-[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)
-mutex 0x........ was first observed at:
- at 0x........: pthread_mutex_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:100)
-[1] mutex_trylock mutex 0x........ rc 0 owner 0
-[1] post_mutex_lock mutex 0x........ rc 0 owner 0 (locking failed)
-[1] pre_mutex_lock mutex 0x........ rc 0 owner 0
-[1] post_mutex_lock mutex 0x........ rc 0 owner 0 (locking failed)
-[1] mutex_trylock mutex 0x........ rc 0 owner 0
-[1] post_mutex_lock mutex 0x........ rc 0 owner 0 (locking failed)
-[1] mutex_unlock mutex 0x........ rc 0
-
-Mutex not locked: mutex 0x........, recursion count 0, owner 0.
- 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] mutex_init error checking mutex 0x........
-[1] cond_init cond 0x........
-[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] cond_pre_wait cond 0x........
-[1] cond_post_wait cond 0x........
-[1] cond_post_wait error checking mutex 0x........ rc 0 owner 0
-[1] cond_signal cond 0x........
-
-FIXME: can't figure out how to verify wrap of pthread_cond_signal
-
-[1] cond_broadcast cond 0x........
-
-FIXME: can't figure out how to verify wrap of pthread_broadcast_signal
-
-[1] mutex_unlock error checking mutex 0x........ rc 1
-[1] cond_pre_wait cond 0x........
-[1] cond_post_wait cond 0x........
-[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] sem_init 0x........ value 4294967295
-[1] sem_init 0x........ value 0
-
-Semaphore reinitialization: semaphore 0x........
- at 0x........: sem_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:231)
-semaphore 0x........ was first observed at:
- at 0x........: sem_init (drd_pthread_intercepts.c:?)
- by 0x........: main (tc20_verifywrap.c:228)
-
-FIXME: can't figure out how to verify wrap of sem_destroy
-
-[1] sem_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] sem_post 0x........ value 4294967295 -> 0
-
-FIXME: can't figure out how to verify wrap of sem_post
-
-[1] sem_destroy 0x........ value 0
-
------------- dealloc of mem holding locks ------------
-
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 0
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 0
-[1] mutex_destroy error checking mutex 0x........ rc 1 owner 1
-[1] mutex_destroy mutex 0x........ rc 0 owner 0
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-[1] mutex_trylock recursive mutex 0x........ rc 0 owner 1
-[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 1
-[1] mutex_unlock recursive mutex 0x........ rc 1
-
-ERROR SUMMARY: 11 errors from 11 contexts (suppressed: 0 from 0)
+++ /dev/null
-prereq: test -e ../../helgrind/tests/tc20_verifywrap && ./supported_libpthread
-vgopts: --trace-mutex=yes --trace-cond=yes --trace-semaphore=yes --read-var-info=yes --check-stack-var=yes
-prog: ../../helgrind/tests/tc20_verifywrap
projects / thirdparty / valgrind.git / commitdiff
