https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127964
--- Comment #3 from Drea Pinski <pinskia at gcc dot gnu.org> --- My code is correct. My comment is backwards, it should have been: ``` The problem is the loop exit edge does not have to be the false edge; it could have been the true edge. ``` But the point is that the loop exit edge is not always true or false edges. You need to check which one it is if you are changing the condition to always exit.
