re PR c++/53330 (new() operator can return NULL on a zero-length allocation)

2015-08-12  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/53330
	* g++.dg/init/new42.C: New.

From-SVN: r226840

2 files changed, 47 insertions, 0 deletions

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 20735b9..1b49702 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2015-08-12  Paolo Carlini  <paolo.carlini@oracle.com>
+
+	PR c++/53330
+	* g++.dg/init/new42.C: New.
+
 2015-08-12  Michael Meissner  <meissner@linux.vnet.ibm.com>
 
 	PR target/67071
diff --git a/gcc/testsuite/g++.dg/init/new42.C b/gcc/testsuite/g++.dg/init/new42.C
new file mode 100644
index 0000000..12a714a
--- /dev/null
+++ b/gcc/testsuite/g++.dg/init/new42.C
@@ -0,0 +1,42 @@
+// PR c++/53330
+// { dg-do run }
+
+extern "C" void abort ();
+
+struct constr_empty
+{
+    constr_empty() {};
+};
+
+struct noconstr_empty
+{
+};
+
+struct constr_nonempty
+{
+    constr_nonempty() {};
+    int dummy;
+};
+
+struct noconstr_nonempty
+{
+    int dummy;
+};
+
+int main()
+{
+    volatile constr_empty      *ce = new constr_empty[0];
+    volatile noconstr_empty    *ne = new noconstr_empty[0];
+    volatile constr_nonempty   *cn = new constr_nonempty[0];
+    volatile noconstr_nonempty *nn = new noconstr_nonempty[0];
+    volatile int               *ii = new int[0];
+
+    delete [] ce;
+    delete [] ne;
+    delete [] cn;
+    delete [] nn;
+    delete [] ii;
+
+    if (!(ce && ne && cn && nn && ii))
+      abort ();
+}