[Bug tree-optimization/126714] New: [17 Regression] Ranger changes break vax port

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

            Bug ID: 126714
           Summary: [17 Regression] Ranger changes break vax port
           Product: gcc
           Version: 17.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: law at gcc dot gnu.org
  Target Milestone: ---

This change:

commit ab5addf0674f07d64b18695a54f1b43bb99e61a4
Author: Aldy Hernandez <[email protected]>
Date:   Thu Aug 6 14:33:18 2026 +0000

    [frange] Convert frange_add_zeros to multi-range

    frange_add_zeros ensures both -0.0 and +0.0 are present whenever the
    range holds a zero, but it detected the zero via the hull endpoints.
    For a multi-pair range whose zero sits on an inner boundary, it failed
    to add +0.0.  For example, for [-1.0,-0.0][1.0,1.0] which has a hull
    of [-1.0,1.0], it failed to add +0.0.

    Tested on ppc64le Linux: regstrap and LAPACK.

    gcc/ChangeLog:

            * range-op-float.cc (frange_add_zeros): Detect a contained zero
with
            the contains_zero_p method instead of inspecting the hull
endpoints.
            (range_op_float_tests): Test that op1_range for == admits +0.0 for
a
            multi-pair operand holding an inner -0.0.

 gcc/range-op-float.cc | 15 +++++++++++++--

Causes the vax-unknown-linux port to fail selftests:

home/jlaw/test/gcc/gcc/range-op-float.cc:3278: range_op_float_tests: FAIL:
ASSERT_FALSE ((r0.contains_p (dconst0)))
In function 'test_fn':
cc1: internal compiler error: in fail, at selftest.cc:48
0x1eed60c internal_error(char const*, ...)
        /home/jlaw/test/gcc/gcc/diagnostic-global-context.cc:787
0x88d87b fancy_abort(char const*, int, char const*)
        /home/jlaw/test/gcc/gcc/diagnostics/context.cc:1813
0x1ee4aa7 selftest::fail(selftest::location const&, char const*)
        /home/jlaw/test/gcc/gcc/selftest.cc:48
0xf504fe selftest::range_op_float_tests()
        /home/jlaw/test/gcc/gcc/range-op-float.cc:3278
0x1be3585 test_ranges
        /home/jlaw/test/gcc/gcc/function-tests.cc:586
0x1be3585 selftest::function_tests_cc_tests()
        /home/jlaw/test/gcc/gcc/function-tests.cc:682
0x1d3f478 selftest::run_tests()
        /home/jlaw/test/gcc/gcc/selftest-run-tests.cc:116
0xff03aa toplev::run_self_tests()
        /home/jlaw/test/gcc/gcc/toplev.cc:2287