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

[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.

[Bug tree-optimization/107982] [13 Regression] ICE in in lower_bound, at value-range.h:350

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|middle-end                  |tree-optimization
   Target Milestone|---                         |13.0
            Summary|ICE in in lower_bound, at   |[13 Regression] ICE in in
                   |value-range.h:350           |lower_bound, at
                   |                            |value-range.h:350
           Keywords|                            |ice-on-valid-code

[Bug tree-optimization/107982] [13 Regression] ICE in in lower_bound, at value-range.h:350

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |DUPLICATE

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Dup.

*** This bug has been marked as a duplicate of bug 107975 ***