aboutsummaryrefslogtreecommitdiff
path: root/test/msan/dtor-vtable-multiple-inheritance.cc
blob: 8521fadd0725fc1a45e9a90489fe0305645b2bcb (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
// RUN: %clangxx_msan %s -O0 -fsanitize=memory -fsanitize-memory-use-after-dtor -o %t && MSAN_OPTIONS=poison_in_dtor=1 %run %t

// RUN: %clangxx_msan %s -O1 -fsanitize=memory -fsanitize-memory-use-after-dtor -o %t && MSAN_OPTIONS=poison_in_dtor=1 %run %t

// RUN: %clangxx_msan %s -O2 -fsanitize=memory -fsanitize-memory-use-after-dtor -o %t && MSAN_OPTIONS=poison_in_dtor=1 %run %t

// 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

// 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

// 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

// Expected to quit due to invalid access when invoking
// function using vtable.

class A {
 public:
  int x;
  virtual ~A() {
    // Should succeed
    this->A_Foo();
  }
  virtual void A_Foo() {}
};

class B : public virtual A {
 public:
  int y;
  virtual ~B() {}
  virtual void A_Foo() {}
};

class C : public B {
 public:
  int z;
  ~C() {}
};

class D {
 public:
  int w;
  ~D() {}
  virtual void D_Foo() {}
};

class E : public virtual A, public virtual D {
 public:
  int u;
  ~E() {}
  void A_Foo() {}
};

int main() {
  // Simple linear inheritance
  C *c = new C();
  c->~C();
  // This fails
#ifdef CVPTR
  c->A_Foo();
#endif

  // Multiple inheritance, so has multiple vtables
  E *e = new E();
  e->~E();
  // Both of these fail
#ifdef EAVPTR
  e->A_Foo();
#endif
#ifdef EDVPTR
  e->D_Foo();
#endif
}