0
0
mirror of https://github.com/vim/vim.git synced 2025-09-25 03:54:15 -04:00

patch 9.0.0778: indexing of unknown const type fails during compilation

Problem:    Indexing of unknown const type fails during compilation.
Solution:   Check for "any" properly. (closes #11389)
This commit is contained in:
Bram Moolenaar
2022-10-17 13:13:32 +01:00
parent 3f0092c141
commit 4913d420e8
3 changed files with 36 additions and 8 deletions

View File

@@ -3132,6 +3132,30 @@ def Test_expr9_any_index_slice()
unlet g:testlist
enddef
def Test_expr9_const_any_index_slice()
var lines =<< trim END
vim9script
export def V(): dict<any>
return {a: [1, 43], b: 0}
enddef
END
writefile(lines, 'XexportDict.vim', 'D')
lines =<< trim END
vim9script
import './XexportDict.vim' as x
def Test()
const v = x.V()
assert_equal(43, v.a[1])
enddef
Test()
END
v9.CheckScriptSuccess(lines)
enddef
def Test_expr_member_vim9script()
var lines =<< trim END
var d = {one:

View File

@@ -695,6 +695,8 @@ static char *(features[]) =
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
778,
/**/
777,
/**/

View File

@@ -93,7 +93,8 @@ compile_member(int is_slice, int *keeping_dict, cctx_T *cctx)
vartype = typep->type_curr->tt_type;
idxtype = (((type2_T *)stack->ga_data) + stack->ga_len - 1)->type_curr;
// If the index is a string, the variable must be a Dict.
if ((typep->type_curr == &t_any || typep->type_curr == &t_unknown)
if ((typep->type_curr->tt_type == VAR_ANY
|| typep->type_curr->tt_type == VAR_UNKNOWN)
&& idxtype == &t_string)
vartype = VAR_DICT;
if (vartype == VAR_STRING || vartype == VAR_LIST || vartype == VAR_BLOB)
@@ -172,8 +173,8 @@ compile_member(int is_slice, int *keeping_dict, cctx_T *cctx)
return FAIL;
}
}
else if (vartype == VAR_LIST || typep->type_curr == &t_any
|| typep->type_curr == &t_unknown)
else if (vartype == VAR_LIST || typep->type_curr->tt_type == VAR_ANY
|| typep->type_curr->tt_type == VAR_UNKNOWN)
{
if (is_slice)
{
@@ -1646,10 +1647,11 @@ bool_on_stack(cctx_T *cctx)
if (type == &t_bool)
return OK;
if (type == &t_any
|| type == &t_unknown
|| type == &t_number
|| type == &t_number_bool)
if (type->tt_type == VAR_ANY
|| type->tt_type == VAR_UNKNOWN
|| type->tt_type == VAR_NUMBER
|| type == &t_number_bool
|| type == &t_const_number_bool)
// Number 0 and 1 are OK to use as a bool. "any" could also be a bool.
// This requires a runtime type check.
return generate_COND2BOOL(cctx);