[dart/vm] Fix type of loop variable to int

feli-citas · commit-bot@chromium.org · commit 62aa02e71633 · 2019-08-12T23:26:52.000Z
Rationale: Some programs generated by dartfuzz.dart cause failures when executed due to the type of a loop variable being inferred as 'num'. By setting the type of such variables explicitly to 'int' we avoid such cases. Change-Id: Ibdfd06ece28914ee26fd38f2b3efa20cd93ba9ca Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/112754 Commit-Queue: Felicitas Hetzelt <felih@google.com> Reviewed-by: Aart Bik <ajcbik@google.com> Reviewed-by: Ben Konyi <bkonyi@google.com>
diff --git a/runtime/tools/dartfuzz/dartfuzz.dart b/runtime/tools/dartfuzz/dartfuzz.dart
@@ -13,7 +13,7 @@ import 'dartfuzz_api_table.dart';
 // Version of DartFuzz. Increase this each time changes are made
 // to preserve the property that a given version of DartFuzz yields
 // the same fuzzed program for a deterministic random seed.
-const String version = '1.16';
+const String version = '1.17';
 
 // Restriction on statements and expressions.
 const int stmtLength = 2;
@@ -294,7 +294,7 @@ class DartFuzz {
   // Emit a simple membership for-in-loop.
   bool emitForIn(int depth) {
     int i = localVars.length;
-    emitLn('for (var $localName$i in ', newline: false);
+    emitLn('for (int $localName$i in ', newline: false);
     emitExpr(0, rand.nextBool() ? DartType.INT_LIST : DartType.INT_SET);
     emit(') {', newline: true);
     indent += 2;
