blob: 1e531a84c859a8820be522d11bf9e4034cdd4203 [file] [log] [blame]
bart60389da2008-02-25 19:58:25 +00001
2
3
4------ This is output for >= glibc 2.4 ------
5
6---------------- pthread_create/join ----------------
7
bartaa97a542008-03-16 17:57:01 +00008Conflicting store by thread 1/1 at 0x........ size 2
bart60389da2008-02-25 19:58:25 +00009 at 0x........: main (tc20_verifywrap.c:78)
bartb515eb12008-03-07 18:52:38 +000010Location 0x........ is 0 bytes inside global var "unprotected"
11declared at tc20_verifywrap.c:27
bartaa97a542008-03-16 17:57:01 +000012Other segment start (thread 0/2)
bart60389da2008-02-25 19:58:25 +000013 (thread finished, call stack no longer available)
bartaa97a542008-03-16 17:57:01 +000014Other segment end (thread 0/2)
bart60389da2008-02-25 19:58:25 +000015 (thread finished, call stack no longer available)
16
17---------------- pthread_mutex_lock et al ----------------
18
19
bartc0267ef2008-03-24 19:37:42 +000020The object at address 0x........ is not a mutex.
bart2cb588d2008-03-11 18:29:35 +000021 at 0x........: pthread_mutex_init (drd_pthread_intercepts.c:?)
bart4751a212008-03-01 15:34:25 +000022 by 0x........: main (tc20_verifywrap.c:92)
23
bart777f7fe2008-03-02 17:43:18 +000024Destroying locked mutex: mutex 0x........, recursion count 1, owner 1.
bart2cb588d2008-03-11 18:29:35 +000025 at 0x........: pthread_mutex_destroy (drd_pthread_intercepts.c:?)
bart60389da2008-02-25 19:58:25 +000026 by 0x........: main (tc20_verifywrap.c:102)
27
bartc0267ef2008-03-24 19:37:42 +000028The object at address 0x........ is not a mutex.
bart2cb588d2008-03-11 18:29:35 +000029 at 0x........: pthread_mutex_lock (drd_pthread_intercepts.c:?)
bartaf3a8ea2008-02-29 19:37:03 +000030 by 0x........: main (tc20_verifywrap.c:108)
bart391d9dc2008-07-03 10:57:30 +000031mutex 0x........ was first observed at:
32 at 0x........: pthread_mutex_lock (drd_pthread_intercepts.c:?)
33 by 0x........: main (tc20_verifywrap.c:108)
bartaf3a8ea2008-02-29 19:37:03 +000034
bartc0267ef2008-03-24 19:37:42 +000035The object at address 0x........ is not a mutex.
bart2cb588d2008-03-11 18:29:35 +000036 at 0x........: pthread_mutex_trylock (drd_pthread_intercepts.c:?)
bartaf3a8ea2008-02-29 19:37:03 +000037 by 0x........: main (tc20_verifywrap.c:116)
bart391d9dc2008-07-03 10:57:30 +000038mutex 0x........ was first observed at:
39 at 0x........: pthread_mutex_lock (drd_pthread_intercepts.c:?)
40 by 0x........: main (tc20_verifywrap.c:108)
bartaf3a8ea2008-02-29 19:37:03 +000041
bartc0267ef2008-03-24 19:37:42 +000042The object at address 0x........ is not a mutex.
bart2cb588d2008-03-11 18:29:35 +000043 at 0x........: pthread_mutex_timedlock (drd_pthread_intercepts.c:?)
bartaf3a8ea2008-02-29 19:37:03 +000044 by 0x........: main (tc20_verifywrap.c:121)
bart391d9dc2008-07-03 10:57:30 +000045mutex 0x........ was first observed at:
46 at 0x........: pthread_mutex_lock (drd_pthread_intercepts.c:?)
47 by 0x........: main (tc20_verifywrap.c:108)
bartaf3a8ea2008-02-29 19:37:03 +000048
bartc0267ef2008-03-24 19:37:42 +000049The object at address 0x........ is not a mutex.
bart2cb588d2008-03-11 18:29:35 +000050 at 0x........: pthread_mutex_unlock (drd_pthread_intercepts.c:?)
bart635cb162008-02-28 08:30:43 +000051 by 0x........: main (tc20_verifywrap.c:125)
bart391d9dc2008-07-03 10:57:30 +000052mutex 0x........ was first observed at:
53 at 0x........: pthread_mutex_lock (drd_pthread_intercepts.c:?)
54 by 0x........: main (tc20_verifywrap.c:108)
bart635cb162008-02-28 08:30:43 +000055
bart60389da2008-02-25 19:58:25 +000056---------------- pthread_cond_wait et al ----------------
57
58
bart777f7fe2008-03-02 17:43:18 +000059Mutex not locked: mutex 0x........, recursion count 0, owner 0.
bart2cb588d2008-03-11 18:29:35 +000060 at 0x........: pthread_cond_wait* (drd_pthread_intercepts.c:?)
bart60389da2008-02-25 19:58:25 +000061 by 0x........: main (tc20_verifywrap.c:147)
bart391d9dc2008-07-03 10:57:30 +000062mutex 0x........ was first observed at:
63 at 0x........: pthread_mutex_init (drd_pthread_intercepts.c:?)
64 by 0x........: main (tc20_verifywrap.c:145)
bart60389da2008-02-25 19:58:25 +000065
66FIXME: can't figure out how to verify wrap of pthread_cond_signal
67
68
69FIXME: can't figure out how to verify wrap of pthread_broadcast_signal
70
71
72---------------- pthread_rwlock_* ----------------
73
bart777f7fe2008-03-02 17:43:18 +000074
75Reader-writer lock not locked by calling thread: rwlock 0x.........
bart2cb588d2008-03-11 18:29:35 +000076 at 0x........: pthread_rwlock_unlock* (drd_pthread_intercepts.c:?)
bart777f7fe2008-03-02 17:43:18 +000077 by 0x........: main (tc20_verifywrap.c:179)
bart391d9dc2008-07-03 10:57:30 +000078rwlock 0x........ was first observed at:
79 at 0x........: pthread_rwlock_init* (drd_pthread_intercepts.c:?)
80 by 0x........: main (tc20_verifywrap.c:178)
bart60389da2008-02-25 19:58:25 +000081(1) no error on next line
82(2) no error on next line
83(3) ERROR on next line
bart777f7fe2008-03-02 17:43:18 +000084
85Reader-writer lock not locked by calling thread: rwlock 0x.........
bart2cb588d2008-03-11 18:29:35 +000086 at 0x........: pthread_rwlock_unlock* (drd_pthread_intercepts.c:?)
bart777f7fe2008-03-02 17:43:18 +000087 by 0x........: main (tc20_verifywrap.c:196)
bart391d9dc2008-07-03 10:57:30 +000088rwlock 0x........ was first observed at:
89 at 0x........: pthread_rwlock_init* (drd_pthread_intercepts.c:?)
90 by 0x........: main (tc20_verifywrap.c:186)
bart777f7fe2008-03-02 17:43:18 +000091
92Reader-writer lock reinitialization: rwlock 0x.........
bart2cb588d2008-03-11 18:29:35 +000093 at 0x........: pthread_rwlock_init* (drd_pthread_intercepts.c:?)
bart777f7fe2008-03-02 17:43:18 +000094 by 0x........: main (tc20_verifywrap.c:199)
bart391d9dc2008-07-03 10:57:30 +000095rwlock 0x........ was first observed at:
96 at 0x........: pthread_rwlock_init* (drd_pthread_intercepts.c:?)
97 by 0x........: main (tc20_verifywrap.c:186)
bart60389da2008-02-25 19:58:25 +000098(4) no error on next line
99(5) no error on next line
100(6) no error on next line
101(7) no error on next line
102(8) ERROR on next line
103
bart777f7fe2008-03-02 17:43:18 +0000104Reader-writer lock not locked by calling thread: rwlock 0x.........
bart2cb588d2008-03-11 18:29:35 +0000105 at 0x........: pthread_rwlock_unlock* (drd_pthread_intercepts.c:?)
bart777f7fe2008-03-02 17:43:18 +0000106 by 0x........: main (tc20_verifywrap.c:212)
bart391d9dc2008-07-03 10:57:30 +0000107rwlock 0x........ was first observed at:
108 at 0x........: pthread_rwlock_init* (drd_pthread_intercepts.c:?)
109 by 0x........: main (tc20_verifywrap.c:186)
bart777f7fe2008-03-02 17:43:18 +0000110
bart60389da2008-02-25 19:58:25 +0000111---------------- sem_* ----------------
112
113
bartd9e39ec2008-06-28 15:03:26 +0000114Semaphore reinitialization: semaphore 0x........
bartb48b4c52008-07-03 12:29:16 +0000115 at 0x........: sem_init* (drd_pthread_intercepts.c:?)
116 by 0x........: main (tc20_verifywrap.c:231)
bart391d9dc2008-07-03 10:57:30 +0000117semaphore 0x........ was first observed at:
118 at 0x........: sem_init* (drd_pthread_intercepts.c:?)
119 by 0x........: main (tc20_verifywrap.c:228)
bartd9e39ec2008-06-28 15:03:26 +0000120
bart60389da2008-02-25 19:58:25 +0000121FIXME: can't figure out how to verify wrap of sem_destroy
122
123
bart777f7fe2008-03-02 17:43:18 +0000124Invalid semaphore: semaphore 0x........
bartb48b4c52008-07-03 12:29:16 +0000125 at 0x........: sem_wait* (drd_pthread_intercepts.c:?)
126 by 0x........: main (tc20_verifywrap.c:242)
bart391d9dc2008-07-03 10:57:30 +0000127semaphore 0x........ was first observed at:
128 at 0x........: sem_init* (drd_pthread_intercepts.c:?)
129 by 0x........: main (tc20_verifywrap.c:228)
bartaf3a8ea2008-02-29 19:37:03 +0000130
bart60389da2008-02-25 19:58:25 +0000131FIXME: can't figure out how to verify wrap of sem_post
132
133
134------------ dealloc of mem holding locks ------------
135
136
bart777f7fe2008-03-02 17:43:18 +0000137Destroying locked rwlock: rwlock 0x.........
138 at 0x........: main (tc20_verifywrap.c:262)
139
bart282dad12008-03-30 08:44:02 +0000140Destroying locked mutex: mutex 0x........, recursion count 1, owner 1.
141 at 0x........: main (tc20_verifywrap.c:262)
142
bartd9e39ec2008-06-28 15:03:26 +0000143ERROR SUMMARY: 16 errors from 16 contexts (suppressed: 0 from 0)