compiler-rt/test/tsan/cond_race.cpp

   1 // RUN: %clangxx_tsan -O1 %s -o %t && %deflake %run %t | FileCheck %s
   2 // CHECK-NOT: unlock of unlocked mutex
   3 // CHECK: ThreadSanitizer: data race
   4 // CHECK: pthread_cond_signal
   5
   6 #include "test.h"
   7
   8 struct Ctx {
   9   pthread_mutex_t m;
  10   pthread_cond_t c;
  11   bool done;
  12 };
  13
  14 void *thr(void *p) {
  15   Ctx *c = (Ctx*)p;
  16   pthread_mutex_lock(&c->m);
  17   c->done = true;
  18   pthread_mutex_unlock(&c->m);
  19   pthread_cond_signal(&c->c);
  20   barrier_wait(&barrier);
  21   return 0;
  22 }
  23
  24 int main() {
  25   barrier_init(&barrier, 2);
  26   Ctx *c = new Ctx();
  27   pthread_mutex_init(&c->m, 0);
  28   pthread_cond_init(&c->c, 0);
  29   pthread_t th;
  30   pthread_create(&th, 0, thr, c);
  31   pthread_mutex_lock(&c->m);
  32   while (!c->done)
  33     pthread_cond_wait(&c->c, &c->m);
  34   pthread_mutex_unlock(&c->m);
  35   // otherwise it can be reported as use-after-free
  36   barrier_wait(&barrier);
  37   delete c;
  38   pthread_join(th, 0);
  39 }