1 files changed, 84 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/ubsan/vptr-11.C b/gcc/testsuite/g++.dg/ubsan/vptr-11.C
new file mode 100644
index 00000000000..4516b1e3256
--- /dev/null
+++ b/gcc/testsuite/g++.dg/ubsan/vptr-11.C
@@ -0,0 +1,84 @@
+// PR c++/70147
+// { dg-do run }
+// { dg-options "-fsanitize=vptr -fno-sanitize-recover=vptr" }
+
+static int ac, ad, bc, bd, cc, cd, dc, dd;
+struct A
+{
+  A ()
+  {
+    ac++;
+  }
+  virtual void f ()
+  {
+  }
+  __attribute__ ((noinline)) ~ A ();
+};
+
+struct D
+{
+  __attribute__ ((noinline)) D (int);
+  ~D ()
+  {
+    dd++;
+  }
+};
+struct B: virtual A, D
+{
+  B ():D (1)
+  {
+    bc++;
+  }
+  virtual void f ()
+  {
+  }
+  ~B ()
+  {
+    bd++;
+  }
+};
+
+struct C: B, virtual A
+{
+  C ()
+  {
+    cc++;
+  }
+  ~C ()
+  {
+    cd++;
+  }
+};
+
+D::D (int x)
+{
+  if (x)
+    throw 1;
+  dc++;
+}
+
+__attribute__ ((noinline, noclone))
+void foo (A * p)
+{
+  p->f ();
+}
+
+A::~A ()
+{
+  foo (this);
+  ad++;
+}
+
+int
+main ()
+{
+  try
+    {
+      C c;
+    }
+  catch ( ...)
+    {
+    }
+  if (ac != 1 || ad != 1 || bc || bd || cc || cd || dc || dd)
+    __builtin_abort ();
+}