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 60
