gcc/testsuite/c-c++-common/tsan/race_on_barrier.c

   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 pthread_barrier_t B;
   9 int Global;
  10
  11 void *Thread1(void *x) {
  12   pthread_barrier_init(&B, 0, 2);
  13   barrier_wait(&barrier);
  14   pthread_barrier_wait(&B);
  15   return NULL;
  16 }
  17
  18 void *Thread2(void *x) {
  19   barrier_wait(&barrier);
  20   pthread_barrier_wait(&B);
  21   return NULL;
  22 }
  23
  24 int main() {
  25   barrier_init(&barrier, 2);
  26   pthread_t t;
  27   pthread_create(&t, NULL, Thread1, NULL);
  28   Thread2(0);
  29   pthread_join(t, NULL);
  30   pthread_barrier_destroy(&B);
  31   return 0;
  32 }
  33
  34 /* { dg-output "WARNING: ThreadSanitizer: data race.*(\n|\r\n|\r)" } */