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

[asolokha at gmx dot com]

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

            Bug ID: 106249
           Summary: 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: ---

gfortran 13.0.0 20220710 snapshot (g:0587cef3d7962a8b0f44779589ba2920dd3d71e5)
ICEs when compiling the following testcase w/ -O1 -fpeel-loops
-funreachable-traps:

      SUBROUTINE YYPARS(LSTACK,YYPS,YYSTAT)
      INTEGER LSTACK,YYPS,YYSTAT
      INTEGER YYXI
      INTEGER YYEXCA(0:11)

      YYXI = 1
 10   CONTINUE

      IF (YYPS .GT. LSTACK) CALL ERRORM()

 30   CONTINUE
      IF ((YYEXCA(YYXI) .NE. (-1)) .OR. (YYEXCA(YYXI) .NE. YYSTAT)) THEN
         YYXI = YYXI + 2
         GO TO 30
      END IF
      GO TO 10

      RETURN

      END

% gfortran-13.0.0 -O1 -fpeel-loops -funreachable-traps -c apyn3fnn.f
during GIMPLE pass: cunroll
apyn3fnn.f:1:23:

    1 |       SUBROUTINE YYPARS(LSTACK,YYPS,YYSTAT)
      |                       ^
internal compiler error: in check_loop_closed_ssa_def, at
tree-ssa-loop-manip.cc:645
0x771827 check_loop_closed_ssa_def
       
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220710/work/gcc-13-20220710/gcc/tree-ssa-loop-manip.cc:645
0x10e97c4 check_loop_closed_ssa_bb
       
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220710/work/gcc-13-20220710/gcc/tree-ssa-loop-manip.cc:659
0x10eab26 verify_loop_closed_ssa(bool, loop*)
       
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220710/work/gcc-13-20220710/gcc/tree-ssa-loop-manip.cc:695
0x10eab26 verify_loop_closed_ssa(bool, loop*)
       
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220710/work/gcc-13-20220710/gcc/tree-ssa-loop-manip.cc:679
0x10d24d6 tree_unroll_loops_completely
       
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220710/work/gcc-13-20220710/gcc/tree-ssa-loop-ivcanon.cc:1499
0x10d2551 execute
       
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220710/work/gcc-13-20220710/gcc/tree-ssa-loop-ivcanon.cc:1603
0x10d2551 execute
       
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220710/work/gcc-13-20220710/gcc/tree-ssa-loop-ivcanon.cc:1593