[Bug bootstrap/87640] [9 regression] internal compiler error: in check, at tree-vrp.c:155

[su at cs dot ucdavis.edu]

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

Zhendong Su <su at cs dot ucdavis.edu> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |su at cs dot ucdavis.edu

--- Comment #3 from Zhendong Su <su at cs dot ucdavis.edu> ---
Here is a small reproducer: 

$ gcctk -Os small.c
during GIMPLE pass: evrp
small.c: In function ‘main’:
small.c:9:1: internal compiler error: in check, at tree-vrp.c:155
    9 | }
      | ^
0xf400ef value_range::check()
        ../../gcc-source-trunk/gcc/tree-vrp.c:155
0xf45800 value_range::value_range(value_range_kind, tree_node*, tree_node*,
bitmap_head*)
        ../../gcc-source-trunk/gcc/tree-vrp.c:110
0xf45800 set_value_range_with_overflow
        ../../gcc-source-trunk/gcc/tree-vrp.c:1422
0xf45800 extract_range_from_binary_expr_1(value_range*, tree_code, tree_node*,
value_range const*, value_range const*)
        ../../gcc-source-trunk/gcc/tree-vrp.c:1680
0xfcafcd vr_values::extract_range_from_binary_expr(value_range*, tree_code,
tree_node*, tree_node*, tree_node*)
        ../../gcc-source-trunk/gcc/vr-values.c:734
0xfcd794 vr_values::extract_range_from_assignment(value_range*, gassign*)
        ../../gcc-source-trunk/gcc/vr-values.c:1392
0x14a5679 evrp_range_analyzer::record_ranges_from_stmt(gimple*, bool)
        ../../gcc-source-trunk/gcc/gimple-ssa-evrp-analyze.c:285
0x14a33b8 evrp_dom_walker::before_dom_children(basic_block_def*)
        ../../gcc-source-trunk/gcc/gimple-ssa-evrp.c:139
0x147f92a dom_walker::walk(basic_block_def*)
        ../../gcc-source-trunk/gcc/domwalk.c:353
0x14a3e31 execute_early_vrp
        ../../gcc-source-trunk/gcc/gimple-ssa-evrp.c:311
0x14a3e31 execute
        ../../gcc-source-trunk/gcc/gimple-ssa-evrp.c:348
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
$
$ cat small.c
int main ()
{ 
  unsigned b = 0;
  int c, d = -8;
  for (; b < 2; b++)
    for (c = 1; c; c--)
      d++;
  return 0;
}
$