From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 4D6C5385842B; Tue, 12 Jul 2022 16:10:47 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 4D6C5385842B From: "asolokha at gmx dot com" To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/106249] [13 Regression] ICE in check_loop_closed_ssa_def, at tree-ssa-loop-manip.cc:645 Date: Tue, 12 Jul 2022 16:10:47 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: tree-optimization X-Bugzilla-Version: 13.0 X-Bugzilla-Keywords: ice-on-valid-code X-Bugzilla-Severity: normal X-Bugzilla-Who: asolokha at gmx dot com X-Bugzilla-Status: NEW X-Bugzilla-Resolution: X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: 13.0 X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-BeenThere: gcc-bugs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-bugs mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 12 Jul 2022 16:10:47 -0000 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D106249 --- Comment #4 from Arseny Solokha --- Finally, a C testcase, and w/o -funreachable-traps: void foo (double *arr) { int i, j; for (i =3D 0; i < 4; ++i) for (j =3D 0; j < 4; ++j) arr[j] =3D 0; for (i =3D 1; i < 4; ++i) for (j =3D 0; j < 4; ++j) arr[j] =3D 1.0 / (i + 1); } % gcc-13.0.0 -O1 -floop-unroll-and-jam --param unroll-jam-min-percent=3D0 -c o87rfyb9.c during GIMPLE pass: unrolljam o87rfyb9.c: In function 'foo': o87rfyb9.c:2:1: internal compiler error: in check_loop_closed_ssa_def, at tree-ssa-loop-manip.cc:645 2 | foo (double *arr) | ^~~ 0x772a0b check_loop_closed_ssa_def =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20220710/work/gcc-13-20220710/gcc/tr= ee-ssa-loop-manip.cc:645 0x1064e6f check_loop_closed_ssa_bb =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20220710/work/gcc-13-20220710/gcc/tr= ee-ssa-loop-manip.cc:670 0x1066116 verify_loop_closed_ssa(bool, loop*) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20220710/work/gcc-13-20220710/gcc/tr= ee-ssa-loop-manip.cc:695 0x1066116 verify_loop_closed_ssa(bool, loop*) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20220710/work/gcc-13-20220710/gcc/tr= ee-ssa-loop-manip.cc:679 0x1068849 checking_verify_loop_closed_ssa =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20220710/work/gcc-13-20220710/gcc/tr= ee-ssa-loop-manip.h:34 0x1068849 tree_transform_and_unroll_loop(loop*, unsigned int, tree_niter_de= sc*, void (*)(loop*, void*), void*) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20220710/work/gcc-13-20220710/gcc/tr= ee-ssa-loop-manip.cc:1431 0x1cf56cc tree_loop_unroll_and_jam =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20220710/work/gcc-13-20220710/gcc/gi= mple-loop-jam.cc:595=