1 files changed, 16 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.old-deja/g++.law/arm13.C b/gcc/testsuite/g++.old-deja/g++.law/arm13.C
new file mode 100644
index 000000000..f1393c6e3
--- /dev/null
+++ b/gcc/testsuite/g++.old-deja/g++.law/arm13.C
@@ -0,0 +1,16 @@
+// { dg-do run  }
+// GROUPS passed ARM-compliance
+#include <stdio.h>
+#include <stdlib.h>
+
+inline void *operator new(size_t, void *place) { return place; }
+
+int main()
+{
+  int* p = (int*) malloc(sizeof(int));
+  (void) new (p) int(1);
+  typedef int I;
+  p->I::~I();
+  free(p);
+  printf ("PASS\n");
+}