diff options
author | Naomi Musgrave <nmusgrave@google.com> | 2015-08-03 23:01:19 +0000 |
---|---|---|
committer | Naomi Musgrave <nmusgrave@google.com> | 2015-08-03 23:01:19 +0000 |
commit | 5a4fdcaac77f55fb74aac5205e903a9446139954 (patch) | |
tree | ae8ac6ec50132f3d266c7943c7be58d756683ab4 | |
parent | 7bab8082abb58bc4bb9b4bc69e397ea08712b0c6 (diff) |
Runtime check of poisoning derived class members.
Summary: Simple test case to verify that an instance of a derived class with virtual base is properly poisoned
Reviewers: eugenis, kcc
Subscribers: cfe-commits
Differential Revision: http://reviews.llvm.org/D11733
modified test to be more concise, and check the local pointer to the destroyed object
revised test to not examine padding- only explicit object members
git-svn-id: https://llvm.org/svn/llvm-project/compiler-rt/trunk@243913 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r-- | test/msan/dtor-derived-class.cc | 47 |
1 files changed, 47 insertions, 0 deletions
diff --git a/test/msan/dtor-derived-class.cc b/test/msan/dtor-derived-class.cc new file mode 100644 index 000000000..ed8122f8b --- /dev/null +++ b/test/msan/dtor-derived-class.cc @@ -0,0 +1,47 @@ + +// RUN: %clangxx_msan %s -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 <stdio.h> +#include <sanitizer/msan_interface.h> +#include <assert.h> + +struct Base { + int x; + Base() { + x = 5; + } + virtual ~Base() { } +}; + +struct Derived:public Base { + int y; + Derived() { + y = 10; + } + ~Derived() { } +}; + +int main() { + Derived *d = new Derived(); + d->~Derived(); + + // Verify that local pointer is unpoisoned, and that the object's + // members are. + assert(__msan_test_shadow(&d, sizeof(d)) == -1); + assert(__msan_test_shadow(&d->x, sizeof(d->x)) != -1); + assert(__msan_test_shadow(&d->y, sizeof(d->y)) != -1); + + Base *b = new Derived(); + b->~Base(); + + // Verify that local pointer is unpoisoned, and thate the object's + // members are. + assert(__msan_test_shadow(&b, sizeof(b)) == -1); + assert(__msan_test_shadow(&b->x, sizeof(b->x)) != -1); + + return 0; +} |