| |
| Attempt to use a user-defined rwlock as a POSIX rwlock: rwlock 0x......... |
| at 0x........: pthread_rwlock_init (drd_pthread_intercepts.c:?) |
| by 0x........: main (rwlock_type_checking.c:?) |
| rwlock 0x........ was first observed at: |
| at 0x........: main (rwlock_type_checking.c:?) |
| |
| Attempt to use a POSIX rwlock as a user-defined rwlock: rwlock 0x......... |
| at 0x........: main (rwlock_type_checking.c:?) |
| rwlock 0x........ was first observed at: |
| at 0x........: pthread_rwlock_init (drd_pthread_intercepts.c:?) |
| by 0x........: main (rwlock_type_checking.c:?) |
| |
| Finished. |
| |
| ERROR SUMMARY: 4 errors from 2 contexts (suppressed: 0 from 0) |
