[Bug middle-end/107982] New: ICE in in lower_bound, at value-range.h:350

[anlauf at gcc dot gnu.org]

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

            Bug ID: 107982
           Summary: ICE in in lower_bound, at value-range.h:350
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: anlauf at gcc dot gnu.org
  Target Milestone: ---

Created attachment 54022
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54022&action=edit
Reproducer

This appears to be a recent regression.

The testcase is reduced from SLATEC.

ICEs with -O2, -O3 on x86_64-pc-linux-gnu, but succeeds with -O0, -O1, -Os.

during GIMPLE pass: dom
gfcbug156.f90:1:19:

    1 |   SUBROUTINE TQLRAT (N, D, E2, IERR)
      |                   ^
internal compiler error: in lower_bound, at value-range.h:350
0x870e8c frange::lower_bound() const
        ../../gcc-trunk/gcc/value-range.h:350
0x1e6fd39 frange::lower_bound() const
        ../../gcc-trunk/gcc/range-op-float.cc:1927
0x1e6fd39 foperator_div::op2_range(frange&, tree_node*, frange const&, frange
const&, relation_trio) const
        ../../gcc-trunk/gcc/range-op-float.cc:2328
0x1d4fc3c gori_compute::compute_operand2_range(vrange&,
gimple_range_op_handler&, vrange const&, tree_node*, fur_source&,
value_relation*)
        ../../gcc-trunk/gcc/gimple-range-gori.cc:1196
0x1d4e94e gori_compute::compute_operand_range(vrange&, gimple*, vrange const&,
tree_node*, fur_source&, value_relation*)
        ../../gcc-trunk/gcc/gimple-range-gori.cc:694
0x1d4f40a gori_compute::compute_operand1_range(vrange&,
gimple_range_op_handler&, vrange const&, tree_node*, fur_source&,
value_relation*)
        ../../gcc-trunk/gcc/gimple-range-gori.cc:1150
0x1d4e9cd gori_compute::compute_operand_range(vrange&, gimple*, vrange const&,
tree_node*, fur_source&, value_relation*)
        ../../gcc-trunk/gcc/gimple-range-gori.cc:692
0x1d4fcc3 gori_compute::compute_operand2_range(vrange&,
gimple_range_op_handler&, vrange const&, tree_node*, fur_source&,
value_relation*)
        ../../gcc-trunk/gcc/gimple-range-gori.cc:1243
0x1d4e94e gori_compute::compute_operand_range(vrange&, gimple*, vrange const&,
tree_node*, fur_source&, value_relation*)
        ../../gcc-trunk/gcc/gimple-range-gori.cc:694
0x1d51c25 gori_compute::outgoing_edge_range_p(vrange&, edge_def*, tree_node*,
range_query&)
        ../../gcc-trunk/gcc/gimple-range-gori.cc:1373
0x11473bf path_range_query::compute_ranges_in_block(basic_block_def*)
        ../../gcc-trunk/gcc/gimple-range-path.cc:454
0x1147a81 path_range_query::compute_ranges(bitmap_head const*)
        ../../gcc-trunk/gcc/gimple-range-path.cc:622
0x11cfb7d hybrid_jt_simplifier::simplify(gimple*, gimple*, basic_block_def*,
jt_state*)
        ../../gcc-trunk/gcc/tree-ssa-threadedge.cc:1418
0x11cee4a jump_threader::simplify_control_stmt_condition(edge_def*, gimple*)
        ../../gcc-trunk/gcc/tree-ssa-threadedge.cc:385
0x11cf53a jump_threader::thread_through_normal_block(vec<jump_thread_edge*,
va_heap, vl_ptr>*, edge_def*, bitmap_head*)
        ../../gcc-trunk/gcc/tree-ssa-threadedge.cc:951
0x11d0737 jump_threader::thread_through_normal_block(vec<jump_thread_edge*,
va_heap, vl_ptr>*, edge_def*, bitmap_head*)
        ../../gcc-trunk/gcc/tree-ssa-threadedge.cc:1175
0x11d0737 jump_threader::thread_across_edge(edge_def*)
        ../../gcc-trunk/gcc/tree-ssa-threadedge.cc:1154
0x10c9624 dom_opt_dom_walker::after_dom_children(basic_block_def*)
        ../../gcc-trunk/gcc/tree-ssa-dom.cc:1725
0x1d07a8f dom_walker::walk(basic_block_def*)
        ../../gcc-trunk/gcc/domwalk.cc:354
0x10ce0d4 execute
        ../../gcc-trunk/gcc/tree-ssa-dom.cc:939
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.