1*1d4d2cceSDmitry Vyukov // RUN: %clangxx_tsan -O1 %s -o %t && %env_tsan_opts=print_full_thread_history=true %deflake %run %t 2>&1 | FileCheck %s
2*1d4d2cceSDmitry Vyukov
3*1d4d2cceSDmitry Vyukov #include "test.h"
4*1d4d2cceSDmitry Vyukov
5*1d4d2cceSDmitry Vyukov int Global;
6*1d4d2cceSDmitry Vyukov
Thread2(void * x)7*1d4d2cceSDmitry Vyukov void *Thread2(void *x) {
8*1d4d2cceSDmitry Vyukov barrier_wait(&barrier);
9*1d4d2cceSDmitry Vyukov Global++;
10*1d4d2cceSDmitry Vyukov return NULL;
11*1d4d2cceSDmitry Vyukov }
12*1d4d2cceSDmitry Vyukov
Thread3(void * x)13*1d4d2cceSDmitry Vyukov void *Thread3(void *x) {
14*1d4d2cceSDmitry Vyukov Global--;
15*1d4d2cceSDmitry Vyukov barrier_wait(&barrier);
16*1d4d2cceSDmitry Vyukov return NULL;
17*1d4d2cceSDmitry Vyukov }
18*1d4d2cceSDmitry Vyukov
Thread1(void * x)19*1d4d2cceSDmitry Vyukov void *Thread1(void *x) {
20*1d4d2cceSDmitry Vyukov pthread_t t[2];
21*1d4d2cceSDmitry Vyukov pthread_create(&t[0], NULL, Thread2, NULL);
22*1d4d2cceSDmitry Vyukov pthread_create(&t[1], NULL, Thread3, NULL);
23*1d4d2cceSDmitry Vyukov pthread_join(t[0], NULL);
24*1d4d2cceSDmitry Vyukov pthread_join(t[1], NULL);
25*1d4d2cceSDmitry Vyukov return NULL;
26*1d4d2cceSDmitry Vyukov }
27*1d4d2cceSDmitry Vyukov
main()28*1d4d2cceSDmitry Vyukov int main() {
29*1d4d2cceSDmitry Vyukov barrier_init(&barrier, 2);
30*1d4d2cceSDmitry Vyukov pthread_t t;
31*1d4d2cceSDmitry Vyukov pthread_create(&t, NULL, Thread1, NULL);
32*1d4d2cceSDmitry Vyukov pthread_join(t, NULL);
33*1d4d2cceSDmitry Vyukov return 0;
34*1d4d2cceSDmitry Vyukov }
35*1d4d2cceSDmitry Vyukov
36*1d4d2cceSDmitry Vyukov // CHECK: WARNING: ThreadSanitizer: data race
37*1d4d2cceSDmitry Vyukov // CHECK: Thread T2 {{.*}} created by thread T1 at
38*1d4d2cceSDmitry Vyukov // CHECK: Thread T3 {{.*}} created by thread T1 at:
39*1d4d2cceSDmitry Vyukov // CHECK: Thread T1 {{.*}} created by main thread at:
40*1d4d2cceSDmitry Vyukov // CHECK: SUMMARY: ThreadSanitizer: data race{{.*}}
41