1 // RUN: %clangxx_msan %s -O0 -fsanitize=memory -fsanitize-memory-use-after-dtor -o %t && MSAN_OPTIONS=poison_in_dtor=1 %run %t 2 3 // RUN: %clangxx_msan %s -O1 -fsanitize=memory -fsanitize-memory-use-after-dtor -o %t && MSAN_OPTIONS=poison_in_dtor=1 %run %t 4 5 // RUN: %clangxx_msan %s -O2 -fsanitize=memory -fsanitize-memory-use-after-dtor -o %t && MSAN_OPTIONS=poison_in_dtor=1 %run %t 6 7 // RUN: %clangxx_msan %s -DCVPTR=1 -O2 -fsanitize=memory -fsanitize-memory-use-after-dtor -o %t && MSAN_OPTIONS=poison_in_dtor=1 not %run %t 8 9 // RUN: %clangxx_msan %s -DEAVPTR=1 -O2 -fsanitize=memory -fsanitize-memory-use-after-dtor -o %t && MSAN_OPTIONS=poison_in_dtor=1 not %run %t 10 11 // RUN: %clangxx_msan %s -DEDVPTR=1 -O2 -fsanitize=memory -fsanitize-memory-use-after-dtor -o %t && MSAN_OPTIONS=poison_in_dtor=1 not %run %t 12 13 // Expected to quit due to invalid access when invoking 14 // function using vtable. 15 16 class A { 17 public: 18 int x; 19 virtual ~A() { 20 // Should succeed 21 this->A_Foo(); 22 } 23 virtual void A_Foo() {} 24 }; 25 26 class B : public virtual A { 27 public: 28 int y; 29 virtual ~B() {} 30 virtual void A_Foo() {} 31 }; 32 33 class C : public B { 34 public: 35 int z; 36 ~C() {} 37 }; 38 39 class D { 40 public: 41 int w; 42 ~D() {} 43 virtual void D_Foo() {} 44 }; 45 46 class E : public virtual A, public virtual D { 47 public: 48 int u; 49 ~E() {} 50 void A_Foo() {} 51 }; 52 53 int main() { 54 // Simple linear inheritance 55 C *c = new C(); 56 c->~C(); 57 // This fails 58 #ifdef CVPTR 59 c->A_Foo(); 60 #endif 61 62 // Multiple inheritance, so has multiple vtables 63 E *e = new E(); 64 e->~E(); 65 // Both of these fail 66 #ifdef EAVPTR 67 e->A_Foo(); 68 #endif 69 #ifdef EDVPTR 70 e->D_Foo(); 71 #endif 72 } 73
