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;
~A()25 ~A() {}
A_Foo()26 virtual void A_Foo() {}
27 };
28
29 class B {
30 public:
31 int y;
~B()32 ~B() {}
B_Foo()33 virtual void B_Foo() {}
34 };
35
36 class C : public A, public B {
37 public:
38 int z;
~C()39 ~C() {}
C_Foo()40 virtual void C_Foo() {}
41 };
42
main()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