]>
Commit | Line | Data |
---|---|---|
3157f602 | 1 | // RUN: %clang_tsan -O1 %s -o %t && %env_tsan_opts=suppressions='%s.supp' %run %t 2>&1 | FileCheck %s |
92a42be0 | 2 | #include "test.h" |
1a4d82fc JJ |
3 | |
4 | int Global; | |
5 | ||
6 | void *Thread1(void *x) { | |
92a42be0 | 7 | barrier_wait(&barrier); |
1a4d82fc JJ |
8 | Global = 42; |
9 | return NULL; | |
10 | } | |
11 | ||
12 | void *Thread2(void *x) { | |
13 | Global = 43; | |
92a42be0 | 14 | barrier_wait(&barrier); |
1a4d82fc JJ |
15 | return NULL; |
16 | } | |
17 | ||
18 | int main() { | |
92a42be0 | 19 | barrier_init(&barrier, 2); |
1a4d82fc JJ |
20 | pthread_t t[2]; |
21 | pthread_create(&t[0], NULL, Thread1, NULL); | |
22 | pthread_create(&t[1], NULL, Thread2, NULL); | |
23 | pthread_join(t[0], NULL); | |
24 | pthread_join(t[1], NULL); | |
5bcae85e | 25 | fprintf(stderr, "OK\n"); |
1a4d82fc JJ |
26 | return 0; |
27 | } | |
28 | ||
29 | // CHECK-NOT: failed to open suppressions file | |
30 | // CHECK-NOT: WARNING: ThreadSanitizer: data race | |
31 |