1  /* { dg-shouldfail "tsan" } */
       2  /* { dg-additional-options "-ldl" } */
       3  
       4  #include <pthread.h>
       5  #include "tsan_barrier.h"
       6  
       7  static pthread_barrier_t barrier;
       8  int Global;
       9  
      10  void *Thread1(void *x) {
      11    barrier_wait(&barrier);
      12    Global = 42;
      13    return x;
      14  }
      15  
      16  int main() {
      17    barrier_init(&barrier, 2);
      18    pthread_t t;
      19    pthread_create(&t, 0, Thread1, 0);
      20    Global = 43;
      21    barrier_wait(&barrier);
      22    pthread_join(t, 0);
      23    return Global;
      24  }
      25  
      26  /* { dg-output "WARNING: ThreadSanitizer: data race.*(\n|\r\n|\r)" } */