1 files changed, 49 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.old-deja/g++.mike/p4246.C b/gcc/testsuite/g++.old-deja/g++.mike/p4246.C
new file mode 100644
index 000000000..c81ae7571
--- /dev/null
+++ b/gcc/testsuite/g++.old-deja/g++.mike/p4246.C
@@ -0,0 +1,49 @@
+// { dg-do run  }
+// prms-id: 4246
+
+extern "C" void abort ();
+int num_d;
+
+class A
+{
+ public:
+  A() { }
+  virtual  ~A() { }
+  virtual void id() { }
+};
+
+class B
+{
+ public:
+  B() { }
+  virtual  ~B() { }
+  virtual void id() { }
+};
+
+class C : public A, public B
+{
+ public:
+  C() { }
+  virtual  ~C() { }
+  void id() { abort(); }
+};
+
+class D : public C
+{
+ public:
+  D() { ++num_d; }
+  virtual  ~D() { -- num_d; }
+  void id() { }
+};
+
+int main()
+{
+  D* dp2 = new D;
+  ((B*)dp2)->id();
+  delete (B*) dp2;
+
+  B* bp1 = new D;
+  bp1->id();
+  delete bp1;
+  return num_d != 0;
+}