forked from OSchip/llvm-project
71 lines
2.0 KiB
C++
71 lines
2.0 KiB
C++
// RUN: %clangxx_msan %s -O0 -fsanitize=memory -fsanitize-memory-use-after-dtor -o %t && %run %t >%t.out 2>&1
|
|
|
|
// RUN: %clangxx_msan %s -O1 -fsanitize=memory -fsanitize-memory-use-after-dtor -o %t && %run %t >%t.out 2>&1
|
|
|
|
// RUN: %clangxx_msan %s -O2 -fsanitize=memory -fsanitize-memory-use-after-dtor -o %t && %run %t >%t.out 2>&1
|
|
|
|
#include <sanitizer/msan_interface.h>
|
|
#include <assert.h>
|
|
|
|
class Base {
|
|
public:
|
|
int b;
|
|
Base() { b = 1; }
|
|
~Base();
|
|
};
|
|
|
|
class TrivialBaseBefore {
|
|
public:
|
|
int tb0;
|
|
TrivialBaseBefore() { tb0 = 1; }
|
|
};
|
|
|
|
class TrivialBaseAfter {
|
|
public:
|
|
int tb1;
|
|
TrivialBaseAfter() { tb1 = 1; }
|
|
};
|
|
|
|
class Derived : public TrivialBaseBefore, public Base, public TrivialBaseAfter {
|
|
public:
|
|
int d;
|
|
Derived() { d = 1; }
|
|
~Derived();
|
|
};
|
|
|
|
Derived *g;
|
|
|
|
Base::~Base() {
|
|
// ok to access its own members and earlier bases
|
|
assert(__msan_test_shadow(&g->tb0, sizeof(g->tb0)) == -1);
|
|
assert(__msan_test_shadow(&g->b, sizeof(g->b)) == -1);
|
|
// not ok to access others
|
|
assert(__msan_test_shadow(&g->tb1, sizeof(g->tb1)) == 0);
|
|
assert(__msan_test_shadow(&g->d, sizeof(g->d)) == 0);
|
|
}
|
|
|
|
Derived::~Derived() {
|
|
// ok to access everything
|
|
assert(__msan_test_shadow(&g->tb0, sizeof(g->tb0)) == -1);
|
|
assert(__msan_test_shadow(&g->b, sizeof(g->b)) == -1);
|
|
assert(__msan_test_shadow(&g->tb1, sizeof(g->tb1)) == -1);
|
|
assert(__msan_test_shadow(&g->d, sizeof(g->d)) == -1);
|
|
}
|
|
|
|
int main() {
|
|
g = new Derived();
|
|
// ok to access everything
|
|
assert(__msan_test_shadow(&g->tb0, sizeof(g->tb0)) == -1);
|
|
assert(__msan_test_shadow(&g->b, sizeof(g->b)) == -1);
|
|
assert(__msan_test_shadow(&g->tb1, sizeof(g->tb1)) == -1);
|
|
assert(__msan_test_shadow(&g->d, sizeof(g->d)) == -1);
|
|
|
|
g->~Derived();
|
|
// not ok to access everything
|
|
assert(__msan_test_shadow(&g->tb0, sizeof(g->tb0)) == 0);
|
|
assert(__msan_test_shadow(&g->b, sizeof(g->b)) == 0);
|
|
assert(__msan_test_shadow(&g->tb1, sizeof(g->tb1)) == 0);
|
|
assert(__msan_test_shadow(&g->d, sizeof(g->d)) == 0);
|
|
return 0;
|
|
}
|