https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115033
--- Comment #25 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-13 branch has been updated by Sam James <sja...@gcc.gnu.org>: https://gcc.gnu.org/g:55b3fc2ab64594c4ac50925ce3d3cfdbb2a53374 commit r13-9110-g55b3fc2ab64594c4ac50925ce3d3cfdbb2a53374 Author: Jan Hubicka <hubi...@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)
