https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103680
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> --- And for CFG cleanup there's no profile updating done when passes leave CFG update to it by simplifying conditions to if (0) or if (1). One could argue that "late" simplifications simply make the guessed profile bogus - for feedback profiles the cut paths should have zero count already.