https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80926
--- Comment #4 from rguenther at suse dot de <rguenther at suse dot de> --- On Wed, 31 May 2017, ebotcazou at gcc dot gnu.org wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80926 > > --- Comment #3 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > > We do have __builtin_longjmp/setjmp but those are not 1:1 longjmp/setjmp so > > adding a standard C builtin for longjmp and setjmp is difficult... Eric, is > > that correct? > > Yes, __builtin_longjmp/setjmp are something else. Were they supposed to be user visible or can we "rename" those?