https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116296
--- Comment #8 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Richard Biener <[email protected]>: https://gcc.gnu.org/g:ef652d7bd4faf389c7963a8cb4e720df0dc73140 commit r16-7071-gef652d7bd4faf389c7963a8cb4e720df0dc73140 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.
