https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108656
--- Comment #10 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Anyway, if we decided that it is ok to have just the incoming ab edges, we'd need to change any code that can DCE or inline calls to update abnormal edges not just for the case where the last stmt used to be can_make_abnormal_goto and no longer is, but also for the case when the first stmt was returns_twice call and no longer is, in that case we'd need to drop that abnormal edge pointing to the start of the bb from the .ABNORMAL_DISPATCHER block.