http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59039
--- Comment #23 from H.J. Lu <hjl.tools at gmail dot com> --- Created attachment 31186 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=31186&action=edit A patch to document __builtin_setjmp/__builtin_longjmp Does it look OK?
