Revision: 21903
Author:   [email protected]
Date:     Fri Jun 20 15:40:21 2014 UTC
Log:      Array.concat: properly go to dictionary mode when required

BUG=chromium:387031
LOG=y
[email protected]

Review URL: https://codereview.chromium.org/342333002
http://code.google.com/p/v8/source/detail?r=21903

Added:
 /branches/bleeding_edge/test/mjsunit/regress/regress-crbug-387031.js
Modified:
 /branches/bleeding_edge/src/runtime.cc

=======================================
--- /dev/null
+++ /branches/bleeding_edge/test/mjsunit/regress/regress-crbug-387031.js Fri Jun 20 15:40:21 2014 UTC
@@ -0,0 +1,15 @@
+// Copyright 2014 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.
+
+// Flags: --allow-natives-syntax
+
+a = [1];
+b = [];
+a.__defineGetter__(0, function () {
+  b.length = 0xffffffff;
+});
+c = a.concat(b);
+for (var i = 0; i < 20; i++) {
+  assertEquals(undefined, (c[i]));
+}
=======================================
--- /branches/bleeding_edge/src/runtime.cc      Fri Jun 20 08:40:11 2014 UTC
+++ /branches/bleeding_edge/src/runtime.cc      Fri Jun 20 15:40:21 2014 UTC
@@ -10040,7 +10040,7 @@
       // getters on the arrays increasing the length of later arrays
       // during iteration.
       // This shouldn't happen in anything but pathological cases.
-      SetDictionaryMode(index);
+      SetDictionaryMode();
       // Fall-through to dictionary mode.
     }
     ASSERT(!fast_elements_);
@@ -10061,6 +10061,14 @@
     } else {
       index_offset_ += delta;
     }
+ // If the initial length estimate was off (see special case in visit()),
+    // but the array blowing the limit didn't contain elements beyond the
+    // provided-for index range, go to dictionary mode now.
+    if (fast_elements_ &&
+        index_offset_ >= static_cast<uint32_t>(
+            FixedArrayBase::cast(*storage_)->length())) {
+      SetDictionaryMode();
+    }
   }

   bool exceeds_array_limit() {
@@ -10082,7 +10090,7 @@

  private:
   // Convert storage to dictionary mode.
-  void SetDictionaryMode(uint32_t index) {
+  void SetDictionaryMode() {
     ASSERT(fast_elements_);
     Handle<FixedArray> current_storage(*storage_);
     Handle<SeededNumberDictionary> slow_storage(

--
--
v8-dev mailing list
[email protected]
http://groups.google.com/group/v8-dev
--- You received this message because you are subscribed to the Google Groups "v8-dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
For more options, visit https://groups.google.com/d/optout.

Reply via email to