mirror of
https://github.com/Zenithsiz/ftmemsim-valgrind.git
synced 2026-02-08 21:09:49 +00:00
Remove Helgrind .exp files which are out-of-date, because Helgrind's output
has changed since they were generated. Also remove one (tc23_bogus_condwait.stderr.exp-glibc25-x86) that was a duplicate. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@9378
This commit is contained in:
Nicholas Nethercote
@@ -16,15 +16,12 @@ EXTRA_DIST = $(noinst_SCRIPTS) \
|
||||
hg02_deadlock.stderr.exp-glibc27-amd64 \
|
||||
hg03_inherit.vgtest hg03_inherit.stdout.exp \
|
||||
hg03_inherit.stderr.exp-glibc25-amd64 \
|
||||
hg03_inherit.stderr.exp-glibc25-x86 \
|
||||
hg03_inherit.stderr.exp-glibc27-amd64 \
|
||||
hg04_race.vgtest hg04_race.stdout.exp \
|
||||
hg04_race.stderr.exp-glibc25-amd64 \
|
||||
hg04_race.stderr.exp-glibc25-x86 \
|
||||
hg04_race.stderr.exp-glibc27-amd64 \
|
||||
hg05_race2.vgtest hg05_race2.stdout.exp \
|
||||
hg05_race2.stderr.exp-glibc25-amd64 \
|
||||
hg05_race2.stderr.exp-glibc25-x86 \
|
||||
hg05_race2.stderr.exp-glibc27-amd64 \
|
||||
hg06_readshared.vgtest hg06_readshared.stdout.exp \
|
||||
hg06_readshared.stderr.exp-glibc25-amd64 \
|
||||
@@ -44,7 +41,6 @@ EXTRA_DIST = $(noinst_SCRIPTS) \
|
||||
rwlock_test.stderr.exp-glibc25-amd64 \
|
||||
tc01_simple_race.vgtest tc01_simple_race.stdout.exp \
|
||||
tc01_simple_race.stderr.exp-glibc25-amd64 \
|
||||
tc01_simple_race.stderr.exp-glibc25-x86 \
|
||||
tc01_simple_race.stderr.exp-glibc27-amd64 \
|
||||
tc02_simple_tls.vgtest tc02_simple_tls.stdout.exp \
|
||||
tc02_simple_tls.stderr.exp-glibc25-amd64 \
|
||||
@@ -54,11 +50,9 @@ EXTRA_DIST = $(noinst_SCRIPTS) \
|
||||
tc04_free_lock.stderr.exp-glibc25-amd64 \
|
||||
tc05_simple_race.vgtest tc05_simple_race.stdout.exp \
|
||||
tc05_simple_race.stderr.exp-glibc25-amd64 \
|
||||
tc05_simple_race.stderr.exp-glibc25-x86 \
|
||||
tc05_simple_race.stderr.exp-glibc27-amd64 \
|
||||
tc06_two_races.vgtest tc06_two_races.stdout.exp \
|
||||
tc06_two_races.stderr.exp-glibc25-amd64 \
|
||||
tc06_two_races.stderr.exp-glibc25-x86 \
|
||||
tc06_two_races.stderr.exp-glibc27-amd64 \
|
||||
tc07_hbl1.vgtest tc07_hbl1.stdout.exp \
|
||||
tc07_hbl1.stderr.exp-glibc25-amd64 \
|
||||
@@ -85,29 +79,22 @@ EXTRA_DIST = $(noinst_SCRIPTS) \
|
||||
tc15_laog_lockdel.stderr.exp-glibc25-amd64 \
|
||||
tc16_byterace.vgtest tc16_byterace.stdout.exp \
|
||||
tc16_byterace.stderr.exp-glibc25-amd64 \
|
||||
tc16_byterace.stderr.exp-glibc25-x86 \
|
||||
tc16_byterace.stderr.exp-glibc27-amd64 \
|
||||
tc17_sembar.vgtest tc17_sembar.stdout.exp \
|
||||
tc17_sembar.stderr.exp-glibc25-amd64 \
|
||||
tc17_sembar.stderr.exp-glibc25-x86 \
|
||||
tc18_semabuse.vgtest tc18_semabuse.stdout.exp \
|
||||
tc18_semabuse.stderr.exp-glibc25-amd64 \
|
||||
tc18_semabuse.stderr.exp-glibc25-x86 \
|
||||
tc18_semabuse.stderr.exp-glibc28-amd64 \
|
||||
tc19_shadowmem.vgtest tc19_shadowmem.stdout.exp \
|
||||
tc19_shadowmem.stderr.exp-glibc25-amd64 \
|
||||
tc19_shadowmem.stderr.exp-glibc25-x86 \
|
||||
tc19_shadowmem.stderr.exp-glibc27-amd64 \
|
||||
tc20_verifywrap.vgtest tc20_verifywrap.stdout.exp \
|
||||
tc20_verifywrap.stderr.exp-glibc23-amd64 \
|
||||
tc20_verifywrap.stderr.exp-glibc25-amd64 \
|
||||
tc20_verifywrap.stderr.exp-glibc25-x86 \
|
||||
tc20_verifywrap.stderr.exp-glibc27-amd64 \
|
||||
tc20_verifywrap.stderr.exp-glibc28-amd64 \
|
||||
tc21_pthonce.vgtest tc21_pthonce.stdout.exp \
|
||||
tc21_pthonce.stderr.exp-glibc23-amd64 \
|
||||
tc21_pthonce.stderr.exp-glibc25-amd64 \
|
||||
tc21_pthonce.stderr.exp-glibc25-x86 \
|
||||
tc21_pthonce.stderr.exp-glibc27-amd64 \
|
||||
tc22_exit_w_lock.vgtest tc22_exit_w_lock.stdout.exp \
|
||||
tc22_exit_w_lock.stderr.exp-glibc25-amd64 \
|
||||
@@ -115,7 +102,6 @@ EXTRA_DIST = $(noinst_SCRIPTS) \
|
||||
tc22_exit_w_lock.stderr.exp-glibc27-amd64 \
|
||||
tc23_bogus_condwait.vgtest tc23_bogus_condwait.stdout.exp \
|
||||
tc23_bogus_condwait.stderr.exp-glibc25-amd64 \
|
||||
tc23_bogus_condwait.stderr.exp-glibc25-x86 \
|
||||
tc24_nonzero_sem.vgtest tc24_nonzero_sem.stdout.exp \
|
||||
tc24_nonzero_sem.stderr.exp-glibc25-amd64
|
||||
|
||||
|
||||
@@ -1,22 +0,0 @@
|
||||
|
||||
Thread #1 is the program's root thread
|
||||
|
||||
Thread #3 was created
|
||||
at 0x........: clone (in /...libc...)
|
||||
by 0x........: pthread_create@GLIBC_ (in /...libpthread...)
|
||||
by 0x........: pthread_create@* (hg_intercepts.c:...)
|
||||
by 0x........: main (hg03_inherit.c:46)
|
||||
|
||||
Possible data race during write of size 4 at 0x........
|
||||
at 0x........: t2 (hg03_inherit.c:28)
|
||||
by 0x........: mythread_wrapper (hg_intercepts.c:...)
|
||||
by 0x........: ...
|
||||
by 0x........: ...
|
||||
Old state: shared-readonly by threads #1, #3
|
||||
New state: shared-modified by threads #1, #3
|
||||
Reason: this thread, #3, holds no consistent locks
|
||||
Location 0x........ has never been protected by any lock
|
||||
Location 0x........ is 0 bytes inside shared[1],
|
||||
declared at hg03_inherit.c:11, in frame #0 of thread 3
|
||||
|
||||
ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 0 from 0)
|
||||
@@ -1,26 +0,0 @@
|
||||
|
||||
Thread #2 was created
|
||||
at 0x........: clone (in /...libc...)
|
||||
by 0x........: pthread_create@GLIBC_ (in /...libpthread...)
|
||||
by 0x........: pthread_create@* (hg_intercepts.c:...)
|
||||
by 0x........: main (hg04_race.c:19)
|
||||
|
||||
Thread #3 was created
|
||||
at 0x........: clone (in /...libc...)
|
||||
by 0x........: pthread_create@GLIBC_ (in /...libpthread...)
|
||||
by 0x........: pthread_create@* (hg_intercepts.c:...)
|
||||
by 0x........: main (hg04_race.c:21)
|
||||
|
||||
Possible data race during write of size 4 at 0x........
|
||||
at 0x........: th (hg04_race.c:10)
|
||||
by 0x........: mythread_wrapper (hg_intercepts.c:...)
|
||||
by 0x........: ...
|
||||
by 0x........: ...
|
||||
Old state: shared-readonly by threads #2, #3
|
||||
New state: shared-modified by threads #2, #3
|
||||
Reason: this thread, #3, holds no consistent locks
|
||||
Location 0x........ has never been protected by any lock
|
||||
Location 0x........ is 0 bytes inside local var "shared"
|
||||
declared at hg04_race.c:6, in frame #0 of thread 2
|
||||
|
||||
ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 0 from 0)
|
||||
@@ -1,26 +0,0 @@
|
||||
|
||||
Thread #2 was created
|
||||
at 0x........: clone (in /...libc...)
|
||||
by 0x........: pthread_create@GLIBC_ (in /...libpthread...)
|
||||
by 0x........: pthread_create@* (hg_intercepts.c:...)
|
||||
by 0x........: main (hg05_race2.c:27)
|
||||
|
||||
Thread #3 was created
|
||||
at 0x........: clone (in /...libc...)
|
||||
by 0x........: pthread_create@GLIBC_ (in /...libpthread...)
|
||||
by 0x........: pthread_create@* (hg_intercepts.c:...)
|
||||
by 0x........: main (hg05_race2.c:29)
|
||||
|
||||
Possible data race during write of size 4 at 0x........
|
||||
at 0x........: th (hg05_race2.c:17)
|
||||
by 0x........: mythread_wrapper (hg_intercepts.c:...)
|
||||
by 0x........: ...
|
||||
by 0x........: ...
|
||||
Old state: shared-readonly by threads #2, #3
|
||||
New state: shared-modified by threads #2, #3
|
||||
Reason: this thread, #3, holds no consistent locks
|
||||
Location 0x........ has never been protected by any lock
|
||||
Location 0x........ is 0 bytes inside foo.poot[5].plop[11],
|
||||
declared at hg05_race2.c:24, in frame #3 of thread 1
|
||||
|
||||
ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 0 from 0)
|
||||
@@ -1,19 +0,0 @@
|
||||
|
||||
Thread #1 is the program's root thread
|
||||
|
||||
Thread #2 was created
|
||||
at 0x........: clone (in /...libc...)
|
||||
by 0x........: pthread_create@GLIBC_ (in /...libpthread...)
|
||||
by 0x........: pthread_create@* (hg_intercepts.c:...)
|
||||
by 0x........: main (tc01_simple_race.c:22)
|
||||
|
||||
Possible data race during write of size 4 at 0x........
|
||||
at 0x........: main (tc01_simple_race.c:28)
|
||||
Old state: shared-readonly by threads #1, #2
|
||||
New state: shared-modified by threads #1, #2
|
||||
Reason: this thread, #1, holds no consistent locks
|
||||
Location 0x........ has never been protected by any lock
|
||||
Location 0x........ is 0 bytes inside global var "x"
|
||||
declared at tc01_simple_race.c:9
|
||||
|
||||
ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 0 from 0)
|
||||
@@ -1,19 +0,0 @@
|
||||
|
||||
Thread #1 is the program's root thread
|
||||
|
||||
Thread #2 was created
|
||||
at 0x........: clone (in /...libc...)
|
||||
by 0x........: pthread_create@GLIBC_ (in /...libpthread...)
|
||||
by 0x........: pthread_create@* (hg_intercepts.c:...)
|
||||
by 0x........: main (tc05_simple_race.c:27)
|
||||
|
||||
Possible data race during write of size 4 at 0x........
|
||||
at 0x........: main (tc05_simple_race.c:33)
|
||||
Old state: shared-readonly by threads #1, #2
|
||||
New state: shared-modified by threads #1, #2
|
||||
Reason: this thread, #1, holds no consistent locks
|
||||
Location 0x........ has never been protected by any lock
|
||||
Location 0x........ is 0 bytes inside global var "y"
|
||||
declared at tc05_simple_race.c:10
|
||||
|
||||
ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 0 from 0)
|
||||
@@ -1,28 +0,0 @@
|
||||
|
||||
Thread #1 is the program's root thread
|
||||
|
||||
Thread #2 was created
|
||||
at 0x........: clone (in /...libc...)
|
||||
by 0x........: pthread_create@GLIBC_ (in /...libpthread...)
|
||||
by 0x........: pthread_create@* (hg_intercepts.c:...)
|
||||
by 0x........: main (tc06_two_races.c:26)
|
||||
|
||||
Possible data race during write of size 4 at 0x........
|
||||
at 0x........: main (tc06_two_races.c:31)
|
||||
Old state: shared-readonly by threads #1, #2
|
||||
New state: shared-modified by threads #1, #2
|
||||
Reason: this thread, #1, holds no consistent locks
|
||||
Location 0x........ has never been protected by any lock
|
||||
Location 0x........ is 0 bytes inside global var "unprot1"
|
||||
declared at tc06_two_races.c:9
|
||||
|
||||
Possible data race during write of size 4 at 0x........
|
||||
at 0x........: main (tc06_two_races.c:35)
|
||||
Old state: shared-readonly by threads #1, #2
|
||||
New state: shared-modified by threads #1, #2
|
||||
Reason: this thread, #1, holds no consistent locks
|
||||
Location 0x........ has never been protected by any lock
|
||||
Location 0x........ is 0 bytes inside global var "unprot2"
|
||||
declared at tc06_two_races.c:9
|
||||
|
||||
ERROR SUMMARY: 2 errors from 2 contexts (suppressed: 0 from 0)
|
||||
@@ -1,19 +0,0 @@
|
||||
|
||||
Thread #1 is the program's root thread
|
||||
|
||||
Thread #2 was created
|
||||
at 0x........: clone (in /...libc...)
|
||||
by 0x........: pthread_create@GLIBC_ (in /...libpthread...)
|
||||
by 0x........: pthread_create@* (hg_intercepts.c:...)
|
||||
by 0x........: main (tc16_byterace.c:22)
|
||||
|
||||
Possible data race during write of size 1 at 0x........
|
||||
at 0x........: main (tc16_byterace.c:34)
|
||||
Old state: shared-readonly by threads #1, #2
|
||||
New state: shared-modified by threads #1, #2
|
||||
Reason: this thread, #1, holds no consistent locks
|
||||
Location 0x........ has never been protected by any lock
|
||||
Location 0x........ is 0 bytes inside bytes[4],
|
||||
a global variable declared at tc16_byterace.c:7
|
||||
|
||||
ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 0 from 0)
|
||||
@@ -1,44 +0,0 @@
|
||||
|
||||
starting
|
||||
Thread #2 was created
|
||||
at 0x........: clone (in /...libc...)
|
||||
by 0x........: pthread_create@GLIBC_ (in /...libpthread...)
|
||||
by 0x........: pthread_create@* (hg_intercepts.c:...)
|
||||
by 0x........: main (tc17_sembar.c:195)
|
||||
|
||||
Thread #3 was created
|
||||
at 0x........: clone (in /...libc...)
|
||||
by 0x........: pthread_create@GLIBC_ (in /...libpthread...)
|
||||
by 0x........: pthread_create@* (hg_intercepts.c:...)
|
||||
by 0x........: main (tc17_sembar.c:195)
|
||||
|
||||
Thread #4 was created
|
||||
at 0x........: clone (in /...libc...)
|
||||
by 0x........: pthread_create@GLIBC_ (in /...libpthread...)
|
||||
by 0x........: pthread_create@* (hg_intercepts.c:...)
|
||||
by 0x........: main (tc17_sembar.c:195)
|
||||
|
||||
Thread #5 was created
|
||||
at 0x........: clone (in /...libc...)
|
||||
by 0x........: pthread_create@GLIBC_ (in /...libpthread...)
|
||||
by 0x........: pthread_create@* (hg_intercepts.c:...)
|
||||
by 0x........: main (tc17_sembar.c:195)
|
||||
|
||||
Possible data race during read of size 4 at 0x........
|
||||
at 0x........: gomp_barrier_wait (tc17_sembar.c:122)
|
||||
by 0x........: child (tc17_sembar.c:161)
|
||||
by 0x........: mythread_wrapper (hg_intercepts.c:...)
|
||||
by 0x........: ...
|
||||
by 0x........: ...
|
||||
Old state: shared-modified by threads #2, #3, #4, #5
|
||||
New state: shared-modified by threads #2, #3, #4, #5
|
||||
Reason: this thread, #2, holds no consistent locks
|
||||
Last consistently used lock for 0x........ was first observed
|
||||
at 0x........: pthread_mutex_init (hg_intercepts.c:...)
|
||||
by 0x........: gomp_barrier_init (tc17_sembar.c:46)
|
||||
by 0x........: main (tc17_sembar.c:192)
|
||||
Location 0x........ is 0 bytes inside bar.arrived,
|
||||
declared at tc17_sembar.c:136, in frame #0 of thread 2
|
||||
done, result is 88, should be 88
|
||||
|
||||
ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 0 from 0)
|
||||
File diff suppressed because it is too large
Load Diff
@@ -1,136 +0,0 @@
|
||||
|
||||
|
||||
|
||||
------ This is output for < glibc 2.4 ------
|
||||
|
||||
---------------- pthread_create/join ----------------
|
||||
|
||||
Thread #1 is the program's root thread
|
||||
|
||||
Thread #2 was created
|
||||
at 0x........: clone (in /...libc...)
|
||||
by 0x........: ...
|
||||
by 0x........: pthread_create@GLIBC_ (in /...libpthread...)
|
||||
by 0x........: pthread_create@* (hg_intercepts.c:...)
|
||||
by 0x........: main (tc20_verifywrap.c:76)
|
||||
|
||||
Possible data race during write of size 2 at 0x........
|
||||
at 0x........: main (tc20_verifywrap.c:78)
|
||||
Old state: owned exclusively by thread #2
|
||||
New state: shared-modified by threads #1, #2
|
||||
Reason: this thread, #1, holds no locks at all
|
||||
Location 0x........ is 0 bytes inside global var "unprotected"
|
||||
declared at tc20_verifywrap.c:27
|
||||
|
||||
Thread #1's call to pthread_join failed
|
||||
with error code 35 (EDEADLK: Resource deadlock would occur)
|
||||
at 0x........: pthread_join (hg_intercepts.c:...)
|
||||
by 0x........: main (tc20_verifywrap.c:83)
|
||||
|
||||
---------------- pthread_mutex_lock et al ----------------
|
||||
|
||||
|
||||
Thread #1: pthread_mutex_destroy of a locked mutex
|
||||
at 0x........: pthread_mutex_destroy (hg_intercepts.c:...)
|
||||
by 0x........: main (tc20_verifywrap.c:102)
|
||||
|
||||
Thread #1's call to pthread_mutex_destroy failed
|
||||
with error code 16 (EBUSY: Device or resource busy)
|
||||
at 0x........: pthread_mutex_destroy (hg_intercepts.c:...)
|
||||
by 0x........: main (tc20_verifywrap.c:102)
|
||||
|
||||
make pthread_mutex_lock fail: skipped on glibc < 2.4
|
||||
|
||||
|
||||
Thread #1 unlocked an invalid lock at 0x........
|
||||
at 0x........: pthread_mutex_unlock (hg_intercepts.c:...)
|
||||
by 0x........: main (tc20_verifywrap.c:125)
|
||||
|
||||
---------------- pthread_cond_wait et al ----------------
|
||||
|
||||
|
||||
Thread #1: pthread_cond_{timed}wait called with un-held mutex
|
||||
at 0x........: pthread_cond_wait@* (hg_intercepts.c:...)
|
||||
by 0x........: main (tc20_verifywrap.c:147)
|
||||
|
||||
Thread #1's call to pthread_cond_wait failed
|
||||
with error code 1 (EPERM: Operation not permitted)
|
||||
at 0x........: pthread_cond_wait@* (hg_intercepts.c:...)
|
||||
by 0x........: main (tc20_verifywrap.c:147)
|
||||
|
||||
FIXME: can't figure out how to verify wrap of pthread_cond_signal
|
||||
|
||||
|
||||
FIXME: can't figure out how to verify wrap of pthread_broadcast_signal
|
||||
|
||||
|
||||
Thread #1: pthread_cond_{timed}wait called with un-held mutex
|
||||
at 0x........: pthread_cond_timedwait@* (hg_intercepts.c:...)
|
||||
by 0x........: main (tc20_verifywrap.c:165)
|
||||
|
||||
Thread #1's call to pthread_cond_timedwait failed
|
||||
with error code 22 (EINVAL: Invalid argument)
|
||||
at 0x........: pthread_cond_timedwait@* (hg_intercepts.c:...)
|
||||
by 0x........: main (tc20_verifywrap.c:165)
|
||||
|
||||
---------------- pthread_rwlock_* ----------------
|
||||
|
||||
|
||||
Thread #1 unlocked a not-locked lock at 0x........
|
||||
at 0x........: pthread_rwlock_unlock (hg_intercepts.c:...)
|
||||
by 0x........: main (tc20_verifywrap.c:179)
|
||||
Lock at 0x........ was first observed
|
||||
at 0x........: pthread_rwlock_init (hg_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
|
||||
|
||||
Thread #1 unlocked a not-locked lock at 0x........
|
||||
at 0x........: pthread_rwlock_unlock (hg_intercepts.c:...)
|
||||
by 0x........: main (tc20_verifywrap.c:196)
|
||||
Lock at 0x........ was first observed
|
||||
at 0x........: pthread_rwlock_init (hg_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
|
||||
|
||||
Thread #1 unlocked a not-locked lock at 0x........
|
||||
at 0x........: pthread_rwlock_unlock (hg_intercepts.c:...)
|
||||
by 0x........: main (tc20_verifywrap.c:212)
|
||||
Lock at 0x........ was first observed
|
||||
at 0x........: pthread_rwlock_init (hg_intercepts.c:...)
|
||||
by 0x........: main (tc20_verifywrap.c:186)
|
||||
|
||||
---------------- sem_* ----------------
|
||||
|
||||
|
||||
Thread #1's call to sem_init failed
|
||||
with error code 22 (EINVAL: Invalid argument)
|
||||
at 0x........: sem_init@* (hg_intercepts.c:...)
|
||||
by 0x........: main (tc20_verifywrap.c:228)
|
||||
|
||||
FIXME: can't figure out how to verify wrap of sem_destroy
|
||||
|
||||
|
||||
Thread #1: Bug in libpthread: sem_wait succeeded on semaphore without prior sem_post
|
||||
at 0x........: sem_wait_WRK (hg_intercepts.c:...)
|
||||
by 0x........: sem_wait (hg_intercepts.c:...)
|
||||
by 0x........: main (tc20_verifywrap.c:242)
|
||||
|
||||
FIXME: can't figure out how to verify wrap of sem_post
|
||||
|
||||
|
||||
------------ dealloc of mem holding locks ------------
|
||||
|
||||
|
||||
Thread #1 deallocated location 0x........ containing a locked lock
|
||||
at 0x........: main (tc20_verifywrap.c:262)
|
||||
Lock at 0x........ was first observed
|
||||
at 0x........: pthread_rwlock_init (hg_intercepts.c:...)
|
||||
by 0x........: main (tc20_verifywrap.c:216)
|
||||
|
||||
ERROR SUMMARY: 15 errors from 15 contexts (suppressed: 0 from 0)
|
||||
@@ -1,157 +0,0 @@
|
||||
|
||||
|
||||
|
||||
------ This is output for >= glibc 2.4 ------
|
||||
|
||||
---------------- pthread_create/join ----------------
|
||||
|
||||
Thread #1 is the program's root thread
|
||||
|
||||
Thread #2 was created
|
||||
at 0x........: clone (in /...libc...)
|
||||
by 0x........: pthread_create@GLIBC_ (in /...libpthread...)
|
||||
by 0x........: pthread_create@* (hg_intercepts.c:...)
|
||||
by 0x........: main (tc20_verifywrap.c:76)
|
||||
|
||||
Possible data race during write of size 2 at 0x........
|
||||
at 0x........: main (tc20_verifywrap.c:78)
|
||||
Old state: owned exclusively by thread #2
|
||||
New state: shared-modified by threads #1, #2
|
||||
Reason: this thread, #1, holds no locks at all
|
||||
Location 0x........ is 0 bytes inside global var "unprotected"
|
||||
declared at tc20_verifywrap.c:27
|
||||
|
||||
Thread #1's call to pthread_join failed
|
||||
with error code 35 (EDEADLK: Resource deadlock would occur)
|
||||
at 0x........: pthread_join (hg_intercepts.c:...)
|
||||
by 0x........: main (tc20_verifywrap.c:83)
|
||||
|
||||
---------------- pthread_mutex_lock et al ----------------
|
||||
|
||||
|
||||
Thread #1's call to pthread_mutex_init failed
|
||||
with error code 95 (EOPNOTSUPP: Operation not supported on transport endpoint)
|
||||
at 0x........: pthread_mutex_init (hg_intercepts.c:...)
|
||||
by 0x........: main (tc20_verifywrap.c:92)
|
||||
|
||||
Thread #1: pthread_mutex_destroy of a locked mutex
|
||||
at 0x........: pthread_mutex_destroy (hg_intercepts.c:...)
|
||||
by 0x........: main (tc20_verifywrap.c:102)
|
||||
|
||||
Thread #1's call to pthread_mutex_destroy failed
|
||||
with error code 16 (EBUSY: Device or resource busy)
|
||||
at 0x........: pthread_mutex_destroy (hg_intercepts.c:...)
|
||||
by 0x........: main (tc20_verifywrap.c:102)
|
||||
|
||||
Thread #1's call to pthread_mutex_lock failed
|
||||
with error code 22 (EINVAL: Invalid argument)
|
||||
at 0x........: pthread_mutex_lock (hg_intercepts.c:...)
|
||||
by 0x........: main (tc20_verifywrap.c:108)
|
||||
|
||||
Thread #1's call to pthread_mutex_trylock failed
|
||||
with error code 22 (EINVAL: Invalid argument)
|
||||
at 0x........: pthread_mutex_trylock (hg_intercepts.c:...)
|
||||
by 0x........: main (tc20_verifywrap.c:116)
|
||||
|
||||
Thread #1's call to pthread_mutex_timedlock failed
|
||||
with error code 22 (EINVAL: Invalid argument)
|
||||
at 0x........: pthread_mutex_timedlock (hg_intercepts.c:...)
|
||||
by 0x........: main (tc20_verifywrap.c:121)
|
||||
|
||||
Thread #1 unlocked an invalid lock at 0x........
|
||||
at 0x........: pthread_mutex_unlock (hg_intercepts.c:...)
|
||||
by 0x........: main (tc20_verifywrap.c:125)
|
||||
|
||||
Thread #1's call to pthread_mutex_unlock failed
|
||||
with error code 22 (EINVAL: Invalid argument)
|
||||
at 0x........: pthread_mutex_unlock (hg_intercepts.c:...)
|
||||
by 0x........: main (tc20_verifywrap.c:125)
|
||||
|
||||
---------------- pthread_cond_wait et al ----------------
|
||||
|
||||
|
||||
Thread #1: pthread_cond_{timed}wait called with un-held mutex
|
||||
at 0x........: pthread_cond_wait@* (hg_intercepts.c:...)
|
||||
by 0x........: main (tc20_verifywrap.c:147)
|
||||
|
||||
Thread #1's call to pthread_cond_wait failed
|
||||
with error code 1 (EPERM: Operation not permitted)
|
||||
at 0x........: pthread_cond_wait@* (hg_intercepts.c:...)
|
||||
by 0x........: main (tc20_verifywrap.c:147)
|
||||
|
||||
FIXME: can't figure out how to verify wrap of pthread_cond_signal
|
||||
|
||||
|
||||
FIXME: can't figure out how to verify wrap of pthread_broadcast_signal
|
||||
|
||||
|
||||
Thread #1: pthread_cond_{timed}wait called with un-held mutex
|
||||
at 0x........: pthread_cond_timedwait@* (hg_intercepts.c:...)
|
||||
by 0x........: main (tc20_verifywrap.c:165)
|
||||
|
||||
Thread #1's call to pthread_cond_timedwait failed
|
||||
with error code 22 (EINVAL: Invalid argument)
|
||||
at 0x........: pthread_cond_timedwait@* (hg_intercepts.c:...)
|
||||
by 0x........: main (tc20_verifywrap.c:165)
|
||||
|
||||
---------------- pthread_rwlock_* ----------------
|
||||
|
||||
|
||||
Thread #1 unlocked a not-locked lock at 0x........
|
||||
at 0x........: pthread_rwlock_unlock (hg_intercepts.c:...)
|
||||
by 0x........: main (tc20_verifywrap.c:179)
|
||||
Lock at 0x........ was first observed
|
||||
at 0x........: pthread_rwlock_init (hg_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
|
||||
|
||||
Thread #1 unlocked a not-locked lock at 0x........
|
||||
at 0x........: pthread_rwlock_unlock (hg_intercepts.c:...)
|
||||
by 0x........: main (tc20_verifywrap.c:196)
|
||||
Lock at 0x........ was first observed
|
||||
at 0x........: pthread_rwlock_init (hg_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
|
||||
|
||||
Thread #1 unlocked a not-locked lock at 0x........
|
||||
at 0x........: pthread_rwlock_unlock (hg_intercepts.c:...)
|
||||
by 0x........: main (tc20_verifywrap.c:212)
|
||||
Lock at 0x........ was first observed
|
||||
at 0x........: pthread_rwlock_init (hg_intercepts.c:...)
|
||||
by 0x........: main (tc20_verifywrap.c:186)
|
||||
|
||||
---------------- sem_* ----------------
|
||||
|
||||
|
||||
Thread #1's call to sem_init failed
|
||||
with error code 22 (EINVAL: Invalid argument)
|
||||
at 0x........: sem_init@* (hg_intercepts.c:...)
|
||||
by 0x........: main (tc20_verifywrap.c:228)
|
||||
|
||||
FIXME: can't figure out how to verify wrap of sem_destroy
|
||||
|
||||
|
||||
Thread #1: Bug in libpthread: sem_wait succeeded on semaphore without prior sem_post
|
||||
at 0x........: sem_wait_WRK (hg_intercepts.c:...)
|
||||
by 0x........: sem_wait@* (hg_intercepts.c:...)
|
||||
by 0x........: main (tc20_verifywrap.c:242)
|
||||
|
||||
FIXME: can't figure out how to verify wrap of sem_post
|
||||
|
||||
|
||||
------------ dealloc of mem holding locks ------------
|
||||
|
||||
|
||||
Thread #1 deallocated location 0x........ containing a locked lock
|
||||
at 0x........: main (tc20_verifywrap.c:261)
|
||||
Lock at 0x........ was first observed
|
||||
at 0x........: pthread_rwlock_init (hg_intercepts.c:...)
|
||||
by 0x........: main (tc20_verifywrap.c:216)
|
||||
|
||||
ERROR SUMMARY: 20 errors from 20 contexts (suppressed: 0 from 0)
|
||||
@@ -1,28 +0,0 @@
|
||||
|
||||
Thread #x was created
|
||||
at 0x........: clone (in /...libc...)
|
||||
by 0x........: ...
|
||||
by 0x........: pthread_create@GLIBC_ (in /...libpthread...)
|
||||
by 0x........: pthread_create@* (hg_intercepts.c:...)
|
||||
by 0x........: main (tc21_pthonce.c:86)
|
||||
|
||||
Thread #x was created
|
||||
at 0x........: clone (in /...libc...)
|
||||
by 0x........: ...
|
||||
by 0x........: pthread_create@GLIBC_ (in /...libpthread...)
|
||||
by 0x........: pthread_create@* (hg_intercepts.c:...)
|
||||
by 0x........: main (tc21_pthonce.c:86)
|
||||
|
||||
Possible data race during write of size 4 at 0x........
|
||||
at 0x........: child (tc21_pthonce.c:74)
|
||||
by 0x........: mythread_wrapper (hg_intercepts.c:...)
|
||||
by 0x........: ...
|
||||
by 0x........: ...
|
||||
Old state: shared-readonly by threads #2, #3
|
||||
New state: shared-modified by threads #2, #3
|
||||
Reason: this thread, #3, holds no consistent locks
|
||||
Location 0x........ has never been protected by any lock
|
||||
Location 0x........ is 0 bytes inside local var "unprotected2"
|
||||
declared at tc21_pthonce.c:51, in frame #0 of thread 3
|
||||
|
||||
ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 0 from 0)
|
||||
@@ -1,26 +0,0 @@
|
||||
|
||||
Thread #x was created
|
||||
at 0x........: clone (in /...libc...)
|
||||
by 0x........: pthread_create@GLIBC_ (in /...libpthread...)
|
||||
by 0x........: pthread_create@* (hg_intercepts.c:...)
|
||||
by 0x........: main (tc21_pthonce.c:86)
|
||||
|
||||
Thread #x was created
|
||||
at 0x........: clone (in /...libc...)
|
||||
by 0x........: pthread_create@GLIBC_ (in /...libpthread...)
|
||||
by 0x........: pthread_create@* (hg_intercepts.c:...)
|
||||
by 0x........: main (tc21_pthonce.c:86)
|
||||
|
||||
Possible data race during write of size 4 at 0x........
|
||||
at 0x........: child (tc21_pthonce.c:74)
|
||||
by 0x........: mythread_wrapper (hg_intercepts.c:...)
|
||||
by 0x........: ...
|
||||
by 0x........: ...
|
||||
Old state: shared-readonly by threads #2, #3
|
||||
New state: shared-modified by threads #2, #3
|
||||
Reason: this thread, #3, holds no consistent locks
|
||||
Location 0x........ has never been protected by any lock
|
||||
Location 0x........ is 0 bytes inside local var "unprotected2"
|
||||
declared at tc21_pthonce.c:51, in frame #0 of thread 2
|
||||
|
||||
ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 0 from 0)
|
||||
@@ -1,20 +0,0 @@
|
||||
|
||||
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:...)
|
||||
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:...)
|
||||
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:...)
|
||||
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:...)
|
||||
by 0x........: main (tc23_bogus_condwait.c:78)
|
||||
|
||||
ERROR SUMMARY: 4 errors from 4 contexts (suppressed: 0 from 0)
|
||||
Reference in New Issue
Block a user