https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109596
--- Comment #9 from Jakub Jelinek <jakub at gcc dot gnu.org> --- BTW, just curious, r14-162 had: /* Ensure that the header will have just the latch as a predecessor inside the loop. */ - if (!single_pred_p (exit->dest)) + if (!single_pred_p (nonexit->dest)) { - header = split_edge (exit); + header = split_edge (nonexit); exit = single_pred_edge (header); } chunk, shouldn't that be nonexit = single_pred_edge (header); or is that line correct?