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 -DVPTRA=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 -DVPTRCA=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 -DVPTRCB=1 -O2 -fsanitize=memory -fsanitize-memory-use-after-dtor -o %t && MSAN_OPTIONS=poison_in_dtor=1 not %run %t 12 13 // RUN: %clangxx_msan %s -DVPTRC=1 -O2 -fsanitize=memory -fsanitize-memory-use-after-dtor -o %t && MSAN_OPTIONS=poison_in_dtor=1 not %run %t 14 15 // Expected to quit due to invalid access when invoking 16 // function using vtable. 17 18 #include <sanitizer/msan_interface.h> 19 #include <stdio.h> 20 #include <assert.h> 21 22 class A { 23 public: 24 int x; 25 ~A() {} 26 virtual void A_Foo() {} 27 }; 28 29 class B { 30 public: 31 int y; 32 ~B() {} 33 virtual void B_Foo() {} 34 }; 35 36 class C : public A, public B { 37 public: 38 int z; 39 ~C() {} 40 virtual void C_Foo() {} 41 }; 42 43 int main() { 44 A *a = new A(); 45 a->~A(); 46 47 // Shouldn't be allowed to invoke function via vtable. 48 #ifdef VPTRA 49 a->A_Foo(); 50 #endif 51 52 C *c = new C(); 53 c->~C(); 54 55 #ifdef VPTRCA 56 c->A_Foo(); 57 #endif 58 59 #ifdef VPTRCB 60 c->B_Foo(); 61 #endif 62 63 #ifdef VPTRC 64 c->C_Foo(); 65 #endif 66 67 return 0; 68 } 69
