https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106198
Bug ID: 106198
Summary: [13 Regression] 25_algorithms/find_end/constrained.cc
ICEs in check_loop_closed_ssa_def
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: rguenth at gcc dot gnu.org
Target Milestone: ---
Related to PR106182, another case where CFG cleanup causes virtual LC SSA form
to go out-of-date.
/* This usually does nothing. But sometimes parts of cfg that originally
were inside a loop get out of it due to edge removal (since they
become unreachable by back edges from latch). Also a former
irreducible loop can become reducible - in this case force a full
rewrite into loop-closed SSA form. */
if (loops_state_satisfies_p (LOOP_CLOSED_SSA))
rewrite_into_loop_closed_ssa (n_new_or_deleted_loops ? NULL : changed_bbs,
TODO_update_ssa);
changing it to unconditionally pass NULL fixes the case.
