https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79302
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- Created attachment 40635 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=40635&action=edit autoreduced testcase This one is probably because the region has an entry loop-header -> loop-block and an exit loop-latch -> loop-header. So its a loop without its header. I suppose a backedge as region exit isn't very well handled...