[parsing] Fix maybe-assigned flag in some cases.

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 3255 matching lines @@
     bool assigned;
     bool strict;
   } outers[] = {
       // Actual assignments.
       {"var x; var x = 5;", true, false},
       {"var x; { var x = 5; }", true, false},
       {"'use strict'; let x; x = 6;", true, true},
       {"var x = 5; function x() {}", true, false},
       {"var x = 4; var x = 5;", true, false},
       {"var [x, x] = [4, 5];", true, false},
+      {"var x; [x, x] = [4, 5];", true, false},
       {"var {a: x, b: x} = {a: 4, b: 5};", true, false},
       {"var x = {a: 4, b: (x = 5)};", true, false},
       {"var {x=1} = {a: 4, b: (x = 5)};", true, false},
       {"var {x} = {x: 4, b: (x = 5)};", true, false},
       // Actual non-assignments.
       {"var x;", false, false},
       {"var x = 5;", false, false},
       {"'use strict'; let x;", false, true},
       {"'use strict'; let x = 6;", false, true},
       {"'use strict'; var x = 0; { let x = 6; }", false, true},
       {"'use strict'; var x = 0; { let x; x = 6; }", false, true},
       {"'use strict'; let x = 0; { let x = 6; }", false, true},
       {"'use strict'; let x = 0; { let x; x = 6; }", false, true},
       {"var x; try {} catch (x) { x = 5; }", false, false},
       {"function x() {}", false, false},
       // Eval approximation.
       {"var x; eval('');", true, false},
       {"eval(''); var x;", true, false},
       {"'use strict'; let x; eval('');", true, true},
       {"'use strict'; eval(''); let x;", true, true},
       // Non-assignments not recognized, because the analysis is approximative.
       {"var x; var x;", true, false},
       {"var x = 5; var x;", true, false},
       {"var x; { var x; }", true, false},
       {"var x; function x() {}", true, false},
       {"function x() {}; var x;", true, false},
       {"var x; try {} catch (x) { var x = 5; }", true, false},
   };
-  struct { const char* source; bool assigned; bool with; } inners[] = {
-    // Actual assignments.
-    { "x = 1;", true, false },
-    { "x++;", true, false },
-    { "++x;", true, false },
-    { "x--;", true, false },
-    { "--x;", true, false },
-    { "{ x = 1; }", true, false },
-    { "'use strict'; { let x; }; x = 0;", true, false },
-    { "'use strict'; { const x = 1; }; x = 0;", true, false },
-    { "'use strict'; { function x() {} }; x = 0;", true, false },
-    { "with ({}) { x = 1; }", true, true },
-    { "eval('');", true, false },
-    { "'use strict'; { let y; eval('') }", true, false },
-    { "function h() { x = 0; }", true, false },
-    { "(function() { x = 0; })", true, false },
-    { "(function() { x = 0; })", true, false },
-    { "with ({}) (function() { x = 0; })", true, true },
-    // Actual non-assignments.
-    { "", false, false },
-    { "x;", false, false },
-    { "var x;", false, false },
-    { "var x = 8;", false, false },
-    { "var x; x = 8;", false, false },
-    { "'use strict'; let x;", false, false },
-    { "'use strict'; let x = 8;", false, false },
-    { "'use strict'; let x; x = 8;", false, false },
-    { "'use strict'; const x = 8;", false, false },
-    { "function x() {}", false, false },
-    { "function x() { x = 0; }", false, false },
-    { "function h(x) { x = 0; }", false, false },
-    { "'use strict'; { let x; x = 0; }", false, false },
-    { "{ var x; }; x = 0;", false, false },
-    { "with ({}) {}", false, true },
-    { "var x; { with ({}) { x = 1; } }", false, true },
-    { "try {} catch(x) { x = 0; }", false, false },
-    { "try {} catch(x) { with ({}) { x = 1; } }", false, true },
-    // Eval approximation.
-    { "eval('');", true, false },
-    { "function h() { eval(''); }", true, false },
-    { "(function() { eval(''); })", true, false },
-    // Shadowing not recognized because of eval approximation.
-    { "var x; eval('');", true, false },
-    { "'use strict'; let x; eval('');", true, false },
-    { "try {} catch(x) { eval(''); }", true, false },
-    { "function x() { eval(''); }", true, false },
-    { "(function(x) { eval(''); })", true, false },
+  struct {
+    const char* source;
+    bool assigned;
+    bool with;
+  } inners[] = {
+      // Actual assignments.
+      {"x = 1;", true, false},
+      {"x++;", true, false},
+      {"++x;", true, false},
+      {"x--;", true, false},
+      {"--x;", true, false},
+      {"{ x = 1; }", true, false},
+      {"'use strict'; { let x; }; x = 0;", true, false},
+      {"'use strict'; { const x = 1; }; x = 0;", true, false},
+      {"'use strict'; { function x() {} }; x = 0;", true, false},
+      {"with ({}) { x = 1; }", true, true},
+      {"eval('');", true, false},
+      {"'use strict'; { let y; eval('') }", true, false},
+      {"function h() { x = 0; }", true, false},
+      {"(function() { x = 0; })", true, false},
+      {"(function() { x = 0; })", true, false},
+      {"with ({}) (function() { x = 0; })", true, true},
+      {"for (x of [1,2,3]) {}", true, false},
+      {"for (x in {a: 1}) {}", true, false},
+      {"for ([x] of [[1],[2],[3]]) {}", true, false},
+      {"for ([x] in {ab: 1}) {}", true, false},
+      {"for ([...x] in {ab: 1}) {}", true, false},
+      {"[x] = [1]", true, false},
+      // Actual non-assignments.
+      {"", false, false},
+      {"x;", false, false},
+      {"var x;", false, false},
+      {"var x = 8;", false, false},
+      {"var x; x = 8;", false, false},
+      {"'use strict'; let x;", false, false},
+      {"'use strict'; let x = 8;", false, false},
+      {"'use strict'; let x; x = 8;", false, false},
+      {"'use strict'; const x = 8;", false, false},
+      {"function x() {}", false, false},
+      {"function x() { x = 0; }", false, false},
+      {"function h(x) { x = 0; }", false, false},
+      {"'use strict'; { let x; x = 0; }", false, false},
+      {"{ var x; }; x = 0;", false, false},
+      {"with ({}) {}", false, true},
+      {"var x; { with ({}) { x = 1; } }", false, true},
+      {"try {} catch(x) { x = 0; }", false, false},
+      {"try {} catch(x) { with ({}) { x = 1; } }", false, true},
+      // Eval approximation.
+      {"eval('');", true, false},
+      {"function h() { eval(''); }", true, false},
+      {"(function() { eval(''); })", true, false},
+      // Shadowing not recognized because of eval approximation.
+      {"var x; eval('');", true, false},
+      {"'use strict'; let x; eval('');", true, false},
+      {"try {} catch(x) { eval(''); }", true, false},
+      {"function x() { eval(''); }", true, false},
+      {"(function(x) { eval(''); })", true, false},
   };
 
   int prefix_len = Utf8LengthHelper(prefix);
   int midfix_len = Utf8LengthHelper(midfix);
   int suffix_len = Utf8LengthHelper(suffix);
   for (unsigned i = 0; i < arraysize(outers); ++i) {
     const char* outer = outers[i].source;
     int outer_len = Utf8LengthHelper(outer);
     for (unsigned j = 0; j < arraysize(inners); ++j) {
       for (unsigned lazy = 0; lazy < 2; ++lazy) {
@@ skipping 42 matching lines @@
         i::Variable* var = scope->Lookup(var_name);
         bool expected = outers[i].assigned || inners[j].assigned;
         CHECK(var != NULL);
         CHECK(var->is_used() || !expected);
         bool is_maybe_assigned = var->maybe_assigned() == i::kMaybeAssigned;
         if (i::FLAG_lazy_inner_functions) {
           // If we parse inner functions lazily, allow being pessimistic about
           // maybe_assigned.
           CHECK(is_maybe_assigned || (is_maybe_assigned == expected));
         } else {
-          CHECK(is_maybe_assigned == expected);
+          CHECK_EQ(is_maybe_assigned, expected);
         }
       }
     }
   }
 }
 
 namespace {
 
 i::Scope* DeserializeFunctionScope(i::Isolate* isolate, i::Zone* zone,
                                    i::Handle<i::JSObject> m, const char* name) {
@@ skipping 5122 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));
   }
 }