]>
Commit | Line | Data |
---|---|---|
1a4d82fc JJ |
1 | // RUN: %clangxx_tsan -O1 %s -o %t && %run %t 2>&1 | FileCheck %s |
2 | #include <pthread.h> | |
1a4d82fc JJ |
3 | #include <stdio.h> |
4 | ||
5 | struct A { | |
6 | A() { | |
3157f602 XL |
7 | pthread_mutex_init(&m, 0); |
8 | pthread_cond_init(&c, 0); | |
9 | signaled = false; | |
1a4d82fc JJ |
10 | } |
11 | virtual void F() { | |
12 | } | |
13 | void Done() { | |
3157f602 XL |
14 | pthread_mutex_lock(&m); |
15 | signaled = true; | |
16 | pthread_cond_signal(&c); | |
17 | pthread_mutex_unlock(&m); | |
1a4d82fc JJ |
18 | } |
19 | virtual ~A() { | |
20 | } | |
3157f602 XL |
21 | pthread_mutex_t m; |
22 | pthread_cond_t c; | |
23 | bool signaled; | |
1a4d82fc JJ |
24 | }; |
25 | ||
26 | struct B : A { | |
27 | virtual void F() { | |
28 | } | |
29 | virtual ~B() { | |
3157f602 XL |
30 | pthread_mutex_lock(&m); |
31 | while (!signaled) | |
32 | pthread_cond_wait(&c, &m); | |
33 | pthread_mutex_unlock(&m); | |
1a4d82fc JJ |
34 | } |
35 | }; | |
36 | ||
37 | static A *obj = new B; | |
38 | ||
39 | void *Thread1(void *x) { | |
40 | obj->F(); | |
41 | obj->Done(); | |
42 | return NULL; | |
43 | } | |
44 | ||
45 | void *Thread2(void *x) { | |
46 | delete obj; | |
47 | return NULL; | |
48 | } | |
49 | ||
50 | int main() { | |
51 | pthread_t t[2]; | |
52 | pthread_create(&t[0], NULL, Thread1, NULL); | |
53 | pthread_create(&t[1], NULL, Thread2, NULL); | |
54 | pthread_join(t[0], NULL); | |
55 | pthread_join(t[1], NULL); | |
56 | fprintf(stderr, "PASS\n"); | |
57 | } | |
58 | // CHECK: PASS | |
59 | // CHECK-NOT: WARNING: ThreadSanitizer: data race |