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 <[email protected]>: https://gcc.gnu.org/g:962402d55c6086d4996eb39ea34c572c4b863e6e commit r13-10146-g962402d55c6086d4996eb39ea34c572c4b863e6e Author: Richard Biener <[email protected]> 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)
