[Bug c/59039] Undocumented __builtin_longjmp/__builtin_setjmp

[ebotcazou at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59039

--- Comment #24 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
> Does it look OK?

Mostly, but I wouldn't go into full details about what contains the buffer,
this is machine-specific and not portable.  Maybe something like:

"The @code{setjmp} buffer is an array of five @code{intptr_t}.  The buffer
will generally contain the frame address, the resume address and the stack
address.  The other elements may be used in a machine-specific way."