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

source code of compiler-rt/test/tsan/vptr_harmful_race3.cpp