exp-drd/tests/tc20_verifywrap.stderr.exp

------ 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 ----------------


Not a mutex
   at 0x........: pthread_mutex_init (drd_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_intercepts.c:?)
   by 0x........: main (tc20_verifywrap.c:102)

Not a mutex
   at 0x........: pthread_mutex_lock (drd_intercepts.c:?)
   by 0x........: main (tc20_verifywrap.c:108)

Not a mutex
   at 0x........: pthread_mutex_trylock (drd_intercepts.c:?)
   by 0x........: main (tc20_verifywrap.c:116)

Not a mutex
   at 0x........: pthread_mutex_timedlock (drd_intercepts.c:?)
   by 0x........: main (tc20_verifywrap.c:121)

Not a mutex
   at 0x........: pthread_mutex_unlock (drd_intercepts.c:?)
   by 0x........: main (tc20_verifywrap.c:125)

---------------- pthread_cond_wait et al ----------------


Mutex not locked: mutex 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: mutex 0x........, recursion count 0, owner 0.
   at 0x........: pthread_cond_timedwait* (drd_intercepts.c:?)
   by 0x........: main (tc20_verifywrap.c:165)

---------------- pthread_rwlock_* ----------------


Reader-writer lock not locked by calling thread: rwlock 0x.........
   at 0x........: pthread_rwlock_unlock* (drd_intercepts.c:?)
   by 0x........: main (tc20_verifywrap.c:179)
(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_intercepts.c:?)
   by 0x........: main (tc20_verifywrap.c:196)

Reader-writer lock reinitialization: rwlock 0x.........
   at 0x........: pthread_rwlock_init* (drd_intercepts.c:?)
   by 0x........: main (tc20_verifywrap.c:199)
(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_intercepts.c:?)
   by 0x........: main (tc20_verifywrap.c:212)

---------------- sem_* ----------------


FIXME: can't figure out how to verify wrap of sem_destroy


Invalid semaphore: 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 ------------


Destroying locked rwlock: rwlock 0x.........
   at 0x........: main (tc20_verifywrap.c:262)

ERROR SUMMARY: 15 errors from 15 contexts (suppressed: 0 from 0)