[Bug ipa/116296] [13 Regression] internal compiler error: in merge, at ipa-modref-tree.cc:176 at -O3 since r12-4227-g44b61586d8640b

[cvs-commit at gcc dot gnu.org]

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

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

https://gcc.gnu.org/g:962402d55c6086d4996eb39ea34c572c4b863e6e

commit r13-10146-g962402d55c6086d4996eb39ea34c572c4b863e6e
Author: Richard Biener <rguenther@suse.de>
Date:   Tue Jan 27 13:01:19 2026 +0100

    ipa/116296 - avoid overflow in modref_access_node::contains

    The following aovids overflow when scaling the param offset
    difference by BITS_PER_UNIT by using poly_offset_int instead of
    poly_int64 for the computations.

            PR ipa/116296
            * ipa-modref-tree.cc (modref_access_node::contains): Use
            poly_offset_int for the param offset difference and the
            overlap computation.

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

    (cherry picked from commit ef652d7bd4faf389c7963a8cb4e720df0dc73140)