1 files changed, 28 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.old-deja/g++.mike/misc14.C b/gcc/testsuite/g++.old-deja/g++.mike/misc14.C
new file mode 100644
index 000000000..6f966f211
--- /dev/null
+++ b/gcc/testsuite/g++.old-deja/g++.mike/misc14.C
@@ -0,0 +1,28 @@
+// { dg-do run  }
+// GROUPS passed
+extern "C" int printf (const char *, ...);
+extern "C" void exit(int);
+
+class A {
+public:
+  virtual ~A() {
+    printf("FAIL\n");
+    exit (1);
+  }
+};
+
+class B : public A {
+public:
+  virtual ~B() {
+    printf("PASS\n");
+    exit (0);
+  }
+};
+
+int main() {
+  B b;
+  A *ap = &b;
+  ap->~A();  // This should call the destructor virtually.
+  printf("FAIL\n");
+  return 1;
+}