• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 // RUN: %clangxx_tsan -O1 %s -o %t && not %t 2>&1 | FileCheck %s
2 #include <pthread.h>
3 #include <semaphore.h>
4 #include <stdio.h>
5 #include <unistd.h>
6 
7 struct A {
AA8   A() {
9     sem_init(&sem_, 0, 0);
10   }
FA11   virtual void F() {
12   }
DoneA13   void Done() {
14     sem_post(&sem_);
15   }
~AA16   virtual ~A() {
17     sem_wait(&sem_);
18     sem_destroy(&sem_);
19   }
20   sem_t sem_;
21 };
22 
23 struct B : A {
FB24   virtual void F() {
25   }
~BB26   virtual ~B() { }
27 };
28 
29 static A *obj = new B;
30 
Thread1(void * x)31 void *Thread1(void *x) {
32   obj->F();
33   obj->Done();
34   return NULL;
35 }
36 
Thread2(void * x)37 void *Thread2(void *x) {
38   sleep(1);
39   delete obj;
40   return NULL;
41 }
42 
main()43 int main() {
44   pthread_t t[2];
45   pthread_create(&t[0], NULL, Thread1, NULL);
46   pthread_create(&t[1], NULL, Thread2, NULL);
47   pthread_join(t[0], NULL);
48   pthread_join(t[1], NULL);
49 }
50 
51 // CHECK: WARNING: ThreadSanitizer: data race on vptr
52