https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91395
--- Comment #2 from Adam <ali at pivotal dot io> --- I got the point "The local variables that do not have the volatile type and have been changed between the setjmp() invocation and longjmp() call are indeterminate" But save_exception_stack is not changed between the setjmp() invocation and longjmp() call, it is defined every time. Still looks expected?