vim-patch:9.0.2050: Vim9: crash with deferred function call and exception (#25715)

Problem:  Vim9: crash with deferred function call and exception
Solution: Save and restore exception state

Crash when a deferred function is called after an exception and another
exception is thrown

closes: vim/vim#13376
closes: vim/vim#13377

c59c1e0d88

The change in check_due_timer() is N/A as Nvim calls timer callbacks on
the main loop.

Co-authored-by: Yegappan Lakshmanan <yegappan@yahoo.com>
This commit is contained in:
zeertzjq 2023-10-19 18:34:48 +08:00 committed by GitHub
parent ae7020c667
commit a096165977
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
4 changed files with 62 additions and 18 deletions

View File

@ -3297,21 +3297,16 @@ static void handle_defer_one(funccall_T *funccal)
dr->dr_name = NULL; dr->dr_name = NULL;
// If the deferred function is called after an exception, then only the // If the deferred function is called after an exception, then only the
// first statement in the function will be executed. Save and restore // first statement in the function will be executed (because of the
// the try/catch/throw exception state. // exception). So save and restore the try/catch/throw exception
const int save_trylevel = trylevel; // state.
const bool save_did_throw = did_throw; exception_state_T estate;
const bool save_need_rethrow = need_rethrow; exception_state_save(&estate);
exception_state_clear();
trylevel = 0;
did_throw = false;
need_rethrow = false;
call_func(name, -1, &rettv, dr->dr_argcount, dr->dr_argvars, &funcexe); call_func(name, -1, &rettv, dr->dr_argcount, dr->dr_argvars, &funcexe);
trylevel = save_trylevel; exception_state_restore(&estate);
did_throw = save_did_throw;
need_rethrow = save_need_rethrow;
tv_clear(&rettv); tv_clear(&rettv);
xfree(name); xfree(name);

View File

@ -661,6 +661,35 @@ static void finish_exception(except_T *excp)
discard_exception(excp, true); discard_exception(excp, true);
} }
/// Save the current exception state in "estate"
void exception_state_save(exception_state_T *estate)
{
estate->estate_current_exception = current_exception;
estate->estate_did_throw = did_throw;
estate->estate_need_rethrow = need_rethrow;
estate->estate_trylevel = trylevel;
}
/// Restore the current exception state from "estate"
void exception_state_restore(exception_state_T *estate)
{
if (current_exception == NULL) {
current_exception = estate->estate_current_exception;
}
did_throw |= estate->estate_did_throw;
need_rethrow |= estate->estate_need_rethrow;
trylevel |= estate->estate_trylevel;
}
/// Clear the current exception state
void exception_state_clear(void)
{
current_exception = NULL;
did_throw = false;
need_rethrow = false;
trylevel = 0;
}
// Flags specifying the message displayed by report_pending. // Flags specifying the message displayed by report_pending.
#define RP_MAKE 0 #define RP_MAKE 0
#define RP_RESUME 1 #define RP_RESUME 1

View File

@ -118,4 +118,14 @@ struct cleanup_stuff {
except_T *exception; ///< exception value except_T *exception; ///< exception value
}; };
/// Exception state that is saved and restored when calling timer callback
/// functions and deferred functions.
typedef struct exception_state_S exception_state_T;
struct exception_state_S {
except_T *estate_current_exception;
bool estate_did_throw;
bool estate_need_rethrow;
int estate_trylevel;
};
#endif // NVIM_EX_EVAL_DEFS_H #endif // NVIM_EX_EVAL_DEFS_H

View File

@ -796,11 +796,21 @@ endfunc
" Test for calling a deferred function after an exception " Test for calling a deferred function after an exception
func Test_defer_after_exception() func Test_defer_after_exception()
let g:callTrace = [] let g:callTrace = []
func Bar()
let g:callTrace += [1]
throw 'InnerException'
endfunc
func Defer() func Defer()
let g:callTrace += ['a'] let g:callTrace += [2]
let g:callTrace += ['b'] let g:callTrace += [3]
let g:callTrace += ['c'] try
let g:callTrace += ['d'] call Bar()
catch /InnerException/
let g:callTrace += [4]
endtry
let g:callTrace += [5]
let g:callTrace += [6]
endfunc endfunc
func Foo() func Foo()
@ -811,9 +821,9 @@ func Test_defer_after_exception()
try try
call Foo() call Foo()
catch /TestException/ catch /TestException/
let g:callTrace += ['e'] let g:callTrace += [7]
endtry endtry
call assert_equal(['a', 'b', 'c', 'd', 'e'], g:callTrace) call assert_equal([2, 3, 1, 4, 5, 6, 7], g:callTrace)
delfunc Defer delfunc Defer
delfunc Foo delfunc Foo