make sure to save absmi registers before longjmp.

This commit is contained in:
Vítor Santos Costa
2012-02-05 10:51:40 +00:00
parent e6fb330f58
commit 6c98e37e18
4 changed files with 12 additions and 0 deletions

View File

@@ -999,6 +999,9 @@ p_read_program( USES_REGS1 )
/* back to the top level we go */
Yap_CloseSlots(PASS_REGS1);
#if PUSH_REGS
restore_absmi_regs(&Yap_standard_regs);
#endif
siglongjmp(LOCAL_RestartEnv, 3);
return TRUE;
}