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