diff --git a/test/built-ins/Array/prototype/shift/set-length-array-is-frozen.js b/test/built-ins/Array/prototype/shift/set-length-array-is-frozen.js new file mode 100644 index 0000000000..6cd54d3676 --- /dev/null +++ b/test/built-ins/Array/prototype/shift/set-length-array-is-frozen.js @@ -0,0 +1,43 @@ +// Copyright (C) 2022 Apple Inc. All rights reserved. +// This code is governed by the BSD license found in the LICENSE file. +/*--- +esid: sec-array.prototype.shift +description: > + A TypeError is thrown when "length" is [[Set]] on a frozen array. +info: | + Array.prototype.shift ( ) + + [...] + 4. Let first be ? Get(O, "0"). + [...] + 8. Perform ? Set(O, "length", 𝔽(len - 1), true). + + OrdinarySetWithOwnDescriptor ( O, P, V, Receiver, ownDesc ) + + [...] + 2. If IsDataDescriptor(ownDesc) is true, then + a. If ownDesc.[[Writable]] is false, return false. + + Set ( O, P, V, Throw ) + + [...] + 1. Let success be ? O.[[Set]](P, V, O). + 2. If success is false and Throw is true, throw a TypeError exception. +---*/ + +var array = new Array(1); +var arrayPrototypeGet0Calls = 0; + +Object.defineProperty(Array.prototype, "0", { + get() { + Object.freeze(array); + arrayPrototypeGet0Calls++; + }, +}); + +assert.throws(TypeError, function() { + array.shift(); +}); + +assert.sameValue(array.length, 1); +assert.sameValue(arrayPrototypeGet0Calls, 1); diff --git a/test/built-ins/Array/prototype/shift/set-length-array-length-is-non-writable.js b/test/built-ins/Array/prototype/shift/set-length-array-length-is-non-writable.js new file mode 100644 index 0000000000..987152260c --- /dev/null +++ b/test/built-ins/Array/prototype/shift/set-length-array-length-is-non-writable.js @@ -0,0 +1,43 @@ +// Copyright (C) 2022 Apple Inc. All rights reserved. +// This code is governed by the BSD license found in the LICENSE file. +/*--- +esid: sec-array.prototype.shift +description: > + A TypeError is thrown when "length" is [[Set]] on an array with non-writable "length". +info: | + Array.prototype.shift ( ) + + [...] + 4. Let first be ? Get(O, "0"). + [...] + 8. Perform ? Set(O, "length", 𝔽(len - 1), true). + + OrdinarySetWithOwnDescriptor ( O, P, V, Receiver, ownDesc ) + + [...] + 2. If IsDataDescriptor(ownDesc) is true, then + a. If ownDesc.[[Writable]] is false, return false. + + Set ( O, P, V, Throw ) + + [...] + 1. Let success be ? O.[[Set]](P, V, O). + 2. If success is false and Throw is true, throw a TypeError exception. +---*/ + +var array = new Array(1); +var arrayPrototypeGet0Calls = 0; + +Object.defineProperty(Array.prototype, "0", { + get() { + Object.defineProperty(array, "length", { writable: false }); + arrayPrototypeGet0Calls++; + }, +}); + +assert.throws(TypeError, function() { + array.shift(); +}); + +assert.sameValue(array.length, 1); +assert.sameValue(arrayPrototypeGet0Calls, 1); diff --git a/test/built-ins/Array/prototype/shift/set-length-zero-array-is-frozen.js b/test/built-ins/Array/prototype/shift/set-length-zero-array-is-frozen.js new file mode 100644 index 0000000000..6504feda32 --- /dev/null +++ b/test/built-ins/Array/prototype/shift/set-length-zero-array-is-frozen.js @@ -0,0 +1,32 @@ +// Copyright (C) 2022 Apple Inc. All rights reserved. +// This code is governed by the BSD license found in the LICENSE file. +/*--- +esid: sec-array.prototype.shift +description: > + A TypeError is thrown when "length" is [[Set]] on an empty frozen array. +info: | + Array.prototype.shift ( ) + + [...] + 3. If len = 0, then + a. Perform ? Set(O, "length", +0𝔽, true). + + OrdinarySetWithOwnDescriptor ( O, P, V, Receiver, ownDesc ) + + [...] + 2. If IsDataDescriptor(ownDesc) is true, then + a. If ownDesc.[[Writable]] is false, return false. + + Set ( O, P, V, Throw ) + + [...] + 1. Let success be ? O.[[Set]](P, V, O). + 2. If success is false and Throw is true, throw a TypeError exception. +---*/ + +var array = []; +Object.freeze(array); + +assert.throws(TypeError, function() { + array.shift(); +}); diff --git a/test/built-ins/Array/prototype/shift/set-length-zero-array-length-is-non-writable.js b/test/built-ins/Array/prototype/shift/set-length-zero-array-length-is-non-writable.js new file mode 100644 index 0000000000..37b8cdf6c3 --- /dev/null +++ b/test/built-ins/Array/prototype/shift/set-length-zero-array-length-is-non-writable.js @@ -0,0 +1,32 @@ +// Copyright (C) 2022 Apple Inc. All rights reserved. +// This code is governed by the BSD license found in the LICENSE file. +/*--- +esid: sec-array.prototype.shift +description: > + A TypeError is thrown when "length" is [[Set]] on an empty array with non-writable "length". +info: | + Array.prototype.shift ( ) + + [...] + 3. If len = 0, then + a. Perform ? Set(O, "length", +0𝔽, true). + + OrdinarySetWithOwnDescriptor ( O, P, V, Receiver, ownDesc ) + + [...] + 2. If IsDataDescriptor(ownDesc) is true, then + a. If ownDesc.[[Writable]] is false, return false. + + Set ( O, P, V, Throw ) + + [...] + 1. Let success be ? O.[[Set]](P, V, O). + 2. If success is false and Throw is true, throw a TypeError exception. +---*/ + +var array = []; +Object.defineProperty(array, "length", { writable: false }); + +assert.throws(TypeError, function() { + array.shift(); +});