PreParser scope analysis: simplify DeclareAndInitializeVariables.

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 8674 matching lines @@
       {"function inner() { for (let [a, my_var, b] in {}) { } my_var; }", true},
       {"function inner() { for (let [a, my_var, b] of []) { } my_var; }", true},
       {"function inner() { for (let {x: my_var} in {}) { } my_var; }", true},
       {"function inner() { for (let {x: my_var} of []) { } my_var; }", true},
       {"function inner() { for (let {my_var} in {}) { } my_var; }", true},
       {"function inner() { for (let {my_var} of []) { } my_var; }", true},
       {"function inner() { for (let {y, x: my_var} in {}) { } my_var; }", true},
       {"function inner() { for (let {y, x: my_var} of []) { } my_var; }", true},
       {"function inner() { for (let {a, my_var} in {}) { } my_var; }", true},
       {"function inner() { for (let {a, my_var} of []) { } my_var; }", true},
+      {"function inner() { for (let my_var = 0; my_var < 1; ++my_var) { } "
+       "my_var }",
+       true},
       // No pessimistic context allocation:
       {"function inner() { var my_var; my_var; }", false},
       {"function inner() { var my_var; }", false},
+      {"function inner() { var my_var = 0; }", false},
       {"function inner() { if (true) { var my_var; } my_var; }", false},
       {"function inner() { let my_var; my_var; }", false},
       {"function inner() { let my_var; }", false},
+      {"function inner() { let my_var = 0; }", false},
       {"function inner() { const my_var = 0; my_var; }", false},
       {"function inner() { const my_var = 0; }", false},
       {"function inner() { var [a, my_var] = [1, 2]; my_var; }", false},
       {"function inner() { let [a, my_var] = [1, 2]; my_var; }", false},
       {"function inner() { const [a, my_var] = [1, 2]; my_var; }", false},
       {"function inner() { var {a: my_var} = {a: 3}; my_var; }", false},
       {"function inner() { let {a: my_var} = {a: 3}; my_var; }", false},
       {"function inner() { const {a: my_var} = {a: 3}; my_var; }", false},
       {"function inner() { var {my_var} = {my_var: 3}; my_var; }", false},
       {"function inner() { let {my_var} = {my_var: 3}; my_var; }", false},
@@ skipping 153 matching lines @@
       {"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 (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; }",
@@ skipping 23 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));
   }
 }