]>
Commit | Line | Data |
---|---|---|
1a4d82fc JJ |
1 | // RUN: %clangxx_tsan -O1 %s -o %t && %run %t 2>&1 | FileCheck %s |
2 | #include <pthread.h> | |
3 | #include <stdlib.h> | |
4 | #include <stdio.h> | |
5 | #include <unistd.h> | |
6 | #include <errno.h> | |
7 | ||
8 | pthread_mutex_t m; | |
9 | ||
10 | void *thr(void *p) { | |
11 | pthread_mutex_lock(&m); | |
12 | return 0; | |
13 | } | |
14 | ||
15 | int main() { | |
16 | pthread_mutexattr_t a; | |
17 | pthread_mutexattr_init(&a); | |
18 | pthread_mutexattr_setrobust(&a, PTHREAD_MUTEX_ROBUST); | |
19 | pthread_mutex_init(&m, &a); | |
20 | pthread_t th; | |
21 | pthread_create(&th, 0, thr, 0); | |
22 | sleep(1); | |
23 | if (pthread_mutex_lock(&m) != EOWNERDEAD) { | |
24 | fprintf(stderr, "not EOWNERDEAD\n"); | |
25 | exit(1); | |
26 | } | |
27 | pthread_join(th, 0); | |
28 | fprintf(stderr, "DONE\n"); | |
29 | } | |
30 | ||
31 | // This is a correct code, and tsan must not bark. | |
32 | // CHECK-NOT: WARNING: ThreadSanitizer | |
33 | // CHECK-NOT: EOWNERDEAD | |
34 | // CHECK: DONE | |
35 | // CHECK-NOT: WARNING: ThreadSanitizer | |
36 |