1 files changed, 53 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.old-deja/g++.other/delete4.C b/gcc/testsuite/g++.old-deja/g++.other/delete4.C
new file mode 100644
index 000000000..0971eb982
--- /dev/null
+++ b/gcc/testsuite/g++.old-deja/g++.other/delete4.C
@@ -0,0 +1,53 @@
+// { dg-do assemble  }
+
+// Copyright (C) 1999 Free Software Foundation, Inc.
+// Contributed by Nathan Sidwell 15 Apr 1999 <nathan@acm.org>
+
+// delete (void *)e and delete[] (void *)e result in undefined behavior
+// [expr.delete/3]. Check we warn about them
+// operator new functions can only return NULL, if their exceptions
+// specification is `throw()'. All other cases must return a non-null pointer
+// [expr.new/13].
+
+typedef __SIZE_TYPE__ size_t;
+
+void *operator new(size_t)
+{
+  return 0; // { dg-warning "NULL" } cannot return NULL
+}
+void *operator new[](size_t)
+{
+  return 0; // { dg-warning "NULL" } cannot return NULL
+}
+
+struct X
+{
+  void *operator new(size_t)
+  {
+    return 0; // { dg-warning "NULL" } cannot return NULL
+  }
+  void *operator new[](size_t)
+  {
+    return 0; // { dg-warning "NULL" } cannot return NULL
+  }
+};
+
+struct Y
+{
+  void *operator new(size_t) throw()
+  {
+    return 0; // ok
+  }
+  void *operator new[](size_t) throw()
+  {
+    return 0; // ok
+  }
+};
+
+void fn(double *d, void *v)
+{
+  delete d;   // ok
+  delete v;   // { dg-warning "" } deleting void
+  delete[] d; // ok
+  delete[] v; // { dg-warning "" } deleting void
+}