re PR c++/63619 (warning: deleting ‘void*’ is undefined has no -W flag)
authorJonathan Wakely <jwakely@redhat.com>
Thu, 23 Oct 2014 21:07:49 +0000 (22:07 +0100)
committerJonathan Wakely <redi@gcc.gnu.org>
Thu, 23 Oct 2014 21:07:49 +0000 (22:07 +0100)
commit53b0f7471aadaff6b3762039413d6265c06ef3b2
tree8c01813656e723e58b6b1b4a9d4972b44861b607
parent5cbc4e2a24771aea2363d231bd670dce59cd4bd3
re PR c++/63619 (warning: deleting ‘void*’ is undefined has no -W flag)

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.

From-SVN: r216599
gcc/cp/ChangeLog
gcc/cp/decl2.c
gcc/testsuite/ChangeLog
gcc/testsuite/g++.dg/warn/Wdelete-incomplete-3.C [new file with mode: 0644]
gcc/testsuite/g++.dg/warn/Wdelete-incomplete-4.C [new file with mode: 0644]