[Bug ipa/103669] [12 Regression] wrong code with -O --param=modref-max-depth=1 since r12-4976-g4898e958a92d45db

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

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

--- Comment #3 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:8d1e342b4afbad77cb92f8057cf6d1e996bfb077

commit r12-6072-g8d1e342b4afbad77cb92f8057cf6d1e996bfb077
Author: Jan Hubicka <j...@suse.cz>
Date:   Mon Dec 20 08:43:13 2021 +0100

    Fix handling of deferred SSA names in modref dataflow

    In the testcase we fail to analyze SSA name because flag do_dataflow is set
    and thus triggers early exist in analyze_ssa_name.  Fixed by disabling
    early exits when handling deferred names.

    gcc/ChangeLog:

    2021-12-20  Jan Hubicka  <hubi...@ucw.cz>

            PR ipa/103669
            * ipa-modref.c (modref_eaf_analysis::analyze_ssa_name): Add
deferred
            parameter.
            (modref_eaf_analysis::propagate): Use it.

    gcc/testsuite/ChangeLog:

    2021-12-20  Jan Hubicka  <hubi...@ucw.cz>

            PR ipa/103669
            * g++.dg/torture/pr103669.C: New test.