[Bug tree-optimization/126631] Jump threading drops isinf() overflow check after finite * constant

pl0h0yp1 at gmail dot com via Gcc-bugs <[email protected]> Tue, 04 Aug 2026 10:31:02 +0000

Newsgroups	gmane.comp.gcc.bugs
Message-ID	<[email protected]/bugzilla/>

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

--- Comment #1 from Rachitskiy Andrey <pl0h0yp1 at gmail dot com> ---
I researched related past bugs and found this is already fixed in PR126464
(reverse Inf handling in float_widen_lhs_range / range-op-float.cc).

Build current trunk and ran our attached testcase at -O2: it correctly repo=
rts
overflow (exit 0). With gcc 15.2 the same testcase still returns Infinity.

Please close this as a duplicate of PR126464.=