1 // RUN: %clangxx_tsan -O1 %s -o %t && %deflake %run %t | FileCheck %s
2 #include "test.h"
3 #include <semaphore.h>
4
5 struct A {
AA6 A() {
7 sem_init(&sem_, 0, 0);
8 }
FA9 virtual void F() {
10 }
DoneA11 void Done() {
12 sem_post(&sem_);
13 }
~AA14 virtual ~A() {
15 sem_wait(&sem_);
16 sem_destroy(&sem_);
17 }
18 sem_t sem_;
19 };
20
21 struct B : A {
FB22 virtual void F() {
23 }
~BB24 virtual ~B() { }
25 };
26
27 static A *obj = new B;
28 static void (A::*fn)() = &A::F;
29
Thread1(void * x)30 void *Thread1(void *x) {
31 (obj->*fn)();
32 barrier_wait(&barrier);
33 obj->Done();
34 return NULL;
35 }
36
Thread2(void * x)37 void *Thread2(void *x) {
38 barrier_wait(&barrier);
39 delete obj;
40 return NULL;
41 }
42
main()43 int main() {
44 barrier_init(&barrier, 2);
45 pthread_t t[2];
46 pthread_create(&t[0], NULL, Thread1, NULL);
47 pthread_create(&t[1], NULL, Thread2, NULL);
48 pthread_join(t[0], NULL);
49 pthread_join(t[1], NULL);
50 }
51
52 // CHECK: WARNING: ThreadSanitizer: data race on vptr
53
54