public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
* [Bug c/109331] New: ice: definition in block 7 does not dominate use in block 8 @ 2023-03-29 8:56 dcb314 at hotmail dot com 2023-03-29 9:53 ` [Bug tree-optimization/109331] " rguenth at gcc dot gnu.org ` (3 more replies) 0 siblings, 4 replies; 5+ messages in thread From: dcb314 at hotmail dot com @ 2023-03-29 8:56 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109331 Bug ID: 109331 Summary: ice: definition in block 7 does not dominate use in block 8 Product: gcc Version: 13.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: dcb314 at hotmail dot com Target Milestone: --- This reduced C code: ustol_dpp; ustol(flags) { char *s; if (s) flags |= 3; switch (flags & 3) case 3: while (*s) case '+': ++s; if (flags) ustol_dpp = s; } when compiled by this morning's trunk gcc and flag -O1, does this: $ ~/gcc/results/bin/gcc -c -w -O1 bug904.c bug904.c: In function ‘ustol’: bug904.c:2:1: error: definition in block 7 does not dominate use in block 8 2 | ustol(flags) { | ^~~~~ for SSA_NAME: s_8 in statement: s.0_3 = (long int) s_8; during GIMPLE pass: forwprop bug904.c:2:1: internal compiler error: verify_ssa failed 0x110bc49 verify_ssa(bool, bool) ../../trunk.year/gcc/tree-ssa.cc:1211 This was fine with yesterday's compiler: $ ~/gcc/results.20230328/bin/gcc -c -w -O1 bug904.c $ Git range is g:304c7d44a2212e6f to g:36330e2e95564a36, which is 35 commits. ^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug tree-optimization/109331] ice: definition in block 7 does not dominate use in block 8 2023-03-29 8:56 [Bug c/109331] New: ice: definition in block 7 does not dominate use in block 8 dcb314 at hotmail dot com @ 2023-03-29 9:53 ` rguenth at gcc dot gnu.org 2023-03-29 11:56 ` cvs-commit at gcc dot gnu.org ` (2 subsequent siblings) 3 siblings, 0 replies; 5+ messages in thread From: rguenth at gcc dot gnu.org @ 2023-03-29 9:53 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109331 Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Component|c |tree-optimization Assignee|unassigned at gcc dot gnu.org |rguenth at gcc dot gnu.org Ever confirmed|0 |1 Status|UNCONFIRMED |ASSIGNED Last reconfirmed| |2023-03-29 --- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> --- Mine. ^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug tree-optimization/109331] ice: definition in block 7 does not dominate use in block 8 2023-03-29 8:56 [Bug c/109331] New: ice: definition in block 7 does not dominate use in block 8 dcb314 at hotmail dot com 2023-03-29 9:53 ` [Bug tree-optimization/109331] " rguenth at gcc dot gnu.org @ 2023-03-29 11:56 ` cvs-commit at gcc dot gnu.org 2023-03-29 11:56 ` rguenth at gcc dot gnu.org 2023-03-29 16:08 ` [Bug tree-optimization/109331] [13 Regression] " pinskia at gcc dot gnu.org 3 siblings, 0 replies; 5+ messages in thread From: cvs-commit at gcc dot gnu.org @ 2023-03-29 11:56 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109331 --- 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:86efc490ab86bfa00720479b4714da23cd7df797 commit r13-6928-g86efc490ab86bfa00720479b4714da23cd7df797 Author: Richard Biener <rguenther@suse.de> Date: Wed Mar 29 11:59:16 2023 +0200 tree-optimization/109331 - make sure to clean up the CFG after forwprop When forwprop discovers unreachable code or makes decisions based on unreachable edges make sure to cleanup the CFG since otherwise SSA form can become invalid. PR tree-optimization/109331 * tree-ssa-forwprop.cc (pass_forwprop::execute): When we discover a taken edge make sure to cleanup the CFG. * gcc.dg/torture/pr109331.c: New testcase. ^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug tree-optimization/109331] ice: definition in block 7 does not dominate use in block 8 2023-03-29 8:56 [Bug c/109331] New: ice: definition in block 7 does not dominate use in block 8 dcb314 at hotmail dot com 2023-03-29 9:53 ` [Bug tree-optimization/109331] " rguenth at gcc dot gnu.org 2023-03-29 11:56 ` cvs-commit at gcc dot gnu.org @ 2023-03-29 11:56 ` rguenth at gcc dot gnu.org 2023-03-29 16:08 ` [Bug tree-optimization/109331] [13 Regression] " pinskia at gcc dot gnu.org 3 siblings, 0 replies; 5+ messages in thread From: rguenth at gcc dot gnu.org @ 2023-03-29 11:56 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109331 Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |RESOLVED Resolution|--- |FIXED --- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- Fixed. ^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug tree-optimization/109331] [13 Regression] ice: definition in block 7 does not dominate use in block 8 2023-03-29 8:56 [Bug c/109331] New: ice: definition in block 7 does not dominate use in block 8 dcb314 at hotmail dot com ` (2 preceding siblings ...) 2023-03-29 11:56 ` rguenth at gcc dot gnu.org @ 2023-03-29 16:08 ` pinskia at gcc dot gnu.org 3 siblings, 0 replies; 5+ messages in thread From: pinskia at gcc dot gnu.org @ 2023-03-29 16:08 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109331 Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |ice-on-valid-code Target Milestone|--- |13.0 Summary|ice: definition in block 7 |[13 Regression] ice: |does not dominate use in |definition in block 7 does |block 8 |not dominate use in block 8 ^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2023-03-29 16:08 UTC | newest] Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2023-03-29 8:56 [Bug c/109331] New: ice: definition in block 7 does not dominate use in block 8 dcb314 at hotmail dot com 2023-03-29 9:53 ` [Bug tree-optimization/109331] " rguenth at gcc dot gnu.org 2023-03-29 11:56 ` cvs-commit at gcc dot gnu.org 2023-03-29 11:56 ` rguenth at gcc dot gnu.org 2023-03-29 16:08 ` [Bug tree-optimization/109331] [13 Regression] " pinskia 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).