]>
Commit | Line | Data |
---|---|---|
92a42be0 SL |
1 | // RUN: %clangxx_tsan -O1 %s -o %t && %deflake %run %t | FileCheck %s |
2 | #include "test.h" | |
1a4d82fc JJ |
3 | |
4 | int fds[2]; | |
5 | ||
6 | void *Thread1(void *x) { | |
7 | write(fds[1], "a", 1); | |
92a42be0 | 8 | barrier_wait(&barrier); |
1a4d82fc JJ |
9 | return NULL; |
10 | } | |
11 | ||
12 | void *Thread2(void *x) { | |
92a42be0 | 13 | barrier_wait(&barrier); |
1a4d82fc JJ |
14 | close(fds[0]); |
15 | close(fds[1]); | |
16 | return NULL; | |
17 | } | |
18 | ||
19 | int main() { | |
92a42be0 | 20 | barrier_init(&barrier, 2); |
1a4d82fc JJ |
21 | pipe(fds); |
22 | pthread_t t[2]; | |
23 | pthread_create(&t[0], NULL, Thread1, NULL); | |
24 | pthread_create(&t[1], NULL, Thread2, NULL); | |
25 | pthread_join(t[0], NULL); | |
26 | pthread_join(t[1], NULL); | |
27 | } | |
28 | ||
29 | // CHECK: WARNING: ThreadSanitizer: data race | |
30 | // CHECK: Location is file descriptor {{[0-9]+}} created by main thread at: | |
31 | // CHECK: #0 pipe | |
32 | // CHECK: #1 main | |
33 |