diff options
Diffstat (limited to '')
-rw-r--r-- | js/src/tests/test262/built-ins/Atomics/add/validate-arraytype-before-value-coercion.js | 46 |
1 files changed, 46 insertions, 0 deletions
diff --git a/js/src/tests/test262/built-ins/Atomics/add/validate-arraytype-before-value-coercion.js b/js/src/tests/test262/built-ins/Atomics/add/validate-arraytype-before-value-coercion.js new file mode 100644 index 0000000000..ba714e757b --- /dev/null +++ b/js/src/tests/test262/built-ins/Atomics/add/validate-arraytype-before-value-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.add +description: > + TypedArray type is validated before `value` argument is coerced. +info: | + 24.4.2 Atomics.add ( typedArray, index, value ) + 1. Return ? AtomicReadModifyWrite(typedArray, index, value, add). + + 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 value = { + valueOf() { + throw new Test262Error("value coerced"); + } +}; + +var badArrayTypes = [ + Uint8ClampedArray, Float32Array, Float64Array +]; + +for (var badArrayType of badArrayTypes) { + var typedArray = new badArrayType(new SharedArrayBuffer(8)); + assert.throws(TypeError, function() { + Atomics.add(typedArray, 0, value); + }); +} + +reportCompare(0, 0); |