https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117892
--- Comment #2 from Jan Hubicka <hubicka at gcc dot gnu.org> --- This is mine. The loop first checks that basic block is empty (consits only of debug statements, predicts, clobbers and nops) and then it asserts that there is only one edge out, which ought to be the case. I will check what goes wrong.
