public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/107865] New: [12/13 Regression] ICE in verify_loop_structure, at cfgloop.cc:1748 (Error: loop 3's number of iterations '_61 > 0 ? (uint128_t) (_61 + -1) : 0' references the released SSA name '_61')
@ 2022-11-25 4:32 asolokha at gmx dot com
2022-11-25 7:31 ` [Bug tree-optimization/107865] " rguenth at gcc dot gnu.org
` (4 more replies)
0 siblings, 5 replies; 6+ messages in thread
From: asolokha at gmx dot com @ 2022-11-25 4:32 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107865
Bug ID: 107865
Summary: [12/13 Regression] ICE in verify_loop_structure, at
cfgloop.cc:1748 (Error: loop 3's number of iterations
'_61 > 0 ? (uint128_t) (_61 + -1) : 0' references the
released SSA name '_61')
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 20221120 snapshot (g:a16a5460447eaaff0b4468064e4d7b1cc8fc42eb)
ICEs when compiling the following testcase w/ -O1 -floop-parallelize-all
-ftree-parallelize-loops=2:
SUBROUTINE FNC (F)
IMPLICIT REAL (A-H)
DIMENSION F(N)
DO I = 1, 6
DO J = 1, 6
IF (J .NE. I) THEN
F(I) = F(I) + 1
END IF
END DO
END DO
RETURN
END
% gfortran-13 -O1 -floop-parallelize-all -ftree-parallelize-loops=2 -c
g7tbwxor.f
g7tbwxor.f:1:20:
1 | SUBROUTINE FNC (F)
| ^
Error: loop 3's number of iterations '_61 > 0 ? (uint128_t) (_61 + -1) : 0'
references the released SSA name '_61'
during GIMPLE pass: ompexpssa
g7tbwxor.f:1:20: internal compiler error: in verify_loop_structure, at
cfgloop.cc:1748
0x6ac564 verify_loop_structure()
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/cfgloop.cc:1748
0x1ea4a0b expand_omp_taskreg
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/omp-expand.cc:1513
0x1ea91d7 expand_omp_synch
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/omp-expand.cc:8653
0x1ea91d7 expand_omp
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/omp-expand.cc:10610
0x1eab175 execute_expand_omp
/var/tmp/portage/sys-devel/gcc-13.0.0_p20221120/work/gcc-13-20221120/gcc/omp-expand.cc:10813
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/107865] [12/13 Regression] ICE in verify_loop_structure, at cfgloop.cc:1748 (Error: loop 3's number of iterations '_61 > 0 ? (uint128_t) (_61 + -1) : 0' references the released SSA name '_61')
2022-11-25 4:32 [Bug tree-optimization/107865] New: [12/13 Regression] ICE in verify_loop_structure, at cfgloop.cc:1748 (Error: loop 3's number of iterations '_61 > 0 ? (uint128_t) (_61 + -1) : 0' references the released SSA name '_61') asolokha at gmx dot com
@ 2022-11-25 7:31 ` rguenth at gcc dot gnu.org
2022-11-25 8:19 ` cvs-commit at gcc dot gnu.org
` (3 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu.org @ 2022-11-25 7:31 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107865
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Ever confirmed|0 |1
Keywords| |ice-checking
Assignee|unassigned at gcc dot gnu.org |rguenth at gcc dot gnu.org
Last reconfirmed| |2022-11-25
Status|UNCONFIRMED |ASSIGNED
Target Milestone|--- |12.3
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Testing a patch.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/107865] [12/13 Regression] ICE in verify_loop_structure, at cfgloop.cc:1748 (Error: loop 3's number of iterations '_61 > 0 ? (uint128_t) (_61 + -1) : 0' references the released SSA name '_61')
2022-11-25 4:32 [Bug tree-optimization/107865] New: [12/13 Regression] ICE in verify_loop_structure, at cfgloop.cc:1748 (Error: loop 3's number of iterations '_61 > 0 ? (uint128_t) (_61 + -1) : 0' references the released SSA name '_61') asolokha at gmx dot com
2022-11-25 7:31 ` [Bug tree-optimization/107865] " rguenth at gcc dot gnu.org
@ 2022-11-25 8:19 ` cvs-commit at gcc dot gnu.org
2022-11-25 8:19 ` [Bug tree-optimization/107865] [12 " rguenth at gcc dot gnu.org
` (2 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2022-11-25 8:19 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107865
--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Richard Biener <rguenth@gcc.gnu.org>:
https://gcc.gnu.org/g:bcc2449384f2092cbdf5d6ac2357aeabe3212b2e
commit r13-4295-gbcc2449384f2092cbdf5d6ac2357aeabe3212b2e
Author: Richard Biener <rguenther@suse.de>
Date: Fri Nov 25 08:27:42 2022 +0100
tree-optimization/107865 - ICE with outlining of loops
The following makes sure to clear loops number of iterations when
outlining them as part of a SESE region as can happen with
auto-parallelization. The referenced SSA names become stale otherwise.
PR tree-optimization/107865
* tree-cfg.cc (move_sese_region_to_fn): Free the number of
iterations of moved loops.
* gfortran.dg/graphite/pr107865.f90: New testcase.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/107865] [12 Regression] ICE in verify_loop_structure, at cfgloop.cc:1748 (Error: loop 3's number of iterations '_61 > 0 ? (uint128_t) (_61 + -1) : 0' references the released SSA name '_61')
2022-11-25 4:32 [Bug tree-optimization/107865] New: [12/13 Regression] ICE in verify_loop_structure, at cfgloop.cc:1748 (Error: loop 3's number of iterations '_61 > 0 ? (uint128_t) (_61 + -1) : 0' references the released SSA name '_61') asolokha at gmx dot com
2022-11-25 7:31 ` [Bug tree-optimization/107865] " rguenth at gcc dot gnu.org
2022-11-25 8:19 ` cvs-commit at gcc dot gnu.org
@ 2022-11-25 8:19 ` rguenth at gcc dot gnu.org
2022-12-12 11:21 ` cvs-commit at gcc dot gnu.org
2022-12-12 11:22 ` rguenth at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu.org @ 2022-11-25 8:19 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107865
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|[12/13 Regression] ICE in |[12 Regression] ICE in
|verify_loop_structure, at |verify_loop_structure, at
|cfgloop.cc:1748 (Error: |cfgloop.cc:1748 (Error:
|loop 3's number of |loop 3's number of
|iterations '_61 > 0 ? |iterations '_61 > 0 ?
|(uint128_t) (_61 + -1) : 0' |(uint128_t) (_61 + -1) : 0'
|references the released SSA |references the released SSA
|name '_61') |name '_61')
Known to work| |13.0
Known to fail| |12.2.0
Priority|P3 |P2
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/107865] [12 Regression] ICE in verify_loop_structure, at cfgloop.cc:1748 (Error: loop 3's number of iterations '_61 > 0 ? (uint128_t) (_61 + -1) : 0' references the released SSA name '_61')
2022-11-25 4:32 [Bug tree-optimization/107865] New: [12/13 Regression] ICE in verify_loop_structure, at cfgloop.cc:1748 (Error: loop 3's number of iterations '_61 > 0 ? (uint128_t) (_61 + -1) : 0' references the released SSA name '_61') asolokha at gmx dot com
` (2 preceding siblings ...)
2022-11-25 8:19 ` [Bug tree-optimization/107865] [12 " rguenth at gcc dot gnu.org
@ 2022-12-12 11:21 ` cvs-commit at gcc dot gnu.org
2022-12-12 11:22 ` rguenth at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2022-12-12 11:21 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107865
--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-12 branch has been updated by Richard Biener
<rguenth@gcc.gnu.org>:
https://gcc.gnu.org/g:09469705318de7a0fe5f10f5d5b92870d3fada6e
commit r12-8978-g09469705318de7a0fe5f10f5d5b92870d3fada6e
Author: Richard Biener <rguenther@suse.de>
Date: Fri Nov 25 08:27:42 2022 +0100
tree-optimization/107865 - ICE with outlining of loops
The following makes sure to clear loops number of iterations when
outlining them as part of a SESE region as can happen with
auto-parallelization. The referenced SSA names become stale otherwise.
PR tree-optimization/107865
* tree-cfg.cc (move_sese_region_to_fn): Free the number of
iterations of moved loops.
* gfortran.dg/graphite/pr107865.f90: New testcase.
(cherry picked from commit bcc2449384f2092cbdf5d6ac2357aeabe3212b2e)
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/107865] [12 Regression] ICE in verify_loop_structure, at cfgloop.cc:1748 (Error: loop 3's number of iterations '_61 > 0 ? (uint128_t) (_61 + -1) : 0' references the released SSA name '_61')
2022-11-25 4:32 [Bug tree-optimization/107865] New: [12/13 Regression] ICE in verify_loop_structure, at cfgloop.cc:1748 (Error: loop 3's number of iterations '_61 > 0 ? (uint128_t) (_61 + -1) : 0' references the released SSA name '_61') asolokha at gmx dot com
` (3 preceding siblings ...)
2022-12-12 11:21 ` cvs-commit at gcc dot gnu.org
@ 2022-12-12 11:22 ` rguenth at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu.org @ 2022-12-12 11:22 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107865
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |FIXED
Status|ASSIGNED |RESOLVED
Known to work| |12.2.1
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed.
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2022-12-12 11:22 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-11-25 4:32 [Bug tree-optimization/107865] New: [12/13 Regression] ICE in verify_loop_structure, at cfgloop.cc:1748 (Error: loop 3's number of iterations '_61 > 0 ? (uint128_t) (_61 + -1) : 0' references the released SSA name '_61') asolokha at gmx dot com
2022-11-25 7:31 ` [Bug tree-optimization/107865] " rguenth at gcc dot gnu.org
2022-11-25 8:19 ` cvs-commit at gcc dot gnu.org
2022-11-25 8:19 ` [Bug tree-optimization/107865] [12 " rguenth at gcc dot gnu.org
2022-12-12 11:21 ` cvs-commit at gcc dot gnu.org
2022-12-12 11:22 ` rguenth at gcc dot gnu.org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).