[accessors] handle `writable` changing during ArrayLengthSetter

src/accessors.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/accessors.h"
 
 #include "src/api.h"
 #include "src/contexts.h"
 #include "src/deoptimizer.h"
 #include "src/execution.h"
@@ skipping 149 matching lines @@
   Object* result = holder->length();
   info.GetReturnValue().Set(Utils::ToLocal(Handle<Object>(result, isolate)));
 }
 
 void Accessors::ArrayLengthSetter(
     v8::Local<v8::Name> name, v8::Local<v8::Value> val,
     const v8::PropertyCallbackInfo<v8::Boolean>& info) {
   i::Isolate* isolate = reinterpret_cast<i::Isolate*>(info.GetIsolate());
   HandleScope scope(isolate);
 
+  DCHECK(Utils::OpenHandle(*name)->SameValue(isolate->heap()->length_string()));
+
   Handle<JSReceiver> object = Utils::OpenHandle(*info.Holder());
   Handle<JSArray> array = Handle<JSArray>::cast(object);
   Handle<Object> length_obj = Utils::OpenHandle(*val);
 
+  bool was_readonly = JSArray::HasReadOnlyLength(array);
+
   uint32_t length = 0;
   if (!JSArray::AnythingToArrayLength(isolate, length_obj, &length)) {
     isolate->OptionalRescheduleException(false);
     return;
   }
 
+  if (!was_readonly && length != array->length()->Number()) {
+    // AnythingToArrayLength() may have called setter re-entrantly and modified
+    // its property descriptor. Don't perform this check if "length" was
+    // previously readonly, as this may have been called during
+    // DefineOwnPropertyIgnoreAttributes().

[Toon Verwaest, 2016/11/30 18:05:52]

What about if (!was_readonly && V8_UNLIKELY(is read-only && length !=...)) ?

[caitp, 2016/11/30 18:13:36]

`I think the combination of !was_readonly && length != current_length` is the
most common case, but in that common case, the "is read only" becomes very
uncommon

+    if (V8_UNLIKELY(JSArray::HasReadOnlyLength(array))) {
+      if (info.ShouldThrowOnError()) {
+        Factory* factory = isolate->factory();
+        isolate->Throw(*factory->NewTypeError(
+            MessageTemplate::kStrictReadOnlyProperty, Utils::OpenHandle(*name),
+            i::Object::TypeOf(isolate, object), object));
+        isolate->OptionalRescheduleException(false);
+      } else {
+        info.GetReturnValue().Set(false);
+      }
+      return;
+    }
+  }
+
   JSArray::SetLength(array, length);
 
   uint32_t actual_new_len = 0;
   CHECK(array->length()->ToArrayLength(&actual_new_len));
   // Fail if there were non-deletable elements.
   if (actual_new_len != length) {
     if (info.ShouldThrowOnError()) {
       Factory* factory = isolate->factory();
       isolate->Throw(*factory->NewTypeError(
           MessageTemplate::kStrictDeleteProperty,
@@ skipping 1034 matching lines @@
 Handle<AccessorInfo> Accessors::ErrorStackInfo(Isolate* isolate,
                                                PropertyAttributes attributes) {
   Handle<AccessorInfo> info =
       MakeAccessor(isolate, isolate->factory()->stack_string(),
                    &ErrorStackGetter, &ErrorStackSetter, attributes);
   return info;
 }
 
 }  // namespace internal
 }  // namespace v8