https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102711
--- Comment #5 from rguenther at suse dot de <rguenther at suse dot de> --- On Wed, 13 Oct 2021, marxin at gcc dot gnu.org wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102711 > > Martin Liška <marxin at gcc dot gnu.org> changed: > > What |Removed |Added > ---------------------------------------------------------------------------- > CC| |marxin at gcc dot gnu.org > > --- Comment #4 from Martin Liška <marxin at gcc dot gnu.org> --- > Fixed on master with r12-2591-g2e96b5f14e402569. OK, that likely made it latent only. > Note it started with r8-2318-g34e5c5116fa58f77. I see - probably makes sense since that subtly changes post-dominators for backwards unreachable regions which reflects back on control dependence. But there's nothing "wrong" here, I think it avoided placing the fake exit edges at the infinite loop headers as opposed to the latch but I don't remember exactly.