http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59920
--- Comment #9 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > Updated patch. Apparently we were dropping the abnormal edges during > expansion anyway, so there is nothing to do for RTL right now. The patch > results in some Ada miscompares though, will debug tomorrow. If you remove __builtin_setjmp_dispatcher, please adjust the description in the head comment of lower_builtin_setjmp. That's rather critical stuff for Ada...