|
From: <sv...@va...> - 2007-11-01 18:00:25
|
Author: sewardj
Date: 2007-11-01 18:00:25 +0000 (Thu, 01 Nov 2007)
New Revision: 7078
Log:
Update expected output following r7075.
Modified:
branches/THRCHECK/thrcheck/tests/tc20_verifywrap.stderr.exp-glibc25-x86
Modified: branches/THRCHECK/thrcheck/tests/tc20_verifywrap.stderr.exp-glibc25-x86
===================================================================
--- branches/THRCHECK/thrcheck/tests/tc20_verifywrap.stderr.exp-glibc25-x86 2007-11-01 17:59:40 UTC (rev 7077)
+++ branches/THRCHECK/thrcheck/tests/tc20_verifywrap.stderr.exp-glibc25-x86 2007-11-01 18:00:25 UTC (rev 7078)
@@ -1,5 +1,8 @@
+
+------ This is output for >= glibc 2.4 ------
+
---------------- pthread_create/join ----------------
Thread #1 is the program's root thread
@@ -8,10 +11,10 @@
at 0x........: clone (in /...libc...)
by 0x........: pthread_create@GLIBC_ (in /lib/libpthread...)
by 0x........: pthread_create@* (tc_intercepts.c:...)
- by 0x........: main (tc20_verifywrap.c:64)
+ by 0x........: main (tc20_verifywrap.c:76)
Possible data race during write of size 2 at 0x........
- at 0x........: main (tc20_verifywrap.c:66)
+ 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
@@ -19,7 +22,7 @@
Thread #1's call to pthread_join failed
with error code 35 (EDEADLK: Resource deadlock would occur)
at 0x........: pthread_join (tc_intercepts.c:...)
- by 0x........: main (tc20_verifywrap.c:71)
+ by 0x........: main (tc20_verifywrap.c:83)
---------------- pthread_mutex_lock et al ----------------
@@ -27,55 +30,55 @@
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 (tc_intercepts.c:...)
- by 0x........: main (tc20_verifywrap.c:80)
+ by 0x........: main (tc20_verifywrap.c:92)
Thread #1: pthread_mutex_destroy of a locked mutex
at 0x........: pthread_mutex_destroy (tc_intercepts.c:...)
- by 0x........: main (tc20_verifywrap.c:85)
+ 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 (tc_intercepts.c:...)
- by 0x........: main (tc20_verifywrap.c:85)
+ 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 (tc_intercepts.c:...)
- by 0x........: main (tc20_verifywrap.c:89)
+ 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 (tc_intercepts.c:...)
- by 0x........: main (tc20_verifywrap.c:93)
+ 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 (tc_intercepts.c:...)
- by 0x........: main (tc20_verifywrap.c:98)
+ by 0x........: main (tc20_verifywrap.c:121)
Thread #1 unlocked an invalid lock at 0x........
at 0x........: pthread_mutex_unlock (tc_intercepts.c:...)
- by 0x........: main (tc20_verifywrap.c:102)
+ 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 (tc_intercepts.c:...)
- by 0x........: main (tc20_verifywrap.c:102)
+ by 0x........: main (tc20_verifywrap.c:125)
---------------- pthread_cond_wait et al ----------------
Thread #1 unlocked a not-locked lock at 0x........
at 0x........: pthread_cond_wait@* (tc_intercepts.c:...)
- by 0x........: main (tc20_verifywrap.c:119)
+ by 0x........: main (tc20_verifywrap.c:147)
Lock at 0x........ was first observed
at 0x........: pthread_mutex_init (tc_intercepts.c:...)
- by 0x........: main (tc20_verifywrap.c:117)
+ by 0x........: main (tc20_verifywrap.c:145)
Thread #1's call to pthread_cond_wait failed
with error code 1 (EPERM: Operation not permitted)
at 0x........: pthread_cond_wait@* (tc_intercepts.c:...)
- by 0x........: main (tc20_verifywrap.c:119)
+ by 0x........: main (tc20_verifywrap.c:147)
FIXME: can't figure out how to verify wrap of pthread_cond_signal
@@ -86,27 +89,27 @@
Thread #1's call to pthread_cond_timedwait failed
with error code 22 (EINVAL: Invalid argument)
at 0x........: pthread_cond_timedwait@* (tc_intercepts.c:...)
- by 0x........: main (tc20_verifywrap.c:137)
+ by 0x........: main (tc20_verifywrap.c:165)
---------------- pthread_rwlock_* ----------------
Thread #1 unlocked a not-locked lock at 0x........
at 0x........: pthread_rwlock_unlock (tc_intercepts.c:...)
- by 0x........: main (tc20_verifywrap.c:151)
+ by 0x........: main (tc20_verifywrap.c:179)
Lock at 0x........ was first observed
at 0x........: pthread_rwlock_init (tc_intercepts.c:...)
- by 0x........: main (tc20_verifywrap.c:150)
+ 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 (tc_intercepts.c:...)
- by 0x........: main (tc20_verifywrap.c:168)
+ by 0x........: main (tc20_verifywrap.c:196)
Lock at 0x........ was first observed
at 0x........: pthread_rwlock_init (tc_intercepts.c:...)
- by 0x........: main (tc20_verifywrap.c:158)
+ 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
@@ -115,10 +118,10 @@
Thread #1 unlocked a not-locked lock at 0x........
at 0x........: pthread_rwlock_unlock (tc_intercepts.c:...)
- by 0x........: main (tc20_verifywrap.c:184)
+ by 0x........: main (tc20_verifywrap.c:212)
Lock at 0x........ was first observed
at 0x........: pthread_rwlock_init (tc_intercepts.c:...)
- by 0x........: main (tc20_verifywrap.c:158)
+ by 0x........: main (tc20_verifywrap.c:186)
---------------- sem_* ----------------
@@ -126,7 +129,7 @@
Thread #1's call to sem_init failed
with error code 22 (EINVAL: Invalid argument)
at 0x........: sem_init@* (tc_intercepts.c:...)
- by 0x........: main (tc20_verifywrap.c:200)
+ by 0x........: main (tc20_verifywrap.c:228)
FIXME: can't figure out how to verify wrap of sem_destroy
@@ -134,7 +137,7 @@
Thread #1: Bug in libpthread: sem_wait succeeded on semaphore without prior sem_post
at 0x........: sem_wait_WRK (tc_intercepts.c:...)
by 0x........: sem_wait@* (tc_intercepts.c:...)
- by 0x........: main (tc20_verifywrap.c:214)
+ by 0x........: main (tc20_verifywrap.c:242)
FIXME: can't figure out how to verify wrap of sem_post
@@ -143,15 +146,15 @@
Thread #1 deallocated location 0x........ containing a locked lock
- at 0x........: main (tc20_verifywrap.c:234)
+ at 0x........: main (tc20_verifywrap.c:262)
Lock at 0x........ was first observed
at 0x........: pthread_rwlock_init (tc_intercepts.c:...)
- by 0x........: main (tc20_verifywrap.c:188)
+ by 0x........: main (tc20_verifywrap.c:216)
Thread #1 deallocated location 0x........ containing a locked lock
- at 0x........: main (tc20_verifywrap.c:234)
+ at 0x........: main (tc20_verifywrap.c:262)
Lock at 0x........ was first observed
at 0x........: pthread_mutex_init (tc_intercepts.c:...)
- by 0x........: main (tc20_verifywrap.c:117)
+ by 0x........: main (tc20_verifywrap.c:145)
ERROR SUMMARY: 20 errors from 20 contexts (suppressed: 0 from 0)
|