1*bcaeed49SFangrui Song // RUN: %clangxx_tsan -O1 %s -o %t -DORDER1 && %deflake %run %t | FileCheck %s 2*bcaeed49SFangrui Song // RUN: %clangxx_tsan -O1 %s -o %t -DORDER2 && %deflake %run %t | FileCheck %s 3*bcaeed49SFangrui Song #include "test.h" 4*bcaeed49SFangrui Song 5*bcaeed49SFangrui Song volatile int X; 6*bcaeed49SFangrui Song volatile int N; 7*bcaeed49SFangrui Song void (*volatile F)(); 8*bcaeed49SFangrui Song 9*bcaeed49SFangrui Song static void foo() { 10*bcaeed49SFangrui Song if (--N == 0) 11*bcaeed49SFangrui Song X = 42; 12*bcaeed49SFangrui Song else 13*bcaeed49SFangrui Song F(); 14*bcaeed49SFangrui Song } 15*bcaeed49SFangrui Song 16*bcaeed49SFangrui Song void *Thread(void *p) { 17*bcaeed49SFangrui Song #ifdef ORDER1 18*bcaeed49SFangrui Song barrier_wait(&barrier); 19*bcaeed49SFangrui Song #endif 20*bcaeed49SFangrui Song F(); 21*bcaeed49SFangrui Song #ifdef ORDER2 22*bcaeed49SFangrui Song barrier_wait(&barrier); 23*bcaeed49SFangrui Song #endif 24*bcaeed49SFangrui Song return 0; 25*bcaeed49SFangrui Song } 26*bcaeed49SFangrui Song 27*bcaeed49SFangrui Song static size_t RoundUp(size_t n, size_t to) { 28*bcaeed49SFangrui Song return ((n + to - 1) / to) * to; 29*bcaeed49SFangrui Song } 30*bcaeed49SFangrui Song 31*bcaeed49SFangrui Song int main() { 32*bcaeed49SFangrui Song barrier_init(&barrier, 2); 33*bcaeed49SFangrui Song N = 50000; 34*bcaeed49SFangrui Song F = foo; 35*bcaeed49SFangrui Song pthread_t t; 36*bcaeed49SFangrui Song pthread_attr_t a; 37*bcaeed49SFangrui Song pthread_attr_init(&a); 38*bcaeed49SFangrui Song size_t stack_size = N * 256 + (1 << 20); 39*bcaeed49SFangrui Song stack_size = RoundUp(stack_size, 0x10000); // round the stack size to 64k 40*bcaeed49SFangrui Song int ret = pthread_attr_setstacksize(&a, stack_size); 41*bcaeed49SFangrui Song if (ret) abort(); 42*bcaeed49SFangrui Song pthread_create(&t, &a, Thread, 0); 43*bcaeed49SFangrui Song #ifdef ORDER2 44*bcaeed49SFangrui Song barrier_wait(&barrier); 45*bcaeed49SFangrui Song #endif 46*bcaeed49SFangrui Song X = 43; 47*bcaeed49SFangrui Song #ifdef ORDER1 48*bcaeed49SFangrui Song barrier_wait(&barrier); 49*bcaeed49SFangrui Song #endif 50*bcaeed49SFangrui Song 51*bcaeed49SFangrui Song pthread_join(t, 0); 52*bcaeed49SFangrui Song } 53*bcaeed49SFangrui Song 54*bcaeed49SFangrui Song // CHECK: WARNING: ThreadSanitizer: data race 55*bcaeed49SFangrui Song // CHECK: #100 foo 56*bcaeed49SFangrui Song // We must output suffucuently large stack (at least 100 frames) 57*bcaeed49SFangrui Song 58