https://gcc.gnu.org/bugzilla/show_bug.cgi?id=45178
--- Comment #4 from Jan Hubicka <hubicka at ucw dot cz> --- > and that marks a condition that has nothing to do with loop control. I > suppose > we can elide this when the loop has no exit (we are already marking backedges > of irreducible loops). > > But I never actually understood this particular part of CD-DCE. Skipping this for loops with no exit edges should work - we will end up removing some control flow inside but the logic finding path to next live stmt can probably be told to chose any path in empty fully infinite loop. Honza
