bart | 60389da | 2008-02-25 19:58:25 +0000 | [diff] [blame] | 1 | |
| 2 | |
| 3 | |
| 4 | ------ This is output for >= glibc 2.4 ------ |
| 5 | |
| 6 | ---------------- pthread_create/join ---------------- |
| 7 | |
bart | aa97a54 | 2008-03-16 17:57:01 +0000 | [diff] [blame] | 8 | Conflicting store by thread 1/1 at 0x........ size 2 |
bart | 60389da | 2008-02-25 19:58:25 +0000 | [diff] [blame] | 9 | at 0x........: main (tc20_verifywrap.c:78) |
bart | b515eb1 | 2008-03-07 18:52:38 +0000 | [diff] [blame] | 10 | Location 0x........ is 0 bytes inside global var "unprotected" |
| 11 | declared at tc20_verifywrap.c:27 |
bart | aa97a54 | 2008-03-16 17:57:01 +0000 | [diff] [blame] | 12 | Other segment start (thread 0/2) |
bart | 60389da | 2008-02-25 19:58:25 +0000 | [diff] [blame] | 13 | (thread finished, call stack no longer available) |
bart | aa97a54 | 2008-03-16 17:57:01 +0000 | [diff] [blame] | 14 | Other segment end (thread 0/2) |
bart | 60389da | 2008-02-25 19:58:25 +0000 | [diff] [blame] | 15 | (thread finished, call stack no longer available) |
| 16 | |
| 17 | ---------------- pthread_mutex_lock et al ---------------- |
| 18 | |
| 19 | |
bart | c0267ef | 2008-03-24 19:37:42 +0000 | [diff] [blame] | 20 | The object at address 0x........ is not a mutex. |
bart | 2cb588d | 2008-03-11 18:29:35 +0000 | [diff] [blame] | 21 | at 0x........: pthread_mutex_init (drd_pthread_intercepts.c:?) |
bart | 4751a21 | 2008-03-01 15:34:25 +0000 | [diff] [blame] | 22 | by 0x........: main (tc20_verifywrap.c:92) |
| 23 | |
bart | 777f7fe | 2008-03-02 17:43:18 +0000 | [diff] [blame] | 24 | Destroying locked mutex: mutex 0x........, recursion count 1, owner 1. |
bart | 2cb588d | 2008-03-11 18:29:35 +0000 | [diff] [blame] | 25 | at 0x........: pthread_mutex_destroy (drd_pthread_intercepts.c:?) |
bart | 60389da | 2008-02-25 19:58:25 +0000 | [diff] [blame] | 26 | by 0x........: main (tc20_verifywrap.c:102) |
| 27 | |
bart | c0267ef | 2008-03-24 19:37:42 +0000 | [diff] [blame] | 28 | The object at address 0x........ is not a mutex. |
bart | 2cb588d | 2008-03-11 18:29:35 +0000 | [diff] [blame] | 29 | at 0x........: pthread_mutex_lock (drd_pthread_intercepts.c:?) |
bart | af3a8ea | 2008-02-29 19:37:03 +0000 | [diff] [blame] | 30 | by 0x........: main (tc20_verifywrap.c:108) |
bart | 391d9dc | 2008-07-03 10:57:30 +0000 | [diff] [blame] | 31 | mutex 0x........ was first observed at: |
| 32 | at 0x........: pthread_mutex_lock (drd_pthread_intercepts.c:?) |
| 33 | by 0x........: main (tc20_verifywrap.c:108) |
bart | af3a8ea | 2008-02-29 19:37:03 +0000 | [diff] [blame] | 34 | |
bart | c0267ef | 2008-03-24 19:37:42 +0000 | [diff] [blame] | 35 | The object at address 0x........ is not a mutex. |
bart | 2cb588d | 2008-03-11 18:29:35 +0000 | [diff] [blame] | 36 | at 0x........: pthread_mutex_trylock (drd_pthread_intercepts.c:?) |
bart | af3a8ea | 2008-02-29 19:37:03 +0000 | [diff] [blame] | 37 | by 0x........: main (tc20_verifywrap.c:116) |
bart | 391d9dc | 2008-07-03 10:57:30 +0000 | [diff] [blame] | 38 | mutex 0x........ was first observed at: |
| 39 | at 0x........: pthread_mutex_lock (drd_pthread_intercepts.c:?) |
| 40 | by 0x........: main (tc20_verifywrap.c:108) |
bart | af3a8ea | 2008-02-29 19:37:03 +0000 | [diff] [blame] | 41 | |
bart | c0267ef | 2008-03-24 19:37:42 +0000 | [diff] [blame] | 42 | The object at address 0x........ is not a mutex. |
bart | 2cb588d | 2008-03-11 18:29:35 +0000 | [diff] [blame] | 43 | at 0x........: pthread_mutex_timedlock (drd_pthread_intercepts.c:?) |
bart | af3a8ea | 2008-02-29 19:37:03 +0000 | [diff] [blame] | 44 | by 0x........: main (tc20_verifywrap.c:121) |
bart | 391d9dc | 2008-07-03 10:57:30 +0000 | [diff] [blame] | 45 | mutex 0x........ was first observed at: |
| 46 | at 0x........: pthread_mutex_lock (drd_pthread_intercepts.c:?) |
| 47 | by 0x........: main (tc20_verifywrap.c:108) |
bart | af3a8ea | 2008-02-29 19:37:03 +0000 | [diff] [blame] | 48 | |
bart | c0267ef | 2008-03-24 19:37:42 +0000 | [diff] [blame] | 49 | The object at address 0x........ is not a mutex. |
bart | 2cb588d | 2008-03-11 18:29:35 +0000 | [diff] [blame] | 50 | at 0x........: pthread_mutex_unlock (drd_pthread_intercepts.c:?) |
bart | 635cb16 | 2008-02-28 08:30:43 +0000 | [diff] [blame] | 51 | by 0x........: main (tc20_verifywrap.c:125) |
bart | 391d9dc | 2008-07-03 10:57:30 +0000 | [diff] [blame] | 52 | mutex 0x........ was first observed at: |
| 53 | at 0x........: pthread_mutex_lock (drd_pthread_intercepts.c:?) |
| 54 | by 0x........: main (tc20_verifywrap.c:108) |
bart | 635cb16 | 2008-02-28 08:30:43 +0000 | [diff] [blame] | 55 | |
bart | 60389da | 2008-02-25 19:58:25 +0000 | [diff] [blame] | 56 | ---------------- pthread_cond_wait et al ---------------- |
| 57 | |
| 58 | |
bart | 777f7fe | 2008-03-02 17:43:18 +0000 | [diff] [blame] | 59 | Mutex not locked: mutex 0x........, recursion count 0, owner 0. |
bart | 2cb588d | 2008-03-11 18:29:35 +0000 | [diff] [blame] | 60 | at 0x........: pthread_cond_wait* (drd_pthread_intercepts.c:?) |
bart | 60389da | 2008-02-25 19:58:25 +0000 | [diff] [blame] | 61 | by 0x........: main (tc20_verifywrap.c:147) |
bart | 391d9dc | 2008-07-03 10:57:30 +0000 | [diff] [blame] | 62 | mutex 0x........ was first observed at: |
| 63 | at 0x........: pthread_mutex_init (drd_pthread_intercepts.c:?) |
| 64 | by 0x........: main (tc20_verifywrap.c:145) |
bart | 60389da | 2008-02-25 19:58:25 +0000 | [diff] [blame] | 65 | |
| 66 | FIXME: can't figure out how to verify wrap of pthread_cond_signal |
| 67 | |
| 68 | |
| 69 | FIXME: can't figure out how to verify wrap of pthread_broadcast_signal |
| 70 | |
| 71 | |
| 72 | ---------------- pthread_rwlock_* ---------------- |
| 73 | |
bart | 777f7fe | 2008-03-02 17:43:18 +0000 | [diff] [blame] | 74 | |
| 75 | Reader-writer lock not locked by calling thread: rwlock 0x......... |
bart | 2cb588d | 2008-03-11 18:29:35 +0000 | [diff] [blame] | 76 | at 0x........: pthread_rwlock_unlock* (drd_pthread_intercepts.c:?) |
bart | 777f7fe | 2008-03-02 17:43:18 +0000 | [diff] [blame] | 77 | by 0x........: main (tc20_verifywrap.c:179) |
bart | 391d9dc | 2008-07-03 10:57:30 +0000 | [diff] [blame] | 78 | rwlock 0x........ was first observed at: |
| 79 | at 0x........: pthread_rwlock_init* (drd_pthread_intercepts.c:?) |
| 80 | by 0x........: main (tc20_verifywrap.c:178) |
bart | 60389da | 2008-02-25 19:58:25 +0000 | [diff] [blame] | 81 | (1) no error on next line |
| 82 | (2) no error on next line |
| 83 | (3) ERROR on next line |
bart | 777f7fe | 2008-03-02 17:43:18 +0000 | [diff] [blame] | 84 | |
| 85 | Reader-writer lock not locked by calling thread: rwlock 0x......... |
bart | 2cb588d | 2008-03-11 18:29:35 +0000 | [diff] [blame] | 86 | at 0x........: pthread_rwlock_unlock* (drd_pthread_intercepts.c:?) |
bart | 777f7fe | 2008-03-02 17:43:18 +0000 | [diff] [blame] | 87 | by 0x........: main (tc20_verifywrap.c:196) |
bart | 391d9dc | 2008-07-03 10:57:30 +0000 | [diff] [blame] | 88 | rwlock 0x........ was first observed at: |
| 89 | at 0x........: pthread_rwlock_init* (drd_pthread_intercepts.c:?) |
| 90 | by 0x........: main (tc20_verifywrap.c:186) |
bart | 777f7fe | 2008-03-02 17:43:18 +0000 | [diff] [blame] | 91 | |
| 92 | Reader-writer lock reinitialization: rwlock 0x......... |
bart | 2cb588d | 2008-03-11 18:29:35 +0000 | [diff] [blame] | 93 | at 0x........: pthread_rwlock_init* (drd_pthread_intercepts.c:?) |
bart | 777f7fe | 2008-03-02 17:43:18 +0000 | [diff] [blame] | 94 | by 0x........: main (tc20_verifywrap.c:199) |
bart | 391d9dc | 2008-07-03 10:57:30 +0000 | [diff] [blame] | 95 | rwlock 0x........ was first observed at: |
| 96 | at 0x........: pthread_rwlock_init* (drd_pthread_intercepts.c:?) |
| 97 | by 0x........: main (tc20_verifywrap.c:186) |
bart | 60389da | 2008-02-25 19:58:25 +0000 | [diff] [blame] | 98 | (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 | |
bart | 777f7fe | 2008-03-02 17:43:18 +0000 | [diff] [blame] | 104 | Reader-writer lock not locked by calling thread: rwlock 0x......... |
bart | 2cb588d | 2008-03-11 18:29:35 +0000 | [diff] [blame] | 105 | at 0x........: pthread_rwlock_unlock* (drd_pthread_intercepts.c:?) |
bart | 777f7fe | 2008-03-02 17:43:18 +0000 | [diff] [blame] | 106 | by 0x........: main (tc20_verifywrap.c:212) |
bart | 391d9dc | 2008-07-03 10:57:30 +0000 | [diff] [blame] | 107 | rwlock 0x........ was first observed at: |
| 108 | at 0x........: pthread_rwlock_init* (drd_pthread_intercepts.c:?) |
| 109 | by 0x........: main (tc20_verifywrap.c:186) |
bart | 777f7fe | 2008-03-02 17:43:18 +0000 | [diff] [blame] | 110 | |
bart | 60389da | 2008-02-25 19:58:25 +0000 | [diff] [blame] | 111 | ---------------- sem_* ---------------- |
| 112 | |
| 113 | |
bart | d9e39ec | 2008-06-28 15:03:26 +0000 | [diff] [blame] | 114 | Semaphore reinitialization: semaphore 0x........ |
bart | b48b4c5 | 2008-07-03 12:29:16 +0000 | [diff] [blame] | 115 | at 0x........: sem_init* (drd_pthread_intercepts.c:?) |
| 116 | by 0x........: main (tc20_verifywrap.c:231) |
bart | 391d9dc | 2008-07-03 10:57:30 +0000 | [diff] [blame] | 117 | semaphore 0x........ was first observed at: |
| 118 | at 0x........: sem_init* (drd_pthread_intercepts.c:?) |
| 119 | by 0x........: main (tc20_verifywrap.c:228) |
bart | d9e39ec | 2008-06-28 15:03:26 +0000 | [diff] [blame] | 120 | |
bart | 60389da | 2008-02-25 19:58:25 +0000 | [diff] [blame] | 121 | FIXME: can't figure out how to verify wrap of sem_destroy |
| 122 | |
| 123 | |
bart | 777f7fe | 2008-03-02 17:43:18 +0000 | [diff] [blame] | 124 | Invalid semaphore: semaphore 0x........ |
bart | b48b4c5 | 2008-07-03 12:29:16 +0000 | [diff] [blame] | 125 | at 0x........: sem_wait* (drd_pthread_intercepts.c:?) |
| 126 | by 0x........: main (tc20_verifywrap.c:242) |
bart | 391d9dc | 2008-07-03 10:57:30 +0000 | [diff] [blame] | 127 | semaphore 0x........ was first observed at: |
| 128 | at 0x........: sem_init* (drd_pthread_intercepts.c:?) |
| 129 | by 0x........: main (tc20_verifywrap.c:228) |
bart | af3a8ea | 2008-02-29 19:37:03 +0000 | [diff] [blame] | 130 | |
bart | 60389da | 2008-02-25 19:58:25 +0000 | [diff] [blame] | 131 | FIXME: can't figure out how to verify wrap of sem_post |
| 132 | |
| 133 | |
| 134 | ------------ dealloc of mem holding locks ------------ |
| 135 | |
| 136 | |
bart | 777f7fe | 2008-03-02 17:43:18 +0000 | [diff] [blame] | 137 | Destroying locked rwlock: rwlock 0x......... |
| 138 | at 0x........: main (tc20_verifywrap.c:262) |
| 139 | |
bart | 282dad1 | 2008-03-30 08:44:02 +0000 | [diff] [blame] | 140 | Destroying locked mutex: mutex 0x........, recursion count 1, owner 1. |
| 141 | at 0x........: main (tc20_verifywrap.c:262) |
| 142 | |
bart | d9e39ec | 2008-06-28 15:03:26 +0000 | [diff] [blame] | 143 | ERROR SUMMARY: 16 errors from 16 contexts (suppressed: 0 from 0) |