1// RUN: %clang_tsan -O1 %s -o %t && %deflake %run %t | FileCheck %s 2#include <pthread.h> 3#include <stdio.h> 4#include <stddef.h> 5#include <unistd.h> 6 7pthread_barrier_t B; 8int Global; 9 10void *Thread1(void *x) { 11 pthread_barrier_init(&B, 0, 2); 12 pthread_barrier_wait(&B); 13 return NULL; 14} 15 16void *Thread2(void *x) { 17 sleep(1); 18 pthread_barrier_wait(&B); 19 return NULL; 20} 21 22int main() { 23 pthread_t t; 24 pthread_create(&t, NULL, Thread1, NULL); 25 Thread2(0); 26 pthread_join(t, NULL); 27 pthread_barrier_destroy(&B); 28 return 0; 29} 30 31// CHECK: WARNING: ThreadSanitizer: data race 32