Strawman: check strong mode free variables against the global object.

src/api.cc

 // Copyright 2012 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #include "src/api.h"
 
 #include <string.h>  // For memcpy, strlen.
 #ifdef V8_USE_ADDRESS_SANITIZER
 #include <sanitizer/asan_interface.h>
 #endif  // V8_USE_ADDRESS_SANITIZER
@@ skipping 18 matching lines @@
 #include "src/deoptimizer.h"
 #include "src/execution.h"
 #include "src/global-handles.h"
 #include "src/heap-profiler.h"
 #include "src/heap-snapshot-generator-inl.h"
 #include "src/icu_util.h"
 #include "src/json-parser.h"
 #include "src/messages.h"
 #include "src/natives.h"
 #include "src/parser.h"
+#include "src/pending-compilation-error-handler.h"
 #include "src/profile-generator-inl.h"
 #include "src/property.h"
 #include "src/property-details.h"
 #include "src/prototype.h"
 #include "src/runtime/runtime.h"
 #include "src/runtime-profiler.h"
 #include "src/sampler.h"
 #include "src/scanner-character-streams.h"
 #include "src/simulator.h"
 #include "src/snapshot.h"
@@ skipping 1434 matching lines @@
 ScriptCompiler::StreamedSource::GetCachedData() const {
   return impl_->cached_data.get();
 }
 
 
 Local<Script> UnboundScript::BindToCurrentContext() {
   i::Handle<i::HeapObject> obj =
       i::Handle<i::HeapObject>::cast(Utils::OpenHandle(this));
   i::Handle<i::SharedFunctionInfo>
       function_info(i::SharedFunctionInfo::cast(*obj), obj->GetIsolate());
+  i::Isolate* isolate = obj->GetIsolate();
+
+  i::ScopeInfo* scope_info = function_info->scope_info();
+  i::Handle<i::JSReceiver> global(isolate->native_context()->global_object());
+  for (int i = 0; i < scope_info->StrongModeFreeVariableCount(); ++i) {
+    i::Handle<i::Name> name(scope_info->StrongModeFreeVariableName(i));
+    Maybe<bool> has = i::JSReceiver::HasOwnProperty(global, name);

[Dmitry Lomov (no reviews), 2015/03/24 10:16:24]

Why only own properties?
Also use ScriptCongtextTable for lexicals as well

[marja, 2015/03/24 14:20:05]

Done.

+    if (has.IsJust() && !has.FromJust()) {
+      i::PendingCompilationErrorHandler pending_error_handler_;
+      pending_error_handler_.ReportMessageAt(
+          // FIXME: location
+          0, 0, "strong_unbound_global", reinterpret_cast<const char*>(NULL),
+          i::kReferenceError);
+      i::Handle<i::Script> script(i::Script::cast(function_info->script()));
+      pending_error_handler_.ThrowPendingError(isolate, script);
+      isolate->ReportPendingMessages();
+      isolate->OptionalRescheduleException(true);
+      return Local<Script>();
+    }
+  }
   i::Handle<i::JSFunction> function =
       obj->GetIsolate()->factory()->NewFunctionFromSharedFunctionInfo(
-          function_info, obj->GetIsolate()->native_context());
+          function_info, isolate->native_context());
   return ToApiHandle<Script>(function);
 }
 
 
 int UnboundScript::GetId() {
   i::Handle<i::HeapObject> obj =
       i::Handle<i::HeapObject>::cast(Utils::OpenHandle(this));
   i::Isolate* isolate = obj->GetIsolate();
   LOG_API(isolate, "v8::UnboundScript::GetId");
   i::HandleScope scope(isolate);
@@ skipping 427 matching lines @@
     if (has_pending_exception) isolate->ReportPendingMessages();
     RETURN_ON_FAILED_EXECUTION(Script);
 
     source->info->clear_script();  // because script goes out of scope.
     raw_result = *result;          // TODO(titzer): use CloseAndEscape?
   }
 
   i::Handle<i::SharedFunctionInfo> result(raw_result, isolate);
   Local<UnboundScript> generic = ToApiHandle<UnboundScript>(result);
   if (generic.IsEmpty()) return Local<Script>();
-  RETURN_ESCAPED(generic->BindToCurrentContext());
+  Local<Script> bound = generic->BindToCurrentContext();
+  if (bound.IsEmpty()) return Local<Script>();
+  RETURN_ESCAPED(bound);
 }
 
 
 Local<Script> ScriptCompiler::Compile(Isolate* v8_isolate,
                                       StreamedSource* v8_source,
                                       Handle<String> full_source_string,
                                       const ScriptOrigin& origin) {
   auto context = v8_isolate->GetCurrentContext();
   RETURN_TO_LOCAL_UNCHECKED(
       Compile(context, v8_source, full_source_string, origin), Script);
@@ skipping 6062 matching lines @@
   Isolate* isolate = reinterpret_cast<Isolate*>(info.GetIsolate());
   Address callback_address =
       reinterpret_cast<Address>(reinterpret_cast<intptr_t>(callback));
   VMState<EXTERNAL> state(isolate);
   ExternalCallbackScope call_scope(isolate, callback_address);
   callback(info);
 }
 
 
 } }  // namespace v8::internal