https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63360
--- Comment #6 from camm at debian dot org --- Here is another transcript showing the innermost setjmp/longjmp pair corrupting the f31 register. It is a little complicated as there is an inner call to the same code which proceeds successfully.