[Bug c++/63619] warning: deleting ‘void*’ is undefined has no -W flag

[redi at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63619

--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Author: redi
Date: Thu Oct 23 21:07:49 2014
New Revision: 216599

URL: https://gcc.gnu.org/viewcvs?rev=216599&root=gcc&view=rev
Log:
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.

Added:
    trunk/gcc/testsuite/g++.dg/warn/Wdelete-incomplete-3.C
    trunk/gcc/testsuite/g++.dg/warn/Wdelete-incomplete-4.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/decl2.c
    trunk/gcc/testsuite/ChangeLog