From 7599be6bac1e981d5b0b75c60aa327ed0b48106e Mon Sep 17 00:00:00 2001 From: Bart Van Assche Date: Fri, 14 Aug 2009 06:53:06 +0000 Subject: [PATCH] Removed the tc20_verifywrap and tc20_verifywrap2 regression tests because their behavior depends too much on implementation details of libc. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10808 --- drd/tests/Makefile.am | 12 - drd/tests/tc20_verifywrap.stderr.exp-glibc2.3 | 135 ----------- drd/tests/tc20_verifywrap.stderr.exp-glibc2.5 | 132 ----------- .../tc20_verifywrap.stderr.exp-glibc2.5-ppc | 132 ----------- drd/tests/tc20_verifywrap.stderr.exp-glibc2.8 | 119 ---------- drd/tests/tc20_verifywrap.vgtest | 3 - .../tc20_verifywrap2.stderr.exp-glibc2.10 | 166 -------------- .../tc20_verifywrap2.stderr.exp-glibc2.3 | 212 ------------------ .../tc20_verifywrap2.stderr.exp-glibc2.3-b | 177 --------------- .../tc20_verifywrap2.stderr.exp-glibc2.5 | 211 ----------------- .../tc20_verifywrap2.stderr.exp-glibc2.5-ppc | 211 ----------------- .../tc20_verifywrap2.stderr.exp-glibc2.8 | 198 ---------------- drd/tests/tc20_verifywrap2.vgtest | 3 - 13 files changed, 1711 deletions(-) delete mode 100644 drd/tests/tc20_verifywrap.stderr.exp-glibc2.3 delete mode 100644 drd/tests/tc20_verifywrap.stderr.exp-glibc2.5 delete mode 100644 drd/tests/tc20_verifywrap.stderr.exp-glibc2.5-ppc delete mode 100644 drd/tests/tc20_verifywrap.stderr.exp-glibc2.8 delete mode 100644 drd/tests/tc20_verifywrap.vgtest delete mode 100644 drd/tests/tc20_verifywrap2.stderr.exp-glibc2.10 delete mode 100644 drd/tests/tc20_verifywrap2.stderr.exp-glibc2.3 delete mode 100644 drd/tests/tc20_verifywrap2.stderr.exp-glibc2.3-b delete mode 100644 drd/tests/tc20_verifywrap2.stderr.exp-glibc2.5 delete mode 100644 drd/tests/tc20_verifywrap2.stderr.exp-glibc2.5-ppc delete mode 100644 drd/tests/tc20_verifywrap2.stderr.exp-glibc2.8 delete mode 100644 drd/tests/tc20_verifywrap2.vgtest diff --git a/drd/tests/Makefile.am b/drd/tests/Makefile.am index 54ff4d694c..d859735f2a 100644 --- a/drd/tests/Makefile.am +++ b/drd/tests/Makefile.am @@ -212,18 +212,6 @@ EXTRA_DIST = \ 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 \ diff --git a/drd/tests/tc20_verifywrap.stderr.exp-glibc2.3 b/drd/tests/tc20_verifywrap.stderr.exp-glibc2.3 deleted file mode 100644 index 8a8dfa5e7d..0000000000 --- a/drd/tests/tc20_verifywrap.stderr.exp-glibc2.3 +++ /dev/null @@ -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) diff --git a/drd/tests/tc20_verifywrap.stderr.exp-glibc2.5 b/drd/tests/tc20_verifywrap.stderr.exp-glibc2.5 deleted file mode 100644 index 509f29aef6..0000000000 --- a/drd/tests/tc20_verifywrap.stderr.exp-glibc2.5 +++ /dev/null @@ -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) diff --git a/drd/tests/tc20_verifywrap.stderr.exp-glibc2.5-ppc b/drd/tests/tc20_verifywrap.stderr.exp-glibc2.5-ppc deleted file mode 100644 index 9f52a48d56..0000000000 --- a/drd/tests/tc20_verifywrap.stderr.exp-glibc2.5-ppc +++ /dev/null @@ -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) diff --git a/drd/tests/tc20_verifywrap.stderr.exp-glibc2.8 b/drd/tests/tc20_verifywrap.stderr.exp-glibc2.8 deleted file mode 100644 index 9a71117dfe..0000000000 --- a/drd/tests/tc20_verifywrap.stderr.exp-glibc2.8 +++ /dev/null @@ -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) diff --git a/drd/tests/tc20_verifywrap.vgtest b/drd/tests/tc20_verifywrap.vgtest deleted file mode 100644 index 84a56ab222..0000000000 --- a/drd/tests/tc20_verifywrap.vgtest +++ /dev/null @@ -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 diff --git a/drd/tests/tc20_verifywrap2.stderr.exp-glibc2.10 b/drd/tests/tc20_verifywrap2.stderr.exp-glibc2.10 deleted file mode 100644 index 20d4ca0691..0000000000 --- a/drd/tests/tc20_verifywrap2.stderr.exp-glibc2.10 +++ /dev/null @@ -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) diff --git a/drd/tests/tc20_verifywrap2.stderr.exp-glibc2.3 b/drd/tests/tc20_verifywrap2.stderr.exp-glibc2.3 deleted file mode 100644 index ae54fe1f7b..0000000000 --- a/drd/tests/tc20_verifywrap2.stderr.exp-glibc2.3 +++ /dev/null @@ -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) diff --git a/drd/tests/tc20_verifywrap2.stderr.exp-glibc2.3-b b/drd/tests/tc20_verifywrap2.stderr.exp-glibc2.3-b deleted file mode 100644 index e69b8fe85e..0000000000 --- a/drd/tests/tc20_verifywrap2.stderr.exp-glibc2.3-b +++ /dev/null @@ -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) diff --git a/drd/tests/tc20_verifywrap2.stderr.exp-glibc2.5 b/drd/tests/tc20_verifywrap2.stderr.exp-glibc2.5 deleted file mode 100644 index ffb5656df3..0000000000 --- a/drd/tests/tc20_verifywrap2.stderr.exp-glibc2.5 +++ /dev/null @@ -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) diff --git a/drd/tests/tc20_verifywrap2.stderr.exp-glibc2.5-ppc b/drd/tests/tc20_verifywrap2.stderr.exp-glibc2.5-ppc deleted file mode 100644 index 49cdc7bca9..0000000000 --- a/drd/tests/tc20_verifywrap2.stderr.exp-glibc2.5-ppc +++ /dev/null @@ -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 ------------ - -[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) diff --git a/drd/tests/tc20_verifywrap2.stderr.exp-glibc2.8 b/drd/tests/tc20_verifywrap2.stderr.exp-glibc2.8 deleted file mode 100644 index 2683d57585..0000000000 --- a/drd/tests/tc20_verifywrap2.stderr.exp-glibc2.8 +++ /dev/null @@ -1,198 +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 ------------ - -[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) diff --git a/drd/tests/tc20_verifywrap2.vgtest b/drd/tests/tc20_verifywrap2.vgtest deleted file mode 100644 index 4c21cb0223..0000000000 --- a/drd/tests/tc20_verifywrap2.vgtest +++ /dev/null @@ -1,3 +0,0 @@ -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 -- 2.47.3