|
150
|
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
|
