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."
