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
