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;
28
29void *Thread1(void *x) {
30 obj->F();
31 barrier_wait(barrier: &barrier);
32 obj->Done();
33 return NULL;
34}
35
36void *Thread2(void *x) {
37 barrier_wait(barrier: &barrier);
38 delete obj;
39 return NULL;
40}
41
42int main() {
43 barrier_init(barrier: &barrier, count: 2);
44 pthread_t t[2];
45 pthread_create(newthread: &t[0], NULL, start_routine: Thread1, NULL);
46 pthread_create(newthread: &t[1], NULL, start_routine: Thread2, NULL);
47 pthread_join(th: t[0], NULL);
48 pthread_join(th: t[1], NULL);
49}
50
51// CHECK: WARNING: ThreadSanitizer: data race on vptr
52

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