https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61118
--- Comment #23 from Jeffrey A. Law <law at redhat dot com> --- Note that if we fix the abnormal handler to target the block after the setjmp rather than the setjmp itself all the problems magically disappear. That's actually a more accurate CFG and arguably the right thing to do. The concern is whether or not there are assumptions, particularly in the gimple->rtl phase that fixing the CFG would break.