https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119778
--- Comment #15 from Richard Biener <rguenth at gcc dot gnu.org> --- (In reply to Jakub Jelinek from comment #13) > Perhaps both, making it also more robust? It's also wrong-code, so IMO we do want to catch those cases. I did once put in an assert into CFG verificaation that empty BBs cannot have two outgoing edges, but I don't remember what became of that.
