[Bug c/106189] New: [10/11/12/13 Regression] ICE: Floating point exception

[gscfq@t-online.de]

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

            Bug ID: 106189
           Summary: [10/11/12/13 Regression] ICE: Floating point exception
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gscfq@t-online.de
  Target Milestone: ---

Started with r9 at -O2+ and file c-c++-common/Warray-bounds-9.c :


$ gcc-13-20220703 -c Warray-bounds-9.c -O2 -w -Warray-bounds=2
-mfunction-return=keep
during GIMPLE pass: vrp
Warray-bounds-9.c: In function 'a_n_0':
Warray-bounds-9.c:24:12: internal compiler error: Floating point exception
   24 | NOIPA void a_n_0 (int n)
      |            ^~~~~
0xc2cd3f crash_signal
        ../../gcc/toplev.cc:322
0x18092c4 array_bounds_checker::check_mem_ref(unsigned int, tree_node*, bool)
        ../../gcc/gimple-array-bounds.cc:537
0x180a779 array_bounds_checker::check_array_bounds(tree_node**, int*, void*)
        ../../gcc/gimple-array-bounds.cc:727
0xec2a22 walk_tree_1(tree_node**, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, false, default_hash_traits<tree_node*> >*,
tree_node* (*)(tree_node**, int*, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, false, default_hash_traits<tree_node*> >*))
        ../../gcc/tree.cc:11237
0x97fba8 walk_gimple_op(gimple*, tree_node* (*)(tree_node**, int*, void*),
walk_stmt_info*)
        ../../gcc/gimple-walk.cc:202
0x1808dd5 check_array_bounds_dom_walker::before_dom_children(basic_block_def*)
        ../../gcc/gimple-array-bounds.cc:790
0x17f7a14 dom_walker::walk(basic_block_def*)
        ../../gcc/domwalk.cc:311
0x180a4da array_bounds_checker::check()
        ../../gcc/gimple-array-bounds.cc:804
0xeab6b6 execute_vrp
        ../../gcc/tree-vrp.cc:4234