http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60003
--- Comment #8 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > Ok, so you prefer the first patch? Now to write some comment explaining > why... Yes, I'm very fond of one-liners. :-) You can say that the label taken by __builtin_setjmp is treated as a non-local label by the middle-end.
