https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82831
--- Comment #8 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > Thanks for working this out! The patch looks good to me. No, I disagree, the patch only papers over the problem. > I wonder how we ended up with such contradictory block at the first place? > Was > it introduced by someone between the last expensive cfg cleanup and > bb-reorder? Yes, that's what needs to be investigated and probably fixed.