|
From: John R. <jr...@bi...> - 2009-08-18 04:51:17
|
> I've put a release candidate for the upcoming 3.5.0 release at > http://www.valgrind.org/downloads/valgrind-3.5.0-TEST2.tar.bz2 > (md5 = ecad07658c427090cd0c5cb3d84bbbba). Trying it on Fedora 11 x86_64, I encountered 7 unexpected differences (stderr) and 2 SIGSEGV. kernel-2.6.29.6-217.2.7.fc11.x86_64 #1 SMP Fri Aug 14 20:53:08 EDT 2009 x86_64 x86_64 x86_64 GNU/Linux glibc-2.10.1-4.x86_64 == 494 tests, 7 stderr failures, 0 stdout failures, 0 post failures == memcheck/tests/linux/stack_switch (stderr) memcheck/tests/long_namespace_xml (stderr) helgrind/tests/tc06_two_races_xml (stderr) helgrind/tests/tc20_verifywrap (stderr) helgrind/tests/tc23_bogus_condwait (stderr) drd/tests/annotate_trace_memory (stderr) drd/tests/tc09_bad_unlock (stderr) tc22_exit_w_lock: valgrind ./tc22_exit_w_lock sh: line 1: 1976 Aborted VALGRIND_LIB=/bigdata/valgrind-3.5.0-TEST2/.in_place VALGRIND_LIB_INNER=/bigdata/valgrind-3.5.0-TEST2/.in_place /bigdata/valgrind-3.5.0-TEST2/./coregrind/valgrind --command-line-only=yes --memcheck:leak-check=no --tool=helgrind ./tc22_exit_w_lock > tc22_exit_w_lock.stdout.out 2> tc22_exit_w_lock.stderr.out Program received signal SIGABRT, Aborted. 0x000000003802d1b9 in do_syscall_WRK () (gdb) bt #0 0x000000003802d1b9 in do_syscall_WRK () #1 0x000000003802d342 in vgPlain_do_syscall (sysno=0x1962, a1=0x6, a2=0x0, a3=0xffffffffffffffff, a4=0x0, a5=0x0, a6=0x0, a7=0x0, a8=0x0) at m_syscall.c:702 #2 0x000000003801df66 in vgPlain_kill (pid=0x6, signo=0x0) at m_libcsignal.c:304 #3 0x000000003802a922 in vgPlain_kill_self (sigNo=0x6) at m_signals.c:1353 #4 0x00000000380233dd in shutdown_actions_NORETURN (tid=<value optimized out>, tids_schedretcode=VgSrc_FatalSig) at m_main.c:2495 #5 0x000000003807beac in run_a_thread_NORETURN (tidW=0x1) at m_syswrap/syswrap-linux.c:146 #6 0x0000000000000000 in ?? () selfrun: (skipping, prereq failed: grep '^#define HAVE_PIE 1' ../../config.h > /dev/null) blockfault: valgrind ./blockfault sh: line 1: 18026 Segmentation fault VALGRIND_LIB=/bigdata/valgrind-3.5.0-TEST2/.in_place VALGRIND_LIB_INNER=/bigdata/valgrind-3.5.0-TEST2/.in_place /bigdata/valgrind-3.5.0-TEST2/./coregrind/valgrind --command-line-only=yes --memcheck:leak-check=no --tool=none ./blockfault > blockfault.stdout.out 2> blockfault.stderr.out Program received signal SIGSEGV, Segmentation fault. 0x0000000402ea7f92 in ?? () (gdb) bt #0 0x0000000402ea7f92 in ?? () #1 0x0000000000014823 in ?? () #2 0x00000000389416a0 in vgPlain_threads () #3 0x0000000402e6bf30 in ?? () #4 0x0000000000001880 in ?? () #5 0x0000000038941690 in vgPlain_threads () #6 0x00000000004008f6 in ?? () #7 0x00000004037a1000 in ?? () #8 0x0000000403973e08 in ?? () #9 0x0000000000000001 in ?? () #10 0x0000000000000002 in ?? () #11 0x0000000000001870 in ?? () #12 0x0000000000000000 in ?? () (gdb) info proc process 6562 cmdline = '/bigdata/valgrind-3.5.0-TEST2/coregrind/valgrind' cwd = '/bigdata/valgrind-3.5.0-TEST2/none/tests/linux' exe = '/bigdata/valgrind-3.5.0-TEST2/none/none-amd64-linux' (gdb) shell cat /proc/6562/maps 00400000-00401000 r-xp 00000000 08:15 18071554 /bigdata/valgrind-3.5.0-TEST2/none/tests/linux/blockfault 00600000-00601000 rw-p 00000000 08:15 18071554 /bigdata/valgrind-3.5.0-TEST2/none/tests/linux/blockfault 04000000-04001000 rwxp 04000000 00:00 0 04800000-04802000 rw-p 04800000 00:00 0 04802000-04803000 r-xp 00000000 08:15 25570295 /bigdata/valgrind-3.5.0-TEST2/coregrind/vgpreload_core-amd64-linux.so 04803000-04a02000 ---p 00001000 08:15 25570295 /bigdata/valgrind-3.5.0-TEST2/coregrind/vgpreload_core-amd64-linux.so 04a02000-04a03000 rw-p 00000000 08:15 25570295 /bigdata/valgrind-3.5.0-TEST2/coregrind/vgpreload_core-amd64-linux.so 04a1a000-04a1b000 rw-p 04a1a000 00:00 0 38000000-381a5000 r-xp 00000000 08:15 25570380 /bigdata/valgrind-3.5.0-TEST2/none/none-amd64-linux 383a5000-383a6000 rw-p 001a5000 08:15 25570380 /bigdata/valgrind-3.5.0-TEST2/none/none-amd64-linux 383a6000-38bd8000 rw-p 383a6000 00:00 0 [heap] 402001000-402e5a000 rwxp 402001000 00:00 0 402e5a000-402e5c000 ---p 402e5a000 00:00 0 402e5c000-402e6c000 rwxp 402e5c000 00:00 0 402e6c000-402e6e000 ---p 402e6c000 00:00 0 402e6e000-40440f000 rwxp 402e6e000 00:00 0 7fefff000-7ff001000 rwxp 7fefff000 00:00 0 3091200000-309121f000 r-xp 00000000 08:0a 647186 /lib64/ld-2.10.1.so 309141e000-309141f000 r--p 0001e000 08:0a 647186 /lib64/ld-2.10.1.so 309141f000-3091420000 rw-p 0001f000 08:0a 647186 /lib64/ld-2.10.1.so 3091600000-3091764000 r-xp 00000000 08:0a 647196 /lib64/libc-2.10.1.so 3091764000-3091964000 ---p 00164000 08:0a 647196 /lib64/libc-2.10.1.so 3091964000-3091968000 r--p 00164000 08:0a 647196 /lib64/libc-2.10.1.so 3091968000-3091969000 rw-p 00168000 08:0a 647196 /lib64/libc-2.10.1.so 3091969000-309196e000 rw-p 3091969000 00:00 0 7ffff7ffe000-7ffff7fff000 r-xp 7ffff7ffe000 00:00 0 [vdso] 7ffffffea000-7ffffffff000 rw-p 7ffffffea000 00:00 0 [stack] ffffffffff600000-ffffffffff601000 r-xp 00000000 00:00 0 [vsyscall] (gdb) x/i $pc 0x402ea7f92: mov %r8d,(%rdi) (gdb) x/8x $rdi 0x4a03000: Cannot access memory at address 0x4a03000 (gdb) x/12i $pc-0x18 0x402ea7f7a: jne 0x402ea7fa4 0x402ea7f7c: mov -0x8(%rsi),%rdi 0x402ea7f80: movq $0x4008fa,0xa8(%rbp) 0x402ea7f8b: mov $0xd5,%r8 0x402ea7f92: mov %r8d,(%rdi) 0x402ea7f95: movq $0x0,0x0(%rbp) 0x402ea7f9d: movq $0x400905,0xa8(%rbp) 0x402ea7fa8: mov %rsi,0x20(%rbp) 0x402ea7fac: mov (%rsi),%rdi 0x402ea7faf: mov %rdi,0x28(%rbp) 0x402ea7fb3: lea 0x8(%rsi),%rdi 0x402ea7fb7: mov %rdi,0x20(%rbp) (gdb) info reg rax 0x4008f6 0x4008f6 rbx 0x8f60 0x8f60 rcx 0x38b4a440 0x38b4a440 rdx 0x38941690 0x38941690 rsi 0x7ff000090 0x7ff000090 rdi 0x4a03000 0x4a03000 rbp 0x389416a0 0x389416a0 rsp 0x402e6be20 0x402e6be20 r8 0xd5 0xd5 r9 0x1 0x1 r10 0x4008f6 0x4008f6 r11 0x402ea7f78 0x402ea7f78 r12 0x4008f6 0x4008f6 r13 0x38941690 0x38941690 r14 0x1880 0x1880 r15 0x14824 0x14824 rip 0x402ea7f92 0x402ea7f92 eflags 0x10246 [ PF ZF IF RF ] cs 0x33 0x33 ss 0x2b 0x2b ds 0x0 0x0 es 0x0 0x0 fs 0x0 0x0 gs 0x0 0x0 fctrl 0x27f 0x27f fstat 0x0 0x0 ftag 0xffff 0xffff fiseg 0x0 0x0 fioff 0x0 0x0 foseg 0x0 0x0 fooff 0x0 0x0 fop 0x0 0x0 mxcsr 0x1f80 [ IM DM ZM OM UM PM ] --- stack_switch.stderr.exp 2009-08-17 12:35:53.000000000 -0700 +++ stack_switch.stderr.out 2009-08-17 19:07:36.000000000 -0700 @@ -0,0 +1,3 @@ +Syscall param clone(child_tidptr) contains uninitialised byte(s) + ... + --- long_namespace_xml.stderr.exp 2009-08-17 12:35:58.000000000 -0700 +++ long_namespace_xml.stderr.out 2009-08-17 19:07:38.000000000 -0700 @@ -37,7 +37,7 @@ <frame> <ip>0x........</ip> <obj>...</obj> - <fn>abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwx yzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklm</fn> + <fn>_ZN53044basic_iostreamIwSt11char_traitsIwEE</fn> <dir>...</dir> <file>long_namespace_xml.cpp</file> <line>...</line> @@ -64,7 +64,7 @@ <frame> <ip>0x........</ip> <obj>...</obj> - <fn>abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwx yzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklm</fn> + <fn>_ZN53044basic_iostreamIwSt11char_traitsIwEE</fn> <dir>...</dir> <file>long_namespace_xml.cpp</file> <line>...</line> --- tc06_two_races_xml.stderr.exp 2009-08-17 12:35:30.000000000 -0700 +++ tc06_two_races_xml.stderr.out 2009-08-17 19:11:50.000000000 -0700 @@ -44,7 +44,7 @@ <frame> <ip>0x........</ip> <obj>...</obj> - <fn>do_clone</fn> + <fn>do_clone.clone.0</fn> </frame> <frame> <ip>0x........</ip> @@ -294,6 +294,7 @@ <xauxwhat><text>declared at tc06_two_races.c:9</text> <file>tc06_two_races.c</file> <line>...</line> </xauxwhat> </error> + <status> <state>FINISHED</state> <time>...</time> --- tc23_bogus_condwait.stderr.exp 2009-08-17 12:35:29.000000000 -0700 +++ tc23_bogus_condwait.stderr.out 2009-08-17 19:12:22.000000000 -0700 @@ -2,31 +2,38 @@ Thread #x is the program's root thread Thread #x: pthread_cond_{timed}wait called with invalid mutex - at 0x........: pthread_cond_wait@* (hg_intercepts.c:...) + at 0x........: pthread_cond_wait_WRK (hg_intercepts.c:...) + by 0x........: pthread_cond_wait@* (hg_intercepts.c:...) by 0x........: main (tc23_bogus_condwait.c:69) Thread #x: pthread_cond_{timed}wait called with un-held mutex - at 0x........: pthread_cond_wait@* (hg_intercepts.c:...) + at 0x........: pthread_cond_wait_WRK (hg_intercepts.c:...) + by 0x........: pthread_cond_wait@* (hg_intercepts.c:...) by 0x........: main (tc23_bogus_condwait.c:72) Thread #x: pthread_cond_{timed}wait: cond is associated with a different mutex - at 0x........: pthread_cond_wait@* (hg_intercepts.c:...) + at 0x........: pthread_cond_wait_WRK (hg_intercepts.c:...) + by 0x........: pthread_cond_wait@* (hg_intercepts.c:...) by 0x........: main (tc23_bogus_condwait.c:72) Thread #x: pthread_cond_{timed}wait called with mutex of type pthread_rwlock_t* - at 0x........: pthread_cond_wait@* (hg_intercepts.c:...) + at 0x........: pthread_cond_wait_WRK (hg_intercepts.c:...) + by 0x........: pthread_cond_wait@* (hg_intercepts.c:...) by 0x........: main (tc23_bogus_condwait.c:75) Thread #x: pthread_cond_{timed}wait: cond is associated with a different mutex - at 0x........: pthread_cond_wait@* (hg_intercepts.c:...) + at 0x........: pthread_cond_wait_WRK (hg_intercepts.c:...) + by 0x........: pthread_cond_wait@* (hg_intercepts.c:...) by 0x........: main (tc23_bogus_condwait.c:75) Thread #x: pthread_cond_{timed}wait called with mutex held by a different thread - at 0x........: pthread_cond_wait@* (hg_intercepts.c:...) + at 0x........: pthread_cond_wait_WRK (hg_intercepts.c:...) + by 0x........: pthread_cond_wait@* (hg_intercepts.c:...) by 0x........: main (tc23_bogus_condwait.c:78) Thread #x: pthread_cond_{timed}wait: cond is associated with a different mutex - at 0x........: pthread_cond_wait@* (hg_intercepts.c:...) + at 0x........: pthread_cond_wait_WRK (hg_intercepts.c:...) + by 0x........: pthread_cond_wait@* (hg_intercepts.c:...) by 0x........: main (tc23_bogus_condwait.c:78) --- tc20_verifywrap.stderr.exp-glibc25-amd64 2009-08-17 12:35:29.000000000 -0700 +++ tc20_verifywrap.stderr.out 2009-08-17 19:12:12.000000000 -0700 @@ -71,12 +71,14 @@ ---------------- pthread_cond_wait et al ---------------- Thread #x: pthread_cond_{timed}wait called with un-held mutex - at 0x........: pthread_cond_wait@* (hg_intercepts.c:...) + at 0x........: pthread_cond_wait_WRK (hg_intercepts.c:...) + by 0x........: pthread_cond_wait@* (hg_intercepts.c:...) by 0x........: main (tc20_verifywrap.c:147) Thread #x's call to pthread_cond_wait failed with error code 1 (EPERM: Operation not permitted) - at 0x........: pthread_cond_wait@* (hg_intercepts.c:...) + at 0x........: pthread_cond_wait_WRK (hg_intercepts.c:...) + by 0x........: pthread_cond_wait@* (hg_intercepts.c:...) by 0x........: main (tc20_verifywrap.c:147) @@ -86,12 +88,14 @@ FIXME: can't figure out how to verify wrap of pthread_broadcast_signal Thread #x: pthread_cond_{timed}wait called with un-held mutex - at 0x........: pthread_cond_timedwait@* (hg_intercepts.c:...) + at 0x........: pthread_cond_timedwait_WRK (hg_intercepts.c:...) + by 0x........: pthread_cond_timedwait@* (hg_intercepts.c:...) by 0x........: main (tc20_verifywrap.c:165) Thread #x's call to pthread_cond_timedwait failed with error code 22 (EINVAL: Invalid argument) - at 0x........: pthread_cond_timedwait@* (hg_intercepts.c:...) + at 0x........: pthread_cond_timedwait_WRK (hg_intercepts.c:...) + by 0x........: pthread_cond_timedwait@* (hg_intercepts.c:...) by 0x........: main (tc20_verifywrap.c:165) @@ -142,6 +146,12 @@ by 0x........: sem_wait (hg_intercepts.c:...) by 0x........: main (tc20_verifywrap.c:242) +Thread #x's call to sem_post failed + with error code 22 (EINVAL: Invalid argument) + at 0x........: sem_post_WRK (hg_intercepts.c:...) + by 0x........: sem_post (hg_intercepts.c:...) + by 0x........: main (tc20_verifywrap.c:245) + FIXME: can't figure out how to verify wrap of sem_post @@ -152,4 +162,4 @@ ... -ERROR SUMMARY: 20 errors from 20 contexts (suppressed: 0 from 0) +ERROR SUMMARY: 21 errors from 21 contexts (suppressed: 0 from 0) --- tc20_verifywrap.stderr.exp-glibc27-amd64 2009-08-17 12:35:28.000000000 -0700 +++ tc20_verifywrap.stderr.out 2009-08-17 19:12:12.000000000 -0700 @@ -71,12 +71,14 @@ ---------------- pthread_cond_wait et al ---------------- Thread #x: pthread_cond_{timed}wait called with un-held mutex - at 0x........: pthread_cond_wait@* (hg_intercepts.c:...) + at 0x........: pthread_cond_wait_WRK (hg_intercepts.c:...) + by 0x........: pthread_cond_wait@* (hg_intercepts.c:...) by 0x........: main (tc20_verifywrap.c:147) Thread #x's call to pthread_cond_wait failed with error code 1 (EPERM: Operation not permitted) - at 0x........: pthread_cond_wait@* (hg_intercepts.c:...) + at 0x........: pthread_cond_wait_WRK (hg_intercepts.c:...) + by 0x........: pthread_cond_wait@* (hg_intercepts.c:...) by 0x........: main (tc20_verifywrap.c:147) @@ -86,12 +88,14 @@ FIXME: can't figure out how to verify wrap of pthread_broadcast_signal Thread #x: pthread_cond_{timed}wait called with un-held mutex - at 0x........: pthread_cond_timedwait@* (hg_intercepts.c:...) + at 0x........: pthread_cond_timedwait_WRK (hg_intercepts.c:...) + by 0x........: pthread_cond_timedwait@* (hg_intercepts.c:...) by 0x........: main (tc20_verifywrap.c:165) Thread #x's call to pthread_cond_timedwait failed with error code 22 (EINVAL: Invalid argument) - at 0x........: pthread_cond_timedwait@* (hg_intercepts.c:...) + at 0x........: pthread_cond_timedwait_WRK (hg_intercepts.c:...) + by 0x........: pthread_cond_timedwait@* (hg_intercepts.c:...) by 0x........: main (tc20_verifywrap.c:165) --- annotate_trace_memory.stderr.exp 2009-08-17 12:36:51.000000000 -0700 +++ annotate_trace_memory.stderr.out 2009-08-17 19:12:48.000000000 -0700 @@ -14,7 +14,7 @@ load 0x........ size 4 (thread x / vc ...) at 0x........: test01::Run() (tsan_unittest.cpp:?) - by 0x........: main (tsan_unittest.cpp:?) + by 0x........: Test::Run() (tsan_unittest.cpp:?) GLOB=2 ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 0 from 0) --- tc09_bad_unlock.stderr.exp 2009-08-17 12:36:52.000000000 -0700 +++ tc09_bad_unlock.stderr.out 2009-08-17 19:14:03.000000000 -0700 @@ -26,7 +26,7 @@ Destroying locked mutex: mutex 0x........, recursion count 1, owner 1. at 0x........: nearly_main (tc09_bad_unlock.c:45) - by 0x........: main (tc09_bad_unlock.c:49) + by 0x........: (below main) mutex 0x........ was first observed at: at 0x........: pthread_mutex_init (drd_pthread_intercepts.c:?) by 0x........: nearly_main (tc09_bad_unlock.c:31) @@ -47,13 +47,5 @@ by 0x........: nearly_main (tc09_bad_unlock.c:41) by 0x........: main (tc09_bad_unlock.c:50) -Destroying locked mutex: mutex 0x........, recursion count 1, owner 1. - at 0x........: nearly_main (tc09_bad_unlock.c:45) - by 0x........: main (tc09_bad_unlock.c:50) -mutex 0x........ was first observed at: - at 0x........: pthread_mutex_init (drd_pthread_intercepts.c:?) - by 0x........: nearly_main (tc09_bad_unlock.c:31) - by 0x........: main (tc09_bad_unlock.c:50) - -ERROR SUMMARY: 8 errors from 7 contexts (suppressed: 0 from 0) +ERROR SUMMARY: 8 errors from 6 contexts (suppressed: 0 from 0) -- |