[Bug middle-end/107679] [13 Regression] ICE in maybe_register_def, at tree-into-ssa.cc:1914
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107679 Richard Biener changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|--- |FIXED --- Comment #5 from Richard Biener --- Fixed.
[Bug middle-end/107679] [13 Regression] ICE in maybe_register_def, at tree-into-ssa.cc:1914
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107679 --- Comment #4 from CVS Commits --- The master branch has been updated by Richard Biener : https://gcc.gnu.org/g:8a5f3663f8de45b7030dfe7ce962783dc1a19885 commit r13-4101-g8a5f3663f8de45b7030dfe7ce962783dc1a19885 Author: Richard Biener Date: Wed Nov 16 13:57:14 2022 +0100 middle-end/107679 - fix SSA rewrite of clobber of parameter When the frontend clobbers a parameter and that parameter gets rewritten into SSA then we ICE because we didn't expect this. Avoid using the parameter decl to create a SSA default def in this case. PR middle-end/107679 * tree-into-ssa.cc (maybe_register_def): Use new temporary if we require an uninitialized value for a parameter decl. * gfortran.dg/pr107679.f90: New testcase.
[Bug middle-end/107679] [13 Regression] ICE in maybe_register_def, at tree-into-ssa.cc:1914
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107679 Richard Biener changed: What|Removed |Added Component|fortran |middle-end Assignee|unassigned at gcc dot gnu.org |rguenth at gcc dot gnu.org Status|NEW |ASSIGNED Priority|P4 |P3 --- Comment #3 from Richard Biener --- Kind-of, yes. Somehow 'z' got marked for renaming, probably because we removed a TREE_ADDRESABLE flag. The SSA rewrite wants to replace [local count: 1073741824]: z ={v} {CLOBBER}; return; with an "uninitialized" def, but for PARM_DECLs the default def would be the actual parameter value. There's nothing wrong with clobbering 'z' I think, just the into-ssa code isn't prepared for this - the fix would be to create an anonymous default def in this case.