PreParsing inner funcs: make scope analysis even more complete.

test/cctest/test-parsing.cc

 // Copyright 2012 the V8 project authors. All rights reserved.
 // Redistribution and use in source and binary forms, with or without
 // modification, are permitted provided that the following conditions are
 // met:
 //
 //     * Redistributions of source code must retain the above copyright
 //       notice, this list of conditions and the following disclaimer.
 //     * Redistributions in binary form must reproduce the above
 //       copyright notice, this list of conditions and the following
 //       disclaimer in the documentation and/or other materials provided
@@ skipping 8846 matching lines @@
       {"function inner() { for (var {x: my_var} in {}) { } my_var; }", false},
       {"function inner() { for (var {x: my_var} of []) { } my_var; }", false},
       {"function inner() { for (var {my_var} in {}) { } my_var; }", false},
       {"function inner() { for (var {my_var} of []) { } my_var; }", false},
       {"function inner() { for (var {y, x: my_var} in {}) { } my_var; }",
        false},
       {"function inner() { for (var {y, x: my_var} of []) { } my_var; }",
        false},
       {"function inner() { for (var {a, my_var} in {}) { } my_var; }", false},
       {"function inner() { for (var {a, my_var} of []) { } my_var; }", false},
+      {"function inner() { for (let my_var = 0; my_var < 1; ++my_var) { my_var "
+       "} }",
+       false},
+      {"function inner() { for (var my_var = 0; my_var < 1; ++my_var) { my_var "
+       "} }",
+       false},
+      {"function inner() { for (let a = 0, my_var = 0; my_var < 1; ++my_var) { "
+       "my_var } }",
+       false},
+      {"function inner() { for (var a = 0, my_var = 0; my_var < 1; ++my_var) { "
+       "my_var } }",
+       false},
       {"function inner() { class my_var {}; my_var }", false},
       // In the following cases we still context allocate pessimistically:
       {"function inner() { function my_var() {} my_var; }", true},
       {"function inner() { if (true) { function my_var() {} }  my_var; }",
        true},
-      {"function inner() { for (let my_var = 0; my_var < 1; ++my_var) { my_var "
-       "} }",
-       true},
-      {"function inner() { for (let a = 0, my_var = 0; my_var < 1; ++my_var) { "
-       "my_var } }",
-       true},
   };
 
   for (unsigned i = 0; i < arraysize(inners); ++i) {
     const char* inner = inners[i].source;
     int inner_len = Utf8LengthHelper(inner);
     int len = prefix_len + inner_len + suffix_len;
     i::ScopedVector<char> program(len + 1);
     i::SNPrintF(program, "%s%s%s", prefix, inner, suffix);
     i::Handle<i::String> source =
         factory->InternalizeUtf8String(program.start());
@@ skipping 12 matching lines @@
     DCHECK_NOT_NULL(scope);
     DCHECK_NULL(scope->sibling());
     DCHECK(scope->is_function_scope());
     const i::AstRawString* var_name =
         info.ast_value_factory()->GetOneByteString("my_var");
     i::Variable* var = scope->Lookup(var_name);
     CHECK_EQ(inners[i].ctxt_allocate,
              i::ScopeTestHelper::MustAllocateInContext(var));
   }
 }