On Tue, Jan 27, 2026 at 03:06:20PM +0100, Richard Biener wrote:
> 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.
>
> Bootstrapped on x86_64-unknown-linux-gnu, testing in progress.
>
> Now using SINGED correctly (oops).
> OK?
>
> Thanks,
> Richard.
>
> 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.
LGTM, thanks.
Jakub
