[Bug tree-optimization/123416] [13 Regression] wrong code at -O{s, 2, 3} with "-fno-tree-dse -fno-strict-aliasing" on x86_64-linux-gnu since r15-2207

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

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

--- Comment #11 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-13 branch has been updated by Richard Biener
<rgue...@gcc.gnu.org>:

https://gcc.gnu.org/g:7776e8a7a066227dfc7f2087b4d9ef74aaea914f

commit r13-10366-g7776e8a7a066227dfc7f2087b4d9ef74aaea914f
Author: Richard Biener <rguent...@suse.de>
Date:   Tue Feb 3 09:26:01 2026 +0100

    ipa/123416 - fix IPA modref summary merging after inlining

    There's a typo in the condition skipping load collapsing when
    there's no callee modref summary.  We do have to collapse loads
    for the destination iff the callee performs any loads which includes
    when the callee is ECF_PURE.  The LTO summary part already gets
    this correct.

            PR ipa/123416
            * ipa-modref.cc (ipa_merge_modref_summary_after_inlining):
            Fix typo in condtion for load merging when no callee summary.

            * gcc.dg/torture/pr123416.c: New testcase.

    (cherry picked from commit 576dd2f7ef0dbc30b460176442e63b08c642676c)