1bcaeed49SFangrui Song // RUN: %clangxx_tsan -O1 %s -o %t && %deflake %run %t | FileCheck %s
2bcaeed49SFangrui Song #include "test.h"
3bcaeed49SFangrui Song
4bcaeed49SFangrui Song int Global;
5bcaeed49SFangrui Song
Thread1(void * x)6bcaeed49SFangrui Song void *Thread1(void *x) {
7bcaeed49SFangrui Song barrier_wait(&barrier);
8bcaeed49SFangrui Song __atomic_fetch_add(&Global, 1, __ATOMIC_RELAXED);
9bcaeed49SFangrui Song return NULL;
10bcaeed49SFangrui Song }
11bcaeed49SFangrui Song
Thread2(void * x)12bcaeed49SFangrui Song void *Thread2(void *x) {
13bcaeed49SFangrui Song Global++;
14bcaeed49SFangrui Song barrier_wait(&barrier);
15bcaeed49SFangrui Song return NULL;
16bcaeed49SFangrui Song }
17bcaeed49SFangrui Song
main()18bcaeed49SFangrui Song int main() {
19bcaeed49SFangrui Song barrier_init(&barrier, 2);
20bcaeed49SFangrui Song pthread_t t[2];
21bcaeed49SFangrui Song pthread_create(&t[0], NULL, Thread1, NULL);
22bcaeed49SFangrui Song pthread_create(&t[1], NULL, Thread2, NULL);
23bcaeed49SFangrui Song pthread_join(t[0], NULL);
24bcaeed49SFangrui Song pthread_join(t[1], NULL);
25bcaeed49SFangrui Song }
26bcaeed49SFangrui Song
27bcaeed49SFangrui Song // CHECK: WARNING: ThreadSanitizer: data race
28bcaeed49SFangrui Song // CHECK: Atomic write of size 4
29*da7a5c09SDmitry Vyukov // CHECK: #0 Thread1
30