gcc/testsuite/c-c++-common/tsan/race_on_mutex2.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
   9 void *Thread(void *x) {
  10   pthread_mutex_lock((pthread_mutex_t*)x);
  11   pthread_mutex_unlock((pthread_mutex_t*)x);
  12   barrier_wait(&barrier);
  13   return 0;
  14 }
  15
  16 int main() {
  17   barrier_init(&barrier, 2);
  18   pthread_mutex_t Mtx;
  19   pthread_mutex_init(&Mtx, 0);
  20   pthread_t t;
  21   pthread_create(&t, 0, Thread, &Mtx);
  22   barrier_wait(&barrier);
  23   pthread_mutex_destroy(&Mtx);
  24   pthread_join(t, 0);
  25   return 0;
  26 }
  27
  28 /* { dg-output "WARNING: ThreadSanitizer: data race.*(\n|\r\n|\r)" } */