1 // RUN: %clangxx_msan %s -O0 -fsanitize=memory -fsanitize-memory-use-after-dtor -o %t && MSAN_OPTIONS=poison_in_dtor=1 %run %t >%t.out 2>&1
2
3 // RUN: %clangxx_msan %s -O1 -fsanitize=memory -fsanitize-memory-use-after-dtor -o %t && MSAN_OPTIONS=poison_in_dtor=1 %run %t >%t.out 2>&1
4
5 // RUN: %clangxx_msan %s -O2 -fsanitize=memory -fsanitize-memory-use-after-dtor -o %t && MSAN_OPTIONS=poison_in_dtor=1 %run %t >%t.out 2>&1
6
7 #include <sanitizer/msan_interface.h>
8 #include <assert.h>
9 #include <stdio.h>
10
11 template <class T>
12 class Vector {
13 public:
14 int size;
~Vector()15 ~Vector() {
16 printf("~V %p %lu\n", &size, sizeof(size));
17 assert(__msan_test_shadow(&this->size, sizeof(this->size)) == -1);
18 }
19 };
20
21 struct Derived {
22 int derived_a;
23 Vector<int> derived_v1;
24 Vector<int> derived_v2;
25 double derived_b;
26 double derived_c;
DerivedDerived27 Derived() {
28 derived_a = 5;
29 derived_v1.size = 1;
30 derived_v2.size = 1;
31 derived_b = 7;
32 derived_c = 10;
33 }
~DerivedDerived34 ~Derived() {
35 printf("~D %p %p %p %lu\n", &derived_a, &derived_v1, &derived_c, sizeof(*this));
36 assert(__msan_test_shadow(&derived_a, sizeof(derived_a)) == -1);
37 assert(__msan_test_shadow(&derived_v1, sizeof(derived_v1)) == -1);
38 assert(__msan_test_shadow(&derived_v2, sizeof(derived_v2)) == -1);
39 assert(__msan_test_shadow(&derived_b, sizeof(derived_b)) == -1);
40 assert(__msan_test_shadow(&derived_c, sizeof(derived_c)) == -1);
41 }
42 };
43
main()44 int main() {
45 Derived *d = new Derived();
46 d->~Derived();
47
48 assert(__msan_test_shadow(&d->derived_a, sizeof(d->derived_a)) != -1);
49 assert(__msan_test_shadow(&d->derived_v1, sizeof(d->derived_v1)) != -1);
50 assert(__msan_test_shadow(&d->derived_v2, sizeof(d->derived_v2)) != -1);
51 assert(__msan_test_shadow(&d->derived_b, sizeof(d->derived_b)) != -1);
52 assert(__msan_test_shadow(&d->derived_c, sizeof(d->derived_c)) != -1);
53
54 return 0;
55 }
56