[parsing] Be less pessimistic about maybe_assigned of parameters.

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 3414 matching lines @@
           CHECK(is_maybe_assigned == expected ||
                 (is_maybe_assigned && inners[j].allow_error_in_inner_function));
         } else {
           CHECK_EQ(is_maybe_assigned, expected);
         }
       }
     }
   }
 }
 
+TEST(MaybeAssignedParameters) {
+  i::Isolate* isolate = CcTest::i_isolate();
+  i::Factory* factory = isolate->factory();
+  i::HandleScope scope(isolate);
+  LocalContext env;
+
+  struct {
+    bool arg_assigned;
+    const char* source;
+  } tests[] = {
+      {false, "(function f(arg) {})"},
+      {false, "(function f(arg) {g(arg)})"},
+      {false, "(function f(arg) {function h() { g(arg) }; h()})"},
+      {false, "(function f(arg) {function h() { g(arg) }; return h})"},
+      {false, "(function f(arg) {function h() { g(arg) }; return h})"},
+      {false, "(function f(arg=1) {})"},
+      {false, "(function f(arg=1) {g(arg)})"},

[adamk, 2016/12/15 11:58:36]

Can you add a few tests with an argument called "arguments"?

f(arguments)
f(arguments=1)
f(...arguments)

+
+      // strict arguments object
+      {false, "(function f(arg, x=1) {g(arg); arguments[0] = 42; g(arg)})"},
+      {false, "(function f(arg, ...x) {g(arg); arguments[0] = 42; g(arg)})"},
+      {false, "(function f(arg=1) {g(arg); arguments[0] = 42; g(arg)})"},
+      {false,
+       "(function f(arg) {'use strict'; g(arg); arguments[0] = 42; g(arg)})"},
+      {false, "(function f(arg) {g(arg); f.arguments[0] = 42; g(arg)})"},
+
+      {true, "(function f(arg) {g(arg); arg = 42; g(arg)})"},
+      {true, "(function f(arg) {g(arg); eval('arg = 42'); g(arg)})"},
+      {true, "(function f(arg) {g(arg); var arg = 42; g(arg)})"},
+      {true, "(function f(arg, x=1) {g(arg); arg = 42; g(arg)})"},
+      {true, "(function f(arg, ...x) {g(arg); arg = 42; g(arg)})"},
+      {true, "(function f(arg=1) {g(arg); arg = 42; g(arg)})"},
+      {true, "(function f(arg) {'use strict'; g(arg); arg = 42; g(arg)})"},
+      {true, "(function f(arg, {a=(g(arg), arg=42)}) {g(arg)})"},
+
+      // sloppy arguments object
+      {true, "(function f(arg) {g(arg); arguments[0] = 42; g(arg)})"},
+      {true, "(function f(arg) {g(arg); h(arguments); g(arg)})"},
+      {true,
+       "(function f(arg) {((args) => {arguments[0] = 42})(arguments); "
+       "g(arg)})"},
+      {true, "(function f(arg) {g(arg); eval('arguments[0] = 42'); g(arg)})"},
+  };
+
+  for (unsigned i = 0; i < arraysize(tests); ++i) {
+    bool assigned = tests[i].arg_assigned;
+    const char* source = tests[i].source;
+    int length = Utf8LengthHelper(source);
+    for (unsigned lazy = 0; lazy < 2; ++lazy) {
+      i::ScopedVector<char> program(length + 1);
+      i::SNPrintF(program, "%s", source);
+      i::Zone zone(isolate->allocator(), ZONE_NAME);
+      std::unique_ptr<i::ParseInfo> info;
+      if (lazy) {
+        printf("%s\n", program.start());
+        v8::Local<v8::Value> v = CompileRun(program.start());
+        i::Handle<i::Object> o = v8::Utils::OpenHandle(*v);
+        i::Handle<i::JSFunction> f = i::Handle<i::JSFunction>::cast(o);
+        i::Handle<i::SharedFunctionInfo> shared = i::handle(f->shared());
+        info = std::unique_ptr<i::ParseInfo>(new i::ParseInfo(&zone, shared));
+        DCHECK(i::parsing::ParseFunction(info.get()));
+      } else {
+        i::Handle<i::String> source =
+            factory->InternalizeUtf8String(program.start());
+        source->PrintOn(stdout);
+        printf("\n");
+        i::Handle<i::Script> script = factory->NewScript(source);
+        info = std::unique_ptr<i::ParseInfo>(new i::ParseInfo(&zone, script));
+        info->set_allow_lazy_parsing(false);
+        DCHECK(i::parsing::ParseProgram(info.get()));
+      }
+      DCHECK(i::Compiler::Analyze(info.get()));
+      DCHECK_NOT_NULL(info->literal());
+
+      i::Scope* scope = info->literal()->scope();
+      if (!lazy) {
+        scope = scope->inner_scope();
+      }
+      DCHECK_NULL(scope->sibling());
+      DCHECK(scope->is_function_scope());
+      const i::AstRawString* var_name =
+          info->ast_value_factory()->GetOneByteString("arg");
+      i::Variable* var = scope->Lookup(var_name);
+      DCHECK(var->is_used() || !assigned);
+      bool is_maybe_assigned = var->maybe_assigned() == i::kMaybeAssigned;
+      CHECK_EQ(is_maybe_assigned, assigned);
+    }
+  }
+}
+
 namespace {
 
 i::Scope* DeserializeFunctionScope(i::Isolate* isolate, i::Zone* zone,
                                    i::Handle<i::JSObject> m, const char* name) {
   i::AstValueFactory avf(zone, isolate->heap()->HashSeed());
   i::Handle<i::JSFunction> f = i::Handle<i::JSFunction>::cast(
       i::JSReceiver::GetProperty(isolate, m, name).ToHandleChecked());
   i::DeclarationScope* script_scope =
       new (zone) i::DeclarationScope(zone, &avf);
   i::Scope* s = i::Scope::DeserializeScopeChain(
@@ skipping 5116 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));
   }
 }