PreParsing inner funcs: make scope analysis 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 8695 matching lines @@
       {"function inner() { ({my_var} = {my_var: 5}) => { }}", false},
       {"function inner() { ({a, my_var}) => my_var;}", false},
       {"function inner() { ({a, my_var}) => { }}", false},
       {"function inner() { ({a, my_var} = {a: 0, my_var: 5}) => my_var;}",
        false},
       {"function inner() { ({a, my_var} = {a: 0, my_var: 5}) => { }}", false},
       {"function inner() { ({y, x: my_var}) => my_var;}", false},
       {"function inner() { ({y, x: my_var}) => { }}", false},
       {"function inner() { ({y, x: my_var} = {y: 0, x: 0}) => my_var;}", false},
       {"function inner() { ({y, x: my_var} = {y: 0, x: 0}) => { }}", false},
+      {"function inner() { try { } catch (my_var) { my_var; } }", false},
+      {"function inner() { try { } catch ([a, my_var, b]) { my_var; } }",
+       false},
+      {"function inner() { try { } catch ({x: my_var}) { my_var; } }", false},
+      {"function inner() { try { } catch ({y, x: my_var}) { my_var; } }",
+       false},
+      {"function inner() { try { } catch ({my_var}) { my_var; } }", false},
+      {"function inner() { for (let my_var in {}) { my_var; } }", false},
+      {"function inner() { for (let my_var in {}) { } }", false},
+      {"function inner() { for (let my_var of []) { my_var; } }", false},
+      {"function inner() { for (let my_var of []) { } }", false},
+      {"function inner() { for (let [a, my_var, b] in {}) { my_var; } }",
+       false},
+      {"function inner() { for (let [a, my_var, b] of []) { my_var; } }",
+       false},
+      {"function inner() { for (let {x: my_var} in {}) { my_var; } }", false},
+      {"function inner() { for (let {x: my_var} of []) { my_var; } }", false},
+      {"function inner() { for (let {my_var} in {}) { my_var; } }", false},
+      {"function inner() { for (let {my_var} of []) { my_var; } }", false},
+      {"function inner() { for (let {y, x: my_var} in {}) { my_var; } }",
+       false},
+      {"function inner() { for (let {y, x: my_var} of []) { my_var; } }",
+       false},
+      {"function inner() { for (let {a, my_var} in {}) { my_var; } }", false},
+      {"function inner() { for (let {a, my_var} of []) { my_var; } }", false},
+      {"function inner() { for (var my_var in {}) { my_var; } }", false},
+      {"function inner() { for (var my_var in {}) { } }", false},
+      {"function inner() { for (var my_var of []) { my_var; } }", false},
+      {"function inner() { for (var my_var of []) { } }", false},
+      {"function inner() { for (var [a, my_var, b] in {}) { my_var; } }",
+       false},
+      {"function inner() { for (var [a, my_var, b] of []) { my_var; } }",
+       false},
+      {"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 (var my_var in {}) { } my_var; }", false},
+      {"function inner() { for (var my_var of []) { } my_var; }", false},
+      {"function inner() { for (var [a, my_var, b] in {}) { } my_var; }",
+       false},
+      {"function inner() { for (var [a, my_var, b] of []) { } my_var; }",
+       false},
+      {"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() { 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() { try { } catch (my_var) { my_var; } }", true},
-      {"function inner() { try { } catch ([a, my_var, b]) { my_var; } }", true},
-      {"function inner() { try { } catch ({x: my_var}) { my_var; } }", true},
-      {"function inner() { try { } catch ({y, x: my_var}) { my_var; } }", true},
-      {"function inner() { try { } catch ({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},
-      {"function inner() { for (let my_var in {}) { my_var; } }", true},
-      {"function inner() { for (let my_var in {}) { } }", true},
-      {"function inner() { for (let my_var of []) { my_var; } }", true},
-      {"function inner() { for (let my_var of []) { } }", true},
-      {"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 (var my_var in {}) { my_var; } }", true},
-      {"function inner() { for (var my_var in {}) { } }", true},
-      {"function inner() { for (var my_var of []) { my_var; } }", true},
-      {"function inner() { for (var my_var of []) { } }", true},
-      {"function inner() { for (var [a, my_var, b] in {}) { my_var; } }", true},
-      {"function inner() { for (var [a, my_var, b] of []) { my_var; } }", true},
-      {"function inner() { for (var {x: my_var} in {}) { my_var; } }", true},
-      {"function inner() { for (var {x: my_var} of []) { my_var; } }", true},
-      {"function inner() { for (var {my_var} in {}) { my_var; } }", true},
-      {"function inner() { for (var {my_var} of []) { my_var; } }", true},
-      {"function inner() { for (var {y, x: my_var} in {}) { my_var; } }", true},
-      {"function inner() { for (var {y, x: my_var} of []) { my_var; } }", true},
-      {"function inner() { for (var {a, my_var} in {}) { my_var; } }", true},
-      {"function inner() { for (var {a, my_var} of []) { my_var; } }", true},
-      {"function inner() { for (var my_var in {}) { } my_var; }", true},
-      {"function inner() { for (var my_var of []) { } my_var; }", true},
-      {"function inner() { for (var [a, my_var, b] in {}) { } my_var; }", true},
-      {"function inner() { for (var [a, my_var, b] of []) { } my_var; }", true},
-      {"function inner() { for (var {x: my_var} in {}) { } my_var; }", true},
-      {"function inner() { for (var {x: my_var} of []) { } my_var; }", true},
-      {"function inner() { for (var {my_var} in {}) { } my_var; }", true},
-      {"function inner() { for (var {my_var} of []) { } my_var; }", true},
-      {"function inner() { for (var {y, x: my_var} in {}) { } my_var; }", true},
-      {"function inner() { for (var {y, x: my_var} of []) { } my_var; }", true},
-      {"function inner() { for (var {a, my_var} in {}) { } my_var; }", true},
-      {"function inner() { for (var {a, my_var} of []) { } my_var; }", true},
-      {"function inner() { class 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));
   }
 }