1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
|
// 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
// 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
// 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
#include <sanitizer/msan_interface.h>
#include <assert.h>
template <class T> class Vector {
public:
int size;
~Vector() {
assert(__msan_test_shadow(&this->size, sizeof(this->size)) == -1);
}
};
struct VirtualBase {
public:
Vector<int> virtual_v;
int virtual_a;
// Pointer to subclass member
int *intermediate_a_ptr;
VirtualBase() {
virtual_v.size = 1;
virtual_a = 9;
}
void set_ptr(int *intermediate_a) {
this->intermediate_a_ptr = intermediate_a;
}
virtual ~VirtualBase() {
assert(__msan_test_shadow(&virtual_v, sizeof(virtual_v)) == -1);
assert(__msan_test_shadow(&virtual_a, sizeof(virtual_a)) == -1);
// Derived class member is poisoned
assert(__msan_test_shadow(intermediate_a_ptr,
sizeof(*intermediate_a_ptr)) != -1);
}
};
struct Intermediate : virtual public VirtualBase {
public:
int intermediate_a;
Intermediate() { intermediate_a = 5; }
virtual ~Intermediate() {
assert(__msan_test_shadow(&this->intermediate_a,
sizeof(this->intermediate_a)) == -1);
// Members inherited from VirtualBase unpoisoned
assert(__msan_test_shadow(&virtual_v, sizeof(virtual_v)) == -1);
assert(__msan_test_shadow(&virtual_a, sizeof(virtual_a)) == -1);
assert(__msan_test_shadow(intermediate_a_ptr,
sizeof(*intermediate_a_ptr)) == -1);
}
};
struct Base {
int base_a;
Vector<int> base_v;
double base_b;
// Pointers to subclass members
int *derived_a_ptr;
Vector<int> *derived_v1_ptr;
Vector<int> *derived_v2_ptr;
double *derived_b_ptr;
double *derived_c_ptr;
Base(int *derived_a, Vector<int> *derived_v1, Vector<int> *derived_v2,
double *derived_b, double *derived_c) {
base_a = 2;
base_v.size = 1;
base_b = 13.2324;
derived_a_ptr = derived_a;
derived_v1_ptr = derived_v1;
derived_v2_ptr = derived_v2;
derived_b_ptr = derived_b;
derived_c_ptr = derived_c;
}
virtual ~Base() {
assert(__msan_test_shadow(&base_a, sizeof(base_a)) == -1);
assert(__msan_test_shadow(&base_v, sizeof(base_v)) == -1);
assert(__msan_test_shadow(&base_b, sizeof(base_b)) == -1);
// Derived class members are poisoned
assert(__msan_test_shadow(derived_a_ptr, sizeof(*derived_a_ptr)) != -1);
assert(__msan_test_shadow(derived_v1_ptr, sizeof(*derived_v1_ptr)) != -1);
assert(__msan_test_shadow(derived_v2_ptr, sizeof(*derived_v2_ptr)) != -1);
assert(__msan_test_shadow(derived_b_ptr, sizeof(*derived_b_ptr)) != -1);
assert(__msan_test_shadow(derived_c_ptr, sizeof(*derived_c_ptr)) != -1);
}
};
struct Derived : public Base, public Intermediate {
int derived_a;
Vector<int> derived_v1;
Vector<int> derived_v2;
double derived_b;
double derived_c;
Derived()
: Base(&derived_a, &derived_v1, &derived_v2, &derived_b, &derived_c) {
derived_a = 5;
derived_v1.size = 1;
derived_v2.size = 1;
derived_b = 7;
derived_c = 10;
}
~Derived() {
assert(__msan_test_shadow(&derived_a, sizeof(derived_a)) == -1);
assert(__msan_test_shadow(&derived_v1, sizeof(derived_v1)) == -1);
assert(__msan_test_shadow(&derived_v2, sizeof(derived_v2)) == -1);
assert(__msan_test_shadow(&derived_b, sizeof(derived_b)) == -1);
assert(__msan_test_shadow(&derived_c, sizeof(derived_c)) == -1);
}
};
int main() {
Derived *d = new Derived();
d->set_ptr(&d->intermediate_a);
// Keep track of members of VirtualBase, since the virtual base table
// is inaccessible after destruction
Vector<int> *temp_virtual_v = &d->virtual_v;
int *temp_virtual_a = &d->virtual_a;
int **temp_intermediate_a_ptr = &d->intermediate_a_ptr;
d->~Derived();
assert(__msan_test_shadow(&d->derived_a, sizeof(d->derived_a)) != -1);
assert(__msan_test_shadow(&d->derived_v1, sizeof(d->derived_v1)) != -1);
assert(__msan_test_shadow(&d->derived_v2, sizeof(d->derived_v2)) != -1);
assert(__msan_test_shadow(&d->derived_b, sizeof(d->derived_b)) != -1);
assert(__msan_test_shadow(&d->derived_c, sizeof(d->derived_c)) != -1);
// Inherited from base
assert(__msan_test_shadow(&d->base_a, sizeof(d->base_a)) != -1);
assert(__msan_test_shadow(&d->base_v, sizeof(d->base_v)) != -1);
assert(__msan_test_shadow(&d->base_b, sizeof(d->base_b)) != -1);
assert(__msan_test_shadow(&d->derived_a_ptr, sizeof(d->derived_a_ptr)) != -1);
assert(__msan_test_shadow(&d->derived_v1_ptr, sizeof(d->derived_v1_ptr)) !=
-1);
assert(__msan_test_shadow(&d->derived_v2_ptr, sizeof(d->derived_v2_ptr)) !=
-1);
assert(__msan_test_shadow(&d->derived_b_ptr, sizeof(d->derived_b_ptr)) != -1);
assert(__msan_test_shadow(&d->derived_c_ptr, sizeof(d->derived_c_ptr)) != -1);
// Inherited from intermediate
assert(__msan_test_shadow(temp_virtual_v, sizeof(*temp_virtual_v)) != -1);
assert(__msan_test_shadow(temp_virtual_a, sizeof(*temp_virtual_a)) != -1);
assert(__msan_test_shadow(temp_intermediate_a_ptr,
sizeof(*temp_intermediate_a_ptr)) != -1);
return 0;
}
|
