re PR c++/19476 (Missed null checking elimination with new)

2013-10-04  Marc Glisse  <marc.glisse@inria.fr>

	PR c++/19476
gcc/cp/
	* decl.c (cxx_init_decl_processing): Set operator_new_flag.

gcc/testsuite/
	* g++.dg/tree-ssa/pr19476-5.C: New file.
	* g++.dg/tree-ssa/pr19476-1.C: Mention pr19476-5.C.

From-SVN: r203194

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index f618475d85bcb27d742ab48f4aaaff346bb32e11..6327c0b8a66d1a03eea5c072adffdb497e567115 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,8 @@
+2013-10-04  Marc Glisse  <marc.glisse@inria.fr>
+
+       PR c++/19476
+       * decl.c (cxx_init_decl_processing): Set operator_new_flag.
+
 2013-10-04  Paolo Carlini  <paolo.carlini@oracle.com>
 
        PR c++/58584

diff --git a/gcc/cp/decl.c b/gcc/cp/decl.c
index 80ceca138d8b743dc65ab4c81448ff43b16ebf02..81ed409b963e278cad7762d0030c7fa062c46b56 100644 (file)
--- a/gcc/cp/decl.c
+++ b/gcc/cp/decl.c
@@ -3800,8 +3800,8 @@ cxx_init_decl_processing (void)
     newtype = build_exception_variant (newtype, new_eh_spec);
     deltype = cp_build_type_attribute_variant (void_ftype_ptr, extvisattr);
     deltype = build_exception_variant (deltype, empty_except_spec);
-    push_cp_library_fn (NEW_EXPR, newtype, 0);
-    push_cp_library_fn (VEC_NEW_EXPR, newtype, 0);
+    DECL_IS_OPERATOR_NEW (push_cp_library_fn (NEW_EXPR, newtype, 0)) = 1;
+    DECL_IS_OPERATOR_NEW (push_cp_library_fn (VEC_NEW_EXPR, newtype, 0)) = 1;
     global_delete_fndecl = push_cp_library_fn (DELETE_EXPR, deltype, ECF_NOTHROW);
     push_cp_library_fn (VEC_DELETE_EXPR, deltype, ECF_NOTHROW);
 

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index d631f0f5775c8096df56f1ce90cde381a920c46c..a06e9c55639f1d4ed4947b8014a582cb187a6a77 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,9 @@
+2013-10-04  Marc Glisse  <marc.glisse@inria.fr>
+
+       PR c++/19476
+       * g++.dg/tree-ssa/pr19476-5.C: New file.
+       * g++.dg/tree-ssa/pr19476-1.C: Mention pr19476-5.C.
+
 2013-10-04  Paolo Carlini  <paolo.carlini@oracle.com>
 
        PR c++/58584

diff --git a/gcc/testsuite/g++.dg/tree-ssa/pr19476-1.C b/gcc/testsuite/g++.dg/tree-ssa/pr19476-1.C
index f0fb8d6d1f47313f0a168c126e290c6860031770..cbdad90d16b4e6d577ffddc37ade9439ee4d96c4 100644 (file)
--- a/gcc/testsuite/g++.dg/tree-ssa/pr19476-1.C
+++ b/gcc/testsuite/g++.dg/tree-ssa/pr19476-1.C
@@ -1,6 +1,7 @@
 /* { dg-do compile } */
 /* { dg-options "-O -fdump-tree-ccp1" } */
 
+// See pr19476-5.C for a version without including <new>.
 #include <new>
 
 int f(){

diff --git a/gcc/testsuite/g++.dg/tree-ssa/pr19476-5.C b/gcc/testsuite/g++.dg/tree-ssa/pr19476-5.C
new file mode 100644 (file)
index 0000000..bec0bb5
--- /dev/null
+++ b/gcc/testsuite/g++.dg/tree-ssa/pr19476-5.C
@@ -0,0 +1,11 @@
+/* { dg-do compile } */
+/* { dg-options "-O -fdump-tree-ccp1" } */
+
+// See pr19476-1.C for a version that includes <new>.
+
+int g(){
+  return 42 + (0 == new int[50]);
+}
+
+/* { dg-final { scan-tree-dump     "return 42" "ccp1" } } */
+/* { dg-final { cleanup-tree-dump "ccp1" } } */