https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79472
--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Created attachment 40726 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=40726&action=edit gcc7-pr79472-wip.patch Untested WIP patch. I believe I still don't handle the PHIs right in the non-standard default case if there are any phis involved (not in the case of abort of course or when it doesn't fall through to final_bb at all). Guess I need to write some testcases first.