]>
Commit | Line | Data |
---|---|---|
1 | // RUN: %clangxx_tsan -O1 %s -o %t && %deflake %run %t | FileCheck %s | |
2 | #include "test.h" | |
3 | ||
4 | int Global; | |
5 | ||
6 | void *Thread1(void *x) { | |
7 | barrier_wait(&barrier); | |
8 | __atomic_fetch_add(&Global, 1, __ATOMIC_RELAXED); | |
9 | return NULL; | |
10 | } | |
11 | ||
12 | void *Thread2(void *x) { | |
13 | Global++; | |
14 | barrier_wait(&barrier); | |
15 | return NULL; | |
16 | } | |
17 | ||
18 | int main() { | |
19 | barrier_init(&barrier, 2); | |
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); | |
25 | } | |
26 | ||
27 | // CHECK: WARNING: ThreadSanitizer: data race | |
28 | // CHECK: Atomic write of size 4 | |
29 | // CHECK: #0 __tsan_atomic32_fetch_add | |
30 | // CHECK: #1 Thread1 |