]>
Commit | Line | Data |
---|---|---|
92a42be0 | 1 | // RUN: %clangxx_tsan -O1 %s -o %t && %deflake %run %t | FileCheck %s |
1a4d82fc JJ |
2 | // CHECK-NOT: unlock of unlocked mutex |
3 | // CHECK: ThreadSanitizer: data race | |
4 | // CHECK: pthread_cond_signal | |
5 | ||
92a42be0 | 6 | #include "test.h" |
1a4d82fc JJ |
7 | |
8 | struct Ctx { | |
9 | pthread_mutex_t m; | |
10 | pthread_cond_t c; | |
11 | bool done; | |
12 | }; | |
13 | ||
14 | void *thr(void *p) { | |
15 | Ctx *c = (Ctx*)p; | |
16 | pthread_mutex_lock(&c->m); | |
17 | c->done = true; | |
18 | pthread_mutex_unlock(&c->m); | |
19 | pthread_cond_signal(&c->c); | |
92a42be0 | 20 | barrier_wait(&barrier); |
1a4d82fc JJ |
21 | return 0; |
22 | } | |
23 | ||
24 | int main() { | |
92a42be0 | 25 | barrier_init(&barrier, 2); |
1a4d82fc JJ |
26 | Ctx *c = new Ctx(); |
27 | pthread_mutex_init(&c->m, 0); | |
28 | pthread_cond_init(&c->c, 0); | |
29 | pthread_t th; | |
30 | pthread_create(&th, 0, thr, c); | |
31 | pthread_mutex_lock(&c->m); | |
32 | while (!c->done) | |
33 | pthread_cond_wait(&c->c, &c->m); | |
34 | pthread_mutex_unlock(&c->m); | |
92a42be0 SL |
35 | // otherwise it can be reported as use-after-free |
36 | barrier_wait(&barrier); | |
1a4d82fc JJ |
37 | delete c; |
38 | pthread_join(th, 0); | |
39 | } |