[PATCH v7 0/1] MR10484: vbscript: Return "Invalid for loop control variable" error for member expressions.

[Francis De Brabandere (＠francisdb)]

Windows VBScript rejects member expressions (e.g. x.y) as For/For Each
loop control variables with error 1040. Accept MemberExpression in the
parser rules and check for obj_expr to report the proper error instead
of a generic syntax error.

--
  v7: vbscript: Return "Invalid for loop control variable" error for member expressions.
 
https://gitlab.winehq.org/wine/wine/-/merge_requests/10484

[PATCH v7 1/1] vbscript: Return "Invalid for loop control variable" error for member expressions.

[Francis De Brabandere]

From: Francis De Brabandere <[e-mail]>

Windows VBScript rejects member expressions (e.g. x.y) as For/For Each
loop control variables with error 1040. Accept MemberExpression in the
parser rules and check for obj_expr to report the proper error instead
of a generic syntax error.
---
 dlls/vbscript/parser.y        | 13 +++++++++----
 dlls/vbscript/tests/run.c     | 12 ++++++++++++
 dlls/vbscript/vbscript.rc     |  1 +
 dlls/vbscript/vbscript_defs.h |  1 +
 4 files changed, 23 insertions(+), 4 deletions(-)

diff --git a/dlls/vbscript/parser.y b/dlls/vbscript/parser.y
index 1a8ae2013c9..fb9f6a881b0 100644
--- a/dlls/vbscript/parser.y
+++ b/dlls/vbscript/parser.y
@@ -244,10 +244,15 @@ SimpleStatement
     | tON tERROR tRESUME tNEXT              { $$ = new_onerror_statement(ctx, @$, TRUE); CHECK_ERROR; }
     | tON tERROR tGOTO '0'                  { $$ = new_onerror_statement(ctx, @$, FALSE); CHECK_ERROR; }
     | tCONST ConstDeclList                  { $$ = new_const_statement(ctx, @$, $2); CHECK_ERROR; }
-    | tFOR Identifier '=' Expression tTO Expression Step_opt StSep StatementsNl_opt tNEXT
-                                            { $$ = new_forto_statement(ctx, @$, $2, $4, $6, $7, $9); CHECK_ERROR; }
-    | tFOR tEACH Identifier tIN Expression StSep StatementsNl_opt tNEXT
-                                            { $$ = new_foreach_statement(ctx, @$, $3, $5, $7); }
+    | tFOR MemberExpression '=' Expression tTO Expression Step_opt StSep StatementsNl_opt tNEXT
+                                            { if($2->obj_expr) { ctx->error_loc = @3;
+                                              ctx->hres = MAKE_VBSERROR(VBSE_INVALID_FOR_CONTROL); CHECK_ERROR; }
+                                              $$ = new_forto_statement(ctx, @$, $2->identifier, $4, $6, $7, $9);
+                                              CHECK_ERROR; }
+    | tFOR tEACH MemberExpression tIN Expression StSep StatementsNl_opt tNEXT
+                                            { if($3->obj_expr) { ctx->error_loc = @4;
+                                              ctx->hres = MAKE_VBSERROR(VBSE_INVALID_FOR_CONTROL); CHECK_ERROR; }
+                                              $$ = new_foreach_statement(ctx, @$, $3->identifier, $5, $7); }
     | tSELECT tCASE Expression StSep CaseClausules tEND tSELECT
                                             { $$ = new_select_statement(ctx, @$, $3, $5); }
     | tSELECT tCASE Expression StSep CaseClausules tEND error
diff --git a/dlls/vbscript/tests/run.c b/dlls/vbscript/tests/run.c
index 37c8883fcd9..fa0a4ffbdda 100644
--- a/dlls/vbscript/tests/run.c
+++ b/dlls/vbscript/tests/run.c
@@ -3206,6 +3206,18 @@ static void test_parse_errors(void)
             "End Class\n",
             2, 11,
             NULL, S_OK, 1037
+        },
+        {
+            /* Invalid 'for' loop control variable (member expression) - error 1040 */
+            L"Dim x\nFor x.y = 1 To 3\nNext\n",
+            1, 8,
+            NULL, S_OK, 1040
+        },
+        {
+            /* Invalid 'for each' loop control variable (member expression) - error 1040 */
+            L"Dim x\nFor Each x.y In Array(1)\nNext\n",
+            1, 13,
+            NULL, S_OK, 1040
         }
     };
     HRESULT hres;
diff --git a/dlls/vbscript/vbscript.rc b/dlls/vbscript/vbscript.rc
index f80635bd665..5b35d2cd02a 100644
--- a/dlls/vbscript/vbscript.rc
+++ b/dlls/vbscript/vbscript.rc
@@ -89,6 +89,7 @@ STRINGTABLE
     VBSE_INVALID_USE_OF_ME             "Invalid use of 'Me' keyword"
     VBSE_LOOP_WITHOUT_DO               "'loop' without 'do'"
     VBSE_INVALID_EXIT                  "Invalid 'exit' statement"
+    VBSE_INVALID_FOR_CONTROL           "Invalid 'for' loop control variable"
     VBSE_NAME_REDEFINED                "Name redefined"
     VBSE_MUST_BE_FIRST_STATEMENT       "Must be first statement on the line"
     VBSE_CANNOT_USE_PARENS_CALLING_SUB "Cannot use parentheses when calling a Sub"
diff --git a/dlls/vbscript/vbscript_defs.h b/dlls/vbscript/vbscript_defs.h
index 9cf9cce7ad9..9375d8860ec 100644
--- a/dlls/vbscript/vbscript_defs.h
+++ b/dlls/vbscript/vbscript_defs.h
@@ -300,6 +300,7 @@
 #define VBSE_INVALID_USE_OF_ME           1037
 #define VBSE_LOOP_WITHOUT_DO             1038
 #define VBSE_INVALID_EXIT                1039
+#define VBSE_INVALID_FOR_CONTROL         1040
 #define VBSE_NAME_REDEFINED              1041
 #define VBSE_MUST_BE_FIRST_STATEMENT     1042
 #define VBSE_CANNOT_USE_PARENS_CALLING_SUB 1044
-- 
GitLab

https://gitlab.winehq.org/wine/wine/-/merge_requests/10484