fix loop warnings

Author: Frotty

de.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/jurst/AntlrJurstParseTreeTransformer.java

@@ -769,8 +769,8 @@ private WStatement transformForLoop(StmtForLoopContext s) {
 
     private WStatement transformForRangeLoop(ForRangeLoopContext s) {
         WPos source = source(s);
-        LocalVarDef loopVar = transformLocalVarDef(s.loopVar);
-        loopVar.setInitialExpr(transformExpr(s.start));
+        Expr start = transformExpr(s.start);
+        LocalVarDef loopVar = transformLocalVarDef(s.loopVar, start);
         Expr to = transformExpr(s.end);
         Expr step;
         if (s.step == null) {
@@ -787,17 +787,17 @@ private WStatement transformForRangeLoop(ForRangeLoopContext s) {
         throw error(s, "for range loop not implemented: " + text(s));
     }
 
-    private LocalVarDef transformLocalVarDef(LocalVarDefInlineContext v) {
-        Modifiers modifiers = Ast.Modifiers();
+    private LocalVarDef transformLocalVarDef(LocalVarDefInlineContext v, OptExpr initialExpr) {
+        // Loop variables behave like let-variables for user code.
+        Modifiers modifiers = Ast.Modifiers(Ast.ModConstant(source(v)));
         OptTypeExpr optTyp = transformOptionalType(v.typeExpr());
         Identifier name = text(v.name);
-        OptExpr initialExpr = Ast.NoExpr();
         return Ast.LocalVarDef(source(v), modifiers, optTyp, name, initialExpr);
     }
 
     private WStatement transformForIteratorLoop(ForIteratorLoopContext s) {
         WPos source = source(s);
-        LocalVarDef loopVar = transformLocalVarDef(s.loopVar);
+        LocalVarDef loopVar = transformLocalVarDef(s.loopVar, Ast.NoExpr());
         Expr in = transformExpr(s.iteratorExpr);
         WStatements body = transformStatements(s.statementsBlock());
         if (s.iterStyle.getType() == JurstParser.IN) {

de.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/parser/antlr/AntlrWurstParseTreeTransformer.java

@@ -933,8 +933,8 @@ private WStatement transformForLoop(StmtForLoopContext s) {
 
     private WStatement transformForRangeLoop(ForRangeLoopContext s) {
         WPos source = source(s);
-        LocalVarDef loopVar = transformLocalVarDef(s.loopVar);
-        loopVar.setInitialExpr(transformExpr(s.start));
+        Expr start = transformExpr(s.start);
+        LocalVarDef loopVar = transformLocalVarDef(s.loopVar, start);
         Expr to = transformExpr(s.end);
         Expr step;
         if (s.step == null) {
@@ -951,17 +951,17 @@ private WStatement transformForRangeLoop(ForRangeLoopContext s) {
         throw error(s, "not implemented: " + text(s));
     }
 
-    private LocalVarDef transformLocalVarDef(LocalVarDefInlineContext v) {
-        Modifiers modifiers = Ast.Modifiers();
+    private LocalVarDef transformLocalVarDef(LocalVarDefInlineContext v, OptExpr initialExpr) {
+        // Loop variables behave like let-variables for user code.
+        Modifiers modifiers = Ast.Modifiers(Ast.ModConstant(source(v)));
         OptTypeExpr optTyp = transformOptionalType(v.typeExpr());
         Identifier name = text(v.name);
-        OptExpr initialExpr = Ast.NoExpr();
         return Ast.LocalVarDef(source(v), modifiers, optTyp, name, initialExpr);
     }
 
     private WStatement transformForIteratorLoop(ForIteratorLoopContext s) {
         WPos source = source(s);
-        LocalVarDef loopVar = transformLocalVarDef(s.loopVar);
+        LocalVarDef loopVar = transformLocalVarDef(s.loopVar, Ast.NoExpr());
         Expr in = transformExpr(s.iteratorExpr);
         WStatements body = transformStatements(s.statementsBlock());
         if (s.iterStyle.getType() == WurstParser.IN) {

de.peeeq.wurstscript/src/test/java/tests/wurstscript/tests/BugTests.java

@@ -898,6 +898,37 @@ public void unreadVarWarning3() { // #380
         );
     }
 
+    @Test
+    public void forRangeStartReadsParameter() {
+        CompilationResult result = test()
+            .setStopOnFirstError(false)
+            .executeProg(false)
+            .lines(
+                "package test",
+                "function foo(int bar)",
+                "    for i = bar to 10",
+                "        skip",
+                "endpackage"
+            );
+
+        Assert.assertTrue(
+            result.getGui().getWarningList().stream()
+                .noneMatch(w -> w.getMessage().contains("The parameter bar is never read")),
+            "Unexpected unused warning for parameter bar: " + result.getGui().getWarningList()
+        );
+    }
+
+    @Test
+    public void forRangeLoopVarIsImmutable() {
+        testAssertErrorsLines(false, "Cannot assign a new value to constant",
+            "package test",
+            "init",
+            "    int stackPointer = 3",
+            "    for i = 0 to stackPointer",
+            "        i--",
+            "endpackage");
+    }
+
 
     @Test
     public void unreadVarWarningArrays() { // #813