40 lines · cpp
1// RUN: %clangxx_msan %s -O0 -fsanitize=memory -fsanitize-memory-use-after-dtor -o %t && %run %t >%t.out 2>&12// RUN: %clangxx_msan %s -O1 -fsanitize=memory -fsanitize-memory-use-after-dtor -o %t && %run %t >%t.out 2>&13// RUN: %clangxx_msan %s -O2 -fsanitize=memory -fsanitize-memory-use-after-dtor -o %t && %run %t >%t.out 2>&14 5#include <sanitizer/msan_interface.h>6#include <assert.h>7 8struct Base {9 int x;10 Base() { x = 5; }11 virtual ~Base() {}12};13 14struct Derived : public Base {15 int y;16 Derived() { y = 10; }17 ~Derived() {}18};19 20int main() {21 Derived *d = new Derived();22 d->~Derived();23 24 // Verify that local pointer is unpoisoned, and that the object's25 // members are.26 assert(__msan_test_shadow(&d, sizeof(d)) == -1);27 assert(__msan_test_shadow(&d->x, sizeof(d->x)) != -1);28 assert(__msan_test_shadow(&d->y, sizeof(d->y)) != -1);29 30 Base *b = new Derived();31 b->~Base();32 33 // Verify that local pointer is unpoisoned, and that the object's34 // members are.35 assert(__msan_test_shadow(&b, sizeof(b)) == -1);36 assert(__msan_test_shadow(&b->x, sizeof(b->x)) != -1);37 38 return 0;39}40