|
150
|
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;
|
|
|
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;
|
|
|
27 Derived() {
|
|
|
28 derived_a = 5;
|
|
|
29 derived_v1.size = 1;
|
|
|
30 derived_v2.size = 1;
|
|
|
31 derived_b = 7;
|
|
|
32 derived_c = 10;
|
|
|
33 }
|
|
|
34 ~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
|
|
|
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 }
|
