Fix Array.prototype.concat when exceeding array size limit.

test/mjsunit/regress/regress-581.js

 // Copyright 2013 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
 //       with the distribution.
 //     * Neither the name of Google Inc. nor the names of its
 //       contributors may be used to endorse or promote products derived
 //       from this software without specific prior written permission.
 //
 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
 // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
 // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
 // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
 // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 
-var o = {};
-Object.defineProperty(o, "length", { get: function() { throw "bail"; }});
-assertThrows("new Int16Array(o);");
+var pow30 = Math.pow(2, 30);
+var pow31 = Math.pow(2, 31);
+var pow32 = Math.pow(2, 32);
 
 var a = [];
-Object.defineProperty(a, "0", { get: function() { throw "bail"; }});
-assertThrows("new Int16Array(a);");
+a[pow31] = 31;
+
+assertEquals(pow31 + 1, a.length);
+var b = a.concat(a);
+// b == { (2^31) : 42, (2^32 + 1) : 42 }, only first of which is set as
+// array element.  The second one is a property and does not affect the
+// length property.
+assertEquals(pow31 + 1, b.length);
+assertTrue((pow32 + 1) in b);
+assertEquals(31, b[pow31]);
+assertEquals(31, b[pow32 + 1]);
+
+var c = [];
+c[pow30] = 30;
+c["a"] = 17;
+var d = c.concat(c, a);
+assertEquals(pow31 + 2, d.length);
+assertTrue((pow32 + 2) in d);
+assertFalse("a" in d);
+assertEquals(30, d[pow30 + 0]);
+assertEquals(30, d[pow31 + 1]);
+assertEquals(31, d[pow32 + 2]);
+