From e5af45b4b88a9b032165879cfe17f34b18826d1b Mon Sep 17 00:00:00 2001 From: Matt Birkholz Date: Fri, 16 Mar 2018 13:00:59 -0700 Subject: [PATCH] callback_run_kernel: Punt prev_restore_history_offset check. --- src/microcode/pruxffi.c | 7 ------- 1 file changed, 7 deletions(-) diff --git a/src/microcode/pruxffi.c b/src/microcode/pruxffi.c index d14a06dfc..e3b4dff17 100644 --- a/src/microcode/pruxffi.c +++ b/src/microcode/pruxffi.c @@ -644,7 +644,6 @@ callback_run_kernel (long callback_id, CallbackKernel kernel) /* Used by callback trampolines after saving the callback args on the CStack. */ SCM * saved_stack_pointer, * saved_last_return_code; - unsigned long saved_prev_restore_history_offset; unsigned long nargs = GET_LEXPR_ACTUALS; if (run_callback == SHARP_F) @@ -677,7 +676,6 @@ callback_run_kernel (long callback_id, CallbackKernel kernel) saved_stack_pointer = stack_pointer; saved_last_return_code = last_return_code; - saved_prev_restore_history_offset = prev_restore_history_offset; Will_Push ((2 * CONTINUATION_SIZE) + STACK_ENV_EXTRA_SLOTS + 1); SET_RC (RC_END_OF_COMPUTATION); SET_EXP (run_callback); @@ -710,11 +708,6 @@ callback_run_kernel (long callback_id, CallbackKernel kernel) stack_pointer = STACK_LOC (4); last_return_code = saved_last_return_code; - if (prev_restore_history_offset != saved_prev_restore_history_offset) - { - outf_error_line ("Warning: restoring prev_restore_history_offset."); - prev_restore_history_offset = saved_prev_restore_history_offset; - } SET_PRIMITIVE (c_call_continue); SET_LEXPR_ACTUALS (nargs); -- 2.25.1