https://gcc.gnu.org/bugzilla/show_bug.cgi?id=17951
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- Created attachment 57970 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57970&action=edit not quite working patch Some TLC to all this might make fixing easier. This is a start (at fixing, not TLC). At least CDI_DOMINATORS for EXIT and CDI_POST_DOMINATORS for ENTRY should be fixed. Or asserts put in we don't query the bogus info.