[Bug c++/115747] [C++26] P3144R2 - Deleting a pointer to an incomplete type should be ill-formed

[cvs-commit at gcc dot gnu.org]

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

--- Comment #9 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jakub Jelinek <jakub@gcc.gnu.org>:

https://gcc.gnu.org/g:beb7a418aaef2ec8a812712110b007c091a73491

commit r15-1794-gbeb7a418aaef2ec8a812712110b007c091a73491
Author: Jakub Jelinek <jakub@redhat.com>
Date:   Tue Jul 2 22:08:45 2024 +0200

    c++: Implement C++26 P3144R2 - Deleting a Pointer to an Incomplete Type
Should be Ill-formed [PR115747]

    The following patch implements the C++26 paper which makes delete
    and delete[] on incomplete class types invalid, previously it has
    been UB unless the class had trivial destructor and no custom
    deallocator.

    The patch uses permerror_opt, so -Wno-delete-incomplete makes it
    still compile without warnings like before, and -fpermissive makes
    it warn but not error; in SFINAE contexts it is considered an error
    in C++26 and later.

    2024-07-02  Jakub Jelinek  <jakub@redhat.com>
                Jason Merrill  <jason@redhat.com>

            PR c++/115747
    gcc/cp/
            * init.cc: Implement C++26 P3144R2 - Deleting a Pointer to an
            Incomplete Type Should be Ill-formed.
            (build_vec_delete_1): Emit permerror_at and return error_mark_node
            for delete [] on incomplete type.
            (build_delete): Similarly for delete.
    gcc/testsuite/
            * g++.dg/init/delete1.C: Adjust expected diagnostics for C++26.
            * g++.dg/warn/Wdelete-incomplete-1.C: Likewise.
            * g++.dg/warn/incomplete1.C: Likewise.
            * g++.dg/ipa/pr85607.C: Likewise.
            * g++.dg/cpp26/delete1.C: New test.
            * g++.dg/cpp26/delete2.C: New test.
            * g++.dg/cpp26/delete3.C: New test.