diff options
Diffstat (limited to '')
-rw-r--r-- | js/src/tests/test262/built-ins/Atomics/sub/validate-arraytype-before-index-coercion.js | 46 |
1 files changed, 46 insertions, 0 deletions
diff --git a/js/src/tests/test262/built-ins/Atomics/sub/validate-arraytype-before-index-coercion.js b/js/src/tests/test262/built-ins/Atomics/sub/validate-arraytype-before-index-coercion.js new file mode 100644 index 0000000000..513e2c65ef --- /dev/null +++ b/js/src/tests/test262/built-ins/Atomics/sub/validate-arraytype-before-index-coercion.js @@ -0,0 +1,46 @@ +// |reftest| skip-if(!this.hasOwnProperty('Atomics')) -- Atomics is not enabled unconditionally +// Copyright (C) 2019 André Bargull. All rights reserved. +// This code is governed by the BSD license found in the LICENSE file. + +/*--- +esid: sec-atomics.sub +description: > + TypedArray type is validated before `index` argument is coerced. +info: | + 24.4.10 Atomics.sub ( typedArray, index, value ) + 1. Return ? AtomicReadModifyWrite(typedArray, index, value, sub). + + 24.4.1.11 AtomicReadModifyWrite ( typedArray, index, value, op ) + 1. Let buffer be ? ValidateSharedIntegerTypedArray(typedArray). + ... + + 24.4.1.1 ValidateSharedIntegerTypedArray ( typedArray [ , onlyInt32 ] ) + ... + 4. Let typeName be typedArray.[[TypedArrayName]]. + 5. If onlyInt32 is true, then + a. If typeName is not "Int32Array", throw a TypeError exception. + 6. Else, + a. If typeName is not "Int8Array", "Uint8Array", "Int16Array", "Uint16Array", "Int32Array", + or "Uint32Array", throw a TypeError exception. + ... +features: [Atomics] +---*/ + +var index = { + valueOf() { + throw new Test262Error("index coerced"); + } +}; + +var badArrayTypes = [ + Uint8ClampedArray, Float32Array, Float64Array +]; + +for (var badArrayType of badArrayTypes) { + var typedArray = new badArrayType(new SharedArrayBuffer(8)); + assert.throws(TypeError, function() { + Atomics.sub(typedArray, index, 0); + }); +} + +reportCompare(0, 0); |