mirror of
https://github.com/vim/vim.git
synced 2025-09-24 03:44:06 -04:00
patch 8.2.3077: Vim9: an error in a catch block is not reported
Problem: Vim9: an error in a catch block is not reported. Solution: Put the "in catch" flag in the try stack. (closes #8478)
This commit is contained in:
@@ -631,6 +631,17 @@ def Test_try_in_catch()
|
|||||||
END
|
END
|
||||||
enddef
|
enddef
|
||||||
|
|
||||||
|
def Test_error_in_catch()
|
||||||
|
var lines =<< trim END
|
||||||
|
try
|
||||||
|
eval [][0]
|
||||||
|
catch /E684:/
|
||||||
|
eval [][0]
|
||||||
|
endtry
|
||||||
|
END
|
||||||
|
CheckDefExecFailure(lines, 'E684:', 4)
|
||||||
|
enddef
|
||||||
|
|
||||||
" :while at the very start of a function that :continue jumps to
|
" :while at the very start of a function that :continue jumps to
|
||||||
def TryContinueFunc()
|
def TryContinueFunc()
|
||||||
while g:Count < 2
|
while g:Count < 2
|
||||||
@@ -768,6 +779,30 @@ def Test_try_catch_nested()
|
|||||||
|
|
||||||
assert_equal('intry', ReturnFinally())
|
assert_equal('intry', ReturnFinally())
|
||||||
assert_equal('finally', g:in_finally)
|
assert_equal('finally', g:in_finally)
|
||||||
|
|
||||||
|
var l = []
|
||||||
|
try
|
||||||
|
l->add('1')
|
||||||
|
throw 'bad'
|
||||||
|
l->add('x')
|
||||||
|
catch /bad/
|
||||||
|
l->add('2')
|
||||||
|
try
|
||||||
|
l->add('3')
|
||||||
|
throw 'one'
|
||||||
|
l->add('x')
|
||||||
|
catch /one/
|
||||||
|
l->add('4')
|
||||||
|
try
|
||||||
|
l->add('5')
|
||||||
|
throw 'more'
|
||||||
|
l->add('x')
|
||||||
|
catch /more/
|
||||||
|
l->add('6')
|
||||||
|
endtry
|
||||||
|
endtry
|
||||||
|
endtry
|
||||||
|
assert_equal(['1', '2', '3', '4', '5', '6'], l)
|
||||||
enddef
|
enddef
|
||||||
|
|
||||||
def TryOne(): number
|
def TryOne(): number
|
||||||
|
@@ -755,6 +755,8 @@ static char *(features[]) =
|
|||||||
|
|
||||||
static int included_patches[] =
|
static int included_patches[] =
|
||||||
{ /* Add new patch number below this line */
|
{ /* Add new patch number below this line */
|
||||||
|
/**/
|
||||||
|
3077,
|
||||||
/**/
|
/**/
|
||||||
3076,
|
3076,
|
||||||
/**/
|
/**/
|
||||||
|
@@ -26,7 +26,8 @@
|
|||||||
typedef struct {
|
typedef struct {
|
||||||
int tcd_frame_idx; // ec_frame_idx at ISN_TRY
|
int tcd_frame_idx; // ec_frame_idx at ISN_TRY
|
||||||
int tcd_stack_len; // size of ectx.ec_stack at ISN_TRY
|
int tcd_stack_len; // size of ectx.ec_stack at ISN_TRY
|
||||||
int tcd_save_in_catch; // saved ec_in_catch
|
int tcd_in_catch; // in catch or finally block
|
||||||
|
int tcd_did_throw; // set did_throw in :endtry
|
||||||
int tcd_catch_idx; // instruction of the first :catch or :finally
|
int tcd_catch_idx; // instruction of the first :catch or :finally
|
||||||
int tcd_finally_idx; // instruction of the :finally block or zero
|
int tcd_finally_idx; // instruction of the :finally block or zero
|
||||||
int tcd_endtry_idx; // instruction of the :endtry
|
int tcd_endtry_idx; // instruction of the :endtry
|
||||||
@@ -83,7 +84,6 @@ struct ectx_S {
|
|||||||
funclocal_T ec_funclocal;
|
funclocal_T ec_funclocal;
|
||||||
|
|
||||||
garray_T ec_trystack; // stack of trycmd_T values
|
garray_T ec_trystack; // stack of trycmd_T values
|
||||||
int ec_in_catch; // when TRUE in catch or finally block
|
|
||||||
|
|
||||||
int ec_dfunc_idx; // current function index
|
int ec_dfunc_idx; // current function index
|
||||||
isn_T *ec_instr; // array with instructions
|
isn_T *ec_instr; // array with instructions
|
||||||
@@ -1566,20 +1566,31 @@ exec_instructions(ectx_T *ectx)
|
|||||||
*msg_list = NULL;
|
*msg_list = NULL;
|
||||||
}
|
}
|
||||||
|
|
||||||
if (did_throw && !ectx->ec_in_catch)
|
if (did_throw)
|
||||||
{
|
{
|
||||||
garray_T *trystack = &ectx->ec_trystack;
|
garray_T *trystack = &ectx->ec_trystack;
|
||||||
trycmd_T *trycmd = NULL;
|
trycmd_T *trycmd = NULL;
|
||||||
|
int index = trystack->ga_len;
|
||||||
|
|
||||||
// An exception jumps to the first catch, finally, or returns from
|
// An exception jumps to the first catch, finally, or returns from
|
||||||
// the current function.
|
// the current function.
|
||||||
if (trystack->ga_len > 0)
|
while (index > 0)
|
||||||
trycmd = ((trycmd_T *)trystack->ga_data) + trystack->ga_len - 1;
|
{
|
||||||
|
trycmd = ((trycmd_T *)trystack->ga_data) + index - 1;
|
||||||
|
if (!trycmd->tcd_in_catch)
|
||||||
|
break;
|
||||||
|
// In the catch and finally block of this try we have to go up
|
||||||
|
// one level.
|
||||||
|
--index;
|
||||||
|
trycmd = NULL;
|
||||||
|
}
|
||||||
if (trycmd != NULL && trycmd->tcd_frame_idx == ectx->ec_frame_idx)
|
if (trycmd != NULL && trycmd->tcd_frame_idx == ectx->ec_frame_idx)
|
||||||
{
|
{
|
||||||
// jump to ":catch" or ":finally"
|
// jump to ":catch" or ":finally"
|
||||||
ectx->ec_in_catch = TRUE;
|
trycmd->tcd_in_catch = TRUE;
|
||||||
ectx->ec_iidx = trycmd->tcd_catch_idx;
|
ectx->ec_iidx = trycmd->tcd_catch_idx;
|
||||||
|
did_throw = FALSE; // don't come back here until :endtry
|
||||||
|
trycmd->tcd_did_throw = TRUE;
|
||||||
}
|
}
|
||||||
else
|
else
|
||||||
{
|
{
|
||||||
@@ -3167,8 +3178,6 @@ exec_instructions(ectx_T *ectx)
|
|||||||
CLEAR_POINTER(trycmd);
|
CLEAR_POINTER(trycmd);
|
||||||
trycmd->tcd_frame_idx = ectx->ec_frame_idx;
|
trycmd->tcd_frame_idx = ectx->ec_frame_idx;
|
||||||
trycmd->tcd_stack_len = ectx->ec_stack.ga_len;
|
trycmd->tcd_stack_len = ectx->ec_stack.ga_len;
|
||||||
trycmd->tcd_save_in_catch = ectx->ec_in_catch;
|
|
||||||
ectx->ec_in_catch = FALSE;
|
|
||||||
trycmd->tcd_catch_idx =
|
trycmd->tcd_catch_idx =
|
||||||
iptr->isn_arg.try.try_ref->try_catch;
|
iptr->isn_arg.try.try_ref->try_catch;
|
||||||
trycmd->tcd_finally_idx =
|
trycmd->tcd_finally_idx =
|
||||||
@@ -3205,6 +3214,7 @@ exec_instructions(ectx_T *ectx)
|
|||||||
trycmd_T *trycmd = ((trycmd_T *)trystack->ga_data)
|
trycmd_T *trycmd = ((trycmd_T *)trystack->ga_data)
|
||||||
+ trystack->ga_len - 1;
|
+ trystack->ga_len - 1;
|
||||||
trycmd->tcd_caught = TRUE;
|
trycmd->tcd_caught = TRUE;
|
||||||
|
trycmd->tcd_did_throw = FALSE;
|
||||||
}
|
}
|
||||||
did_emsg = got_int = did_throw = FALSE;
|
did_emsg = got_int = did_throw = FALSE;
|
||||||
force_abort = need_rethrow = FALSE;
|
force_abort = need_rethrow = FALSE;
|
||||||
@@ -3268,7 +3278,8 @@ exec_instructions(ectx_T *ectx)
|
|||||||
--trylevel;
|
--trylevel;
|
||||||
trycmd = ((trycmd_T *)trystack->ga_data)
|
trycmd = ((trycmd_T *)trystack->ga_data)
|
||||||
+ trystack->ga_len;
|
+ trystack->ga_len;
|
||||||
ectx->ec_in_catch = trycmd->tcd_save_in_catch;
|
if (trycmd->tcd_did_throw)
|
||||||
|
did_throw = TRUE;
|
||||||
if (trycmd->tcd_caught && current_exception != NULL)
|
if (trycmd->tcd_caught && current_exception != NULL)
|
||||||
{
|
{
|
||||||
// discard the exception
|
// discard the exception
|
||||||
|
Reference in New Issue
Block a user