[Bug tree-optimization/123416] [13/14/15 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]

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

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

https://gcc.gnu.org/g:1a7275ba373d489ca09206bbf2ffb1c909cf747c

commit r15-10967-g1a7275ba373d489ca09206bbf2ffb1c909cf747c
Author: Richard Biener <rguenther@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)