[Bug ipa/115033] [12/13/14/15 Regression] Incorrect optimization of by-reference closure fields by fre1 pass since r12-5113-gd70ef65692fced

[cvs-commit at gcc dot gnu.org]

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

--- Comment #21 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-14 branch has been updated by Jan Hubicka
<hubicka@gcc.gnu.org>:

https://gcc.gnu.org/g:27ef3a0779e551ca116c56c431436c8d2191b253

commit r14-10489-g27ef3a0779e551ca116c56c431436c8d2191b253
Author: Jan Hubicka <hubicka@ucw.cz>
Date:   Mon Jul 22 18:08:08 2024 +0200

    Fix modref_eaf_analysis::analyze_ssa_name handling of values dereferenced
to function call parameters

    modref_eaf_analysis::analyze_ssa_name misinterprets EAF flags.  If
dereferenced
    parameter is passed (to map_iterator in the testcase) it can be returned
    indirectly which in turn makes it to escape into the next function call.

            PR ipa/115033

    gcc/ChangeLog:

            * ipa-modref.cc (modref_eaf_analysis::analyze_ssa_name): Fix
checking of
            EAF flags when analysing values dereferenced as function
parameters.

    gcc/testsuite/ChangeLog:

            * gcc.c-torture/execute/pr115033.c: New test.

    (cherry picked from commit cf8ffc58aad3127031c229a75cc4b99c8ace25e0)