|
From: <sv...@va...> - 2009-08-14 06:53:21
|
Author: bart Date: 2009-08-14 07:53:06 +0100 (Fri, 14 Aug 2009) New Revision: 10808 Log: Removed the tc20_verifywrap and tc20_verifywrap2 regression tests because their behavior depends too much on implementation details of libc. Removed: trunk/drd/tests/tc20_verifywrap.stderr.exp-glibc2.3 trunk/drd/tests/tc20_verifywrap.stderr.exp-glibc2.5 trunk/drd/tests/tc20_verifywrap.stderr.exp-glibc2.5-ppc trunk/drd/tests/tc20_verifywrap.stderr.exp-glibc2.8 trunk/drd/tests/tc20_verifywrap.vgtest trunk/drd/tests/tc20_verifywrap2.stderr.exp-glibc2.10 trunk/drd/tests/tc20_verifywrap2.stderr.exp-glibc2.3 trunk/drd/tests/tc20_verifywrap2.stderr.exp-glibc2.3-b trunk/drd/tests/tc20_verifywrap2.stderr.exp-glibc2.5 trunk/drd/tests/tc20_verifywrap2.stderr.exp-glibc2.5-ppc trunk/drd/tests/tc20_verifywrap2.stderr.exp-glibc2.8 trunk/drd/tests/tc20_verifywrap2.vgtest Modified: trunk/drd/tests/Makefile.am Modified: trunk/drd/tests/Makefile.am =================================================================== --- trunk/drd/tests/Makefile.am 2009-08-14 06:45:16 UTC (rev 10807) +++ trunk/drd/tests/Makefile.am 2009-08-14 06:53:06 UTC (rev 10808) @@ -212,18 +212,6 @@ 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 \ Deleted: trunk/drd/tests/tc20_verifywrap.stderr.exp-glibc2.3 =================================================================== --- trunk/drd/tests/tc20_verifywrap.stderr.exp-glibc2.3 2009-08-14 06:45:16 UTC (rev 10807) +++ trunk/drd/tests/tc20_verifywrap.stderr.exp-glibc2.3 2009-08-14 06:53:06 UTC (rev 10808) @@ -1,135 +0,0 @@ - - - ------- 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) Deleted: trunk/drd/tests/tc20_verifywrap.stderr.exp-glibc2.5 =================================================================== --- trunk/drd/tests/tc20_verifywrap.stderr.exp-glibc2.5 2009-08-14 06:45:16 UTC (rev 10807) +++ trunk/drd/tests/tc20_verifywrap.stderr.exp-glibc2.5 2009-08-14 06:53:06 UTC (rev 10808) @@ -1,132 +0,0 @@ - - - ------- 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) Deleted: trunk/drd/tests/tc20_verifywrap.stderr.exp-glibc2.5-ppc =================================================================== --- trunk/drd/tests/tc20_verifywrap.stderr.exp-glibc2.5-ppc 2009-08-14 06:45:16 UTC (rev 10807) +++ trunk/drd/tests/tc20_verifywrap.stderr.exp-glibc2.5-ppc 2009-08-14 06:53:06 UTC (rev 10808) @@ -1,132 +0,0 @@ - - - ------- 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) Deleted: trunk/drd/tests/tc20_verifywrap.stderr.exp-glibc2.8 =================================================================== --- trunk/drd/tests/tc20_verifywrap.stderr.exp-glibc2.8 2009-08-14 06:45:16 UTC (rev 10807) +++ trunk/drd/tests/tc20_verifywrap.stderr.exp-glibc2.8 2009-08-14 06:53:06 UTC (rev 10808) @@ -1,119 +0,0 @@ - - - ------- 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) Deleted: trunk/drd/tests/tc20_verifywrap.vgtest =================================================================== --- trunk/drd/tests/tc20_verifywrap.vgtest 2009-08-14 06:45:16 UTC (rev 10807) +++ trunk/drd/tests/tc20_verifywrap.vgtest 2009-08-14 06:53:06 UTC (rev 10808) @@ -1,3 +0,0 @@ -prereq: test -e ../../helgrind/tests/tc20_verifywrap && ./supported_libpthread -vgopts: --read-var-info=yes --check-stack-var=yes -prog: ../../helgrind/tests/tc20_verifywrap Deleted: trunk/drd/tests/tc20_verifywrap2.stderr.exp-glibc2.10 =================================================================== --- trunk/drd/tests/tc20_verifywrap2.stderr.exp-glibc2.10 2009-08-14 06:45:16 UTC (rev 10807) +++ trunk/drd/tests/tc20_verifywrap2.stderr.exp-glibc2.10 2009-08-14 06:53:06 UTC (rev 10808) @@ -1,166 +0,0 @@ - - - ------- 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) Deleted: trunk/drd/tests/tc20_verifywrap2.stderr.exp-glibc2.3 =================================================================== --- trunk/drd/tests/tc20_verifywrap2.stderr.exp-glibc2.3 2009-08-14 06:45:16 UTC (rev 10807) +++ trunk/drd/tests/tc20_verifywrap2.stderr.exp-glibc2.3 2009-08-14 06:53:06 UTC (rev 10808) @@ -1,212 +0,0 @@ - - - ------- 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) Deleted: trunk/drd/tests/tc20_verifywrap2.stderr.exp-glibc2.3-b =================================================================== --- trunk/drd/tests/tc20_verifywrap2.stderr.exp-glibc2.3-b 2009-08-14 06:45:16 UTC (rev 10807) +++ trunk/drd/tests/tc20_verifywrap2.stderr.exp-glibc2.3-b 2009-08-14 06:53:06 UTC (rev 10808) @@ -1,177 +0,0 @@ - - - ------- 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) Deleted: trunk/drd/tests/tc20_verifywrap2.stderr.exp-glibc2.5 =================================================================== --- trunk/drd/tests/tc20_verifywrap2.stderr.exp-glibc2.5 2009-08-14 06:45:16 UTC (rev 10807) +++ trunk/drd/tests/tc20_verifywrap2.stderr.exp-glibc2.5 2009-08-14 06:53:06 UTC (rev 10808) @@ -1,211 +0,0 @@ - - - ------- 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) Deleted: trunk/drd/tests/tc20_verifywrap2.stderr.exp-glibc2.5-ppc =================================================================== --- trunk/drd/tests/tc20_verifywrap2.stderr.exp-glibc2.5-ppc 2009-08-14 06:45:16 UTC (rev 10807) +++ trunk/drd/tests/tc20_verifywrap2.stderr.exp-glibc2.5-ppc 2009-08-14 06:53:06 UTC (rev 10808) @@ -1,211 +0,0 @@ - - - ------- 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 ver... [truncated message content] |