Re: [patch] c++/63619 Use -Wdelete-incomplete for "deleting 'void' is undefined" warning

[Jonathan Wakely]

On 23/10/14 16:01 -0400, Jason Merrill wrote:

On 10/23/2014 03:59 PM, Jonathan Wakely wrote:

Tested x86_64-linux. OK for trunk?

Shouldn't there be another test that there's no warning if -Wno-delete-incomplete or that it's an error with -Werror=delete-incomplete? OK that way.

Oh yes, of course - here's what I've committed then.

commit 9066b282eed98c3ba62f04ff9338b3772c04224e
Author: Jonathan Wakely <jwak...@redhat.com>
Date:   Thu Oct 23 18:11:22 2014 +0100

    PR c++/63619
    
    gcc/cp:
    	PR c++/63619
    	* decl2.c (delete_sanity): Use OPT_Wdelete_incomplete in warning.
    
    gcc/testsuite:
    	PR c++/63619
    	* g++.dg/warn/Wdelete-incomplete-3.C: New.
    	* g++.dg/warn/Wdelete-incomplete-4.C: New.

diff --git a/gcc/cp/decl2.c b/gcc/cp/decl2.c
index 4be4847..60c8a63 100644
--- a/gcc/cp/decl2.c
+++ b/gcc/cp/decl2.c
@@ -478,7 +478,7 @@ delete_sanity (tree exp, tree size, bool doing_vec, int use_global_delete,
   /* Deleting ptr to void is undefined behavior [expr.delete/3].  */
   if (VOID_TYPE_P (TREE_TYPE (type)))
     {
-      warning (0, "deleting %qT is undefined", type);
+      warning (OPT_Wdelete_incomplete, "deleting %qT is undefined", type);
       doing_vec = 0;
     }
 
diff --git a/gcc/testsuite/g++.dg/warn/Wdelete-incomplete-3.C b/gcc/testsuite/g++.dg/warn/Wdelete-incomplete-3.C
new file mode 100644
index 0000000..2202d60
--- /dev/null
+++ b/gcc/testsuite/g++.dg/warn/Wdelete-incomplete-3.C
@@ -0,0 +1,6 @@
+// PR c++/63619
+
+int main() {
+   void* p;
+   delete p;    // { dg-warning "undefined" }
+}
diff --git a/gcc/testsuite/g++.dg/warn/Wdelete-incomplete-4.C b/gcc/testsuite/g++.dg/warn/Wdelete-incomplete-4.C
new file mode 100644
index 0000000..f2eb5ba
--- /dev/null
+++ b/gcc/testsuite/g++.dg/warn/Wdelete-incomplete-4.C
@@ -0,0 +1,7 @@
+// PR c++/63619
+// { dg-options -Wno-delete-incomplete }
+
+int main() {
+   void* p;
+   delete p;
+}