[Bug tree-optimization/103182] [12 Regression] Recent change causes code correctness regression

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

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

--- Comment #6 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jan Hubicka <hubi...@gcc.gnu.org>:

https://gcc.gnu.org/g:2f3d43a35155685b1795b4392e20e1c14a33c38f

commit r12-5221-g2f3d43a35155685b1795b4392e20e1c14a33c38f
Author: Jan Hubicka <j...@suse.cz>
Date:   Sat Nov 13 01:51:25 2021 +0100

    Fix wrong code with modref and some builtins.

    ipa-modref gets confused by EAF flags of memcpy becuase parameter 1 is
    escaping but used only directly.  In modref we do not track values saved to
    memory and thus we clear all other flags on each store.  This needs to also
    happen when called function escapes parameter.

    gcc/ChangeLog:

            PR tree-optimization/103182
            * ipa-modref.c (callee_to_caller_flags): Fix merging of flags.
            (modref_eaf_analysis::analyze_ssa_name): Fix merging of flags.