[Bug middle-end/100876] [11 Regression] -Wmismatched-new-delete should understand placement new when it's not inlined

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #6 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-11 branch has been updated by Martin Sebor
<mse...@gcc.gnu.org>:

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

commit r11-8606-gfbafba7114939b279e860198d009d7641f3ce49c
Author: Martin Sebor <mse...@redhat.com>
Date:   Thu Jun 17 12:18:53 2021 -0600

    Backported from trunk:

    Teach compute_objsize about placement new [PR100876].

    Resolves:
    PR c++/100876 - -Wmismatched-new-delete should understand placement new
when it's not inlined

    gcc/ChangeLog:

            PR c++/100876
            * builtins.c (gimple_call_return_array): Check for attribute fn
spec.
            Handle calls to placement new.
            (ndecl_dealloc_argno): Avoid placement delete.

    gcc/testsuite/ChangeLog:

            PR c++/100876
            * g++.dg/warn/Wmismatched-new-delete-4.C: New test.
            * g++.dg/warn/Wmismatched-new-delete-5.C: New test.
            * g++.dg/warn/Wstringop-overflow-7.C: New test.
            * g++.dg/warn/Wfree-nonheap-object-6.C: New test.
            * g++.dg/analyzer/placement-new.C: Prune out expected warning.