patch 8.2.0723: Vim9: nested constant expression not evaluated compile time
Problem: Vim9: nested constant expression not evaluated compile time.
Solution: Use compile_expr1() for parenthesis.
diff --git a/src/vim9compile.c b/src/vim9compile.c
index 1042bb2..5320caf 100644
--- a/src/vim9compile.c
+++ b/src/vim9compile.c
@@ -136,7 +136,6 @@
static char e_var_notfound[] = N_("E1001: variable not found: %s");
static char e_syntax_at[] = N_("E1002: Syntax error at %s");
-static int compile_expr0(char_u **arg, cctx_T *cctx);
static void delete_def_function_contents(dfunc_T *dfunc);
static void arg_type_mismatch(type_T *expected, type_T *actual, int argidx);
static int check_type(type_T *expected, type_T *actual, int give_msg);
@@ -2358,11 +2357,16 @@
// possible expressions on these constants are applied at compile time. If
// that is not possible, the code to push the constants needs to be generated
// before other instructions.
+// Using 50 should be more than enough of 5 levels of ().
+#define PPSIZE 50
typedef struct {
- typval_T pp_tv[10]; // stack of ppconst constants
+ typval_T pp_tv[PPSIZE]; // stack of ppconst constants
int pp_used; // active entries in pp_tv[]
} ppconst_T;
+static int compile_expr0(char_u **arg, cctx_T *cctx);
+static int compile_expr1(char_u **arg, cctx_T *cctx, ppconst_T *ppconst);
+
/*
* Generate a PUSH instruction for "tv".
* "tv" will be consumed or cleared.
@@ -3590,6 +3594,7 @@
char_u *start_leader, *end_leader;
int ret = OK;
typval_T *rettv = &ppconst->pp_tv[ppconst->pp_used];
+ int used_before = ppconst->pp_used;
/*
* Skip '!', '-' and '+' characters. They are handled later.
@@ -3725,7 +3730,19 @@
* nested expression: (expression).
*/
case '(': *arg = skipwhite(*arg + 1);
- ret = compile_expr0(arg, cctx); // recursive!
+
+ // recursive!
+ if (ppconst->pp_used <= PPSIZE - 10)
+ {
+ ret = compile_expr1(arg, cctx, ppconst);
+ }
+ else
+ {
+ // Not enough space in ppconst, flush constants.
+ if (generate_ppconst(cctx, ppconst) == FAIL)
+ return FAIL;
+ ret = compile_expr0(arg, cctx);
+ }
*arg = skipwhite(*arg);
if (**arg == ')')
++*arg;
@@ -3742,7 +3759,7 @@
if (ret == FAIL)
return FAIL;
- if (rettv->v_type != VAR_UNKNOWN)
+ if (rettv->v_type != VAR_UNKNOWN && used_before == ppconst->pp_used)
{
// apply the '!', '-' and '+' before the constant
if (apply_leader(rettv, start_leader, end_leader) == FAIL)