[compiler-rt] r243913 - Runtime check of poisoning derived class members.

[Naomi Musgrave]

Author: nmusgrave
Date: Mon Aug  3 18:01:19 2015
New Revision: 243913

URL: http://llvm.org/viewvc/llvm-project?rev=243913&view=rev
Log:
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

Added:
    compiler-rt/trunk/test/msan/dtor-derived-class.cc

Added: compiler-rt/trunk/test/msan/dtor-derived-class.cc
URL: http://llvm.org/viewvc/llvm-project/compiler-rt/trunk/test/msan/dtor-derived-class.cc?rev=243913&view=auto
==============================================================================
--- compiler-rt/trunk/test/msan/dtor-derived-class.cc (added)
+++ compiler-rt/trunk/test/msan/dtor-derived-class.cc Mon Aug  3 18:01:19 2015
@@ -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;
+}