https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108656
--- Comment #11 from rguenther at suse dot de <rguenther at suse dot de> --- On Mon, 6 Feb 2023, jakub at gcc dot gnu.org wrote: > 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. Doesn't cleanup CFG do this via removal of the unreachable .ABNORMAL_DISPATCHER?