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