https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126631
--- 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 reports overflow (exit 0). With gcc 15.2 the same testcase still returns Infinity. Please close this as a duplicate of PR126464.
