[Bug tree-optimization/106397] New: [13 Regression] ICE in check_loop_closed_ssa_def, at tree-ssa-loop-manip.cc:645

["asolokha at gmx dot com" <gcc-bugzilla@gcc.gnu.org>]

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

            Bug ID: 106397
           Summary: [13 Regression] ICE in check_loop_closed_ssa_def, at
                    tree-ssa-loop-manip.cc:645
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: asolokha at gmx dot com
  Target Milestone: ---
            Target: x86_64-pc-linux-gnu

gcc 13.0.0 20220717 snapshot (g:7bcd7f47359b903bf7a193b95d4450d9d69c60ba) ICEs
when compiling the following testcase w/ -O3 -march=k8-sse3 --param
l2-cache-size=0 --param prefetch-latency=3:

int
bar (void)
{
  /* No return statement. */
}

__attribute__ ((simd)) int
foo (void)
{
  if (bar ())
    return 0;

  __builtin_unreachable ();
}

% x86_64-pc-linux-gnu-gcc-13.0.0 -O3 -march=k8-sse3 --param l2-cache-size=0
--param prefetch-latency=3 -c q9jpcpot.c
during GIMPLE pass: aprefetch
q9jpcpot.c: In function 'foo.simdclone.7':
q9jpcpot.c:8:1: internal compiler error: in check_loop_closed_ssa_def, at
tree-ssa-loop-manip.cc:645
    8 | foo (void)
      | ^~~
0x773567 check_loop_closed_ssa_def
       
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220717/work/gcc-13-20220717/gcc/tree-ssa-loop-manip.cc:645
0x1063824 check_loop_closed_ssa_bb
       
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220717/work/gcc-13-20220717/gcc/tree-ssa-loop-manip.cc:659
0x1064b86 verify_loop_closed_ssa(bool, loop*)
       
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220717/work/gcc-13-20220717/gcc/tree-ssa-loop-manip.cc:695
0x1064b86 verify_loop_closed_ssa(bool, loop*)
       
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220717/work/gcc-13-20220717/gcc/tree-ssa-loop-manip.cc:679
0xdf2b34 execute_function_todo
       
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220717/work/gcc-13-20220717/gcc/passes.cc:2109
0xdf2f0c execute_todo
       
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220717/work/gcc-13-20220717/gcc/passes.cc:2145