http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59039
--- Comment #20 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > Would it be OK to submit it a patch to document > __builtin_longjmp/__builtin_setjmp based on their > sources? I think that we would need to issue an error if both are in the same function.
