test/tsan/vptr_benign_race.cc

   1 // RUN: %clangxx_tsan -O1 %s -o %t && %run %t 2>&1 | FileCheck %s
   2 #include <pthread.h>
   3 #include <stdio.h>
   4
   5 struct A {
   6   A() {
   7     pthread_mutex_init(&m, 0);
   8     pthread_cond_init(&c, 0);
   9     signaled = false;
  10   }
  11   virtual void F() {
  12   }
  13   void Done() {
  14     pthread_mutex_lock(&m);
  15     signaled = true;
  16     pthread_cond_signal(&c);
  17     pthread_mutex_unlock(&m);
  18   }
  19   virtual ~A() {
  20   }
  21   pthread_mutex_t m;
  22   pthread_cond_t c;
  23   bool signaled;
  24 };
  25
  26 struct B : A {
  27   virtual void F() {
  28   }
  29   virtual ~B() {
  30     pthread_mutex_lock(&m);
  31     while (!signaled)
  32       pthread_cond_wait(&c, &m);
  33     pthread_mutex_unlock(&m);
  34   }
  35 };
  36
  37 static A *obj = new B;
  38
  39 void *Thread1(void *x) {
  40   obj->F();
  41   obj->Done();
  42   return NULL;
  43 }
  44
  45 void *Thread2(void *x) {
  46   delete obj;
  47   return NULL;
  48 }
  49
  50 int main() {
  51   pthread_t t[2];
  52   pthread_create(&t[0], NULL, Thread1, NULL);
  53   pthread_create(&t[1], NULL, Thread2, NULL);
  54   pthread_join(t[0], NULL);
  55   pthread_join(t[1], NULL);
  56   fprintf(stderr, "PASS\n");
  57 }
  58 // CHECK: PASS
  59 // CHECK-NOT: WARNING: ThreadSanitizer: data race