src/compiler-rt/test/msan/dtor-vtable-multiple-inheritance.cc

   1 // RUN: %clangxx_msan %s -O0 -fsanitize=memory -fsanitize-memory-use-after-dtor -o %t && MSAN_OPTIONS=poison_in_dtor=1 %run %t
   2
   3 // RUN: %clangxx_msan %s -O1 -fsanitize=memory -fsanitize-memory-use-after-dtor -o %t && MSAN_OPTIONS=poison_in_dtor=1 %run %t
   4
   5 // RUN: %clangxx_msan %s -O2 -fsanitize=memory -fsanitize-memory-use-after-dtor -o %t && MSAN_OPTIONS=poison_in_dtor=1 %run %t
   6
   7 // RUN: %clangxx_msan %s -DCVPTR=1 -O2 -fsanitize=memory -fsanitize-memory-use-after-dtor -o %t && MSAN_OPTIONS=poison_in_dtor=1 not %run %t
   8
   9 // RUN: %clangxx_msan %s -DEAVPTR=1 -O2 -fsanitize=memory -fsanitize-memory-use-after-dtor -o %t && MSAN_OPTIONS=poison_in_dtor=1 not %run %t
  10
  11 // RUN: %clangxx_msan %s -DEDVPTR=1 -O2 -fsanitize=memory -fsanitize-memory-use-after-dtor -o %t && MSAN_OPTIONS=poison_in_dtor=1 not %run %t
  12
  13 // Expected to quit due to invalid access when invoking
  14 // function using vtable.
  15
  16 class A {
  17  public:
  18   int x;
  19   virtual ~A() {
  20     // Should succeed
  21     this->A_Foo();
  22   }
  23   virtual void A_Foo() {}
  24 };
  25
  26 class B : public virtual A {
  27  public:
  28   int y;
  29   virtual ~B() {}
  30   virtual void A_Foo() {}
  31 };
  32
  33 class C : public B {
  34  public:
  35   int z;
  36   ~C() {}
  37 };
  38
  39 class D {
  40  public:
  41   int w;
  42   ~D() {}
  43   virtual void D_Foo() {}
  44 };
  45
  46 class E : public virtual A, public virtual D {
  47  public:
  48   int u;
  49   ~E() {}
  50   void A_Foo() {}
  51 };
  52
  53 int main() {
  54   // Simple linear inheritance
  55   C *c = new C();
  56   c->~C();
  57   // This fails
  58 #ifdef CVPTR
  59   c->A_Foo();
  60 #endif
  61
  62   // Multiple inheritance, so has multiple vtables
  63   E *e = new E();
  64   e->~E();
  65   // Both of these fail
  66 #ifdef EAVPTR
  67   e->A_Foo();
  68 #endif
  69 #ifdef EDVPTR
  70   e->D_Foo();
  71 #endif
  72 }