Atomics.waitAsync: poisoned object throws

This commit is contained in:
Rick Waldron 2020-04-08 16:48:38 -04:00
parent db9c0ef27c
commit eeb75f60dd
2 changed files with 129 additions and 0 deletions

View File

@ -0,0 +1,86 @@
// Copyright (C) 2020 Rick Waldron. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
esid: sec-atomics.waitasync
description: >
False timeout arg should result in an +0 timeout
info: |
Atomics.waitAsync( typedArray, index, value, timeout )
1. Return DoWait(async, typedArray, index, value, timeout).
DoWait ( mode, typedArray, index, value, timeout )
6. Let q be ? ToNumber(timeout).
Let primValue be ? ToPrimitive(argument, hint Number).
Return ? ToNumber(primValue).
flags: [async]
includes: [atomicsHelper.js]
features: [Atomics.waitAsync, SharedArrayBuffer, TypedArray, Atomics]
---*/
const RUNNING = 1;
$262.agent.start(`
const poisonedValueOf = {
valueOf() {
throw new Error("should not evaluate this code");
}
};
const poisonedToPrimitive = {
[Symbol.toPrimitive]() {
throw new Error("passing a poisoned object using @@ToPrimitive");
}
};
$262.agent.receiveBroadcast(function(sab) {
const i32a = new Int32Array(sab);
Atomics.add(i32a, ${RUNNING}, 1);
let status1 = "";
let status2 = "";
try {
Atomics.wait(i32a, 0, 0, poisonedValueOf);
} catch (error) {
status1 = "poisonedValueOf";
}
try {
Atomics.wait(i32a, 0, 0, poisonedToPrimitive);
} catch (error) {
status2 = "poisonedToPrimitive";
}
$262.agent.report(status1);
$262.agent.report(status2);
$262.agent.leaving();
});
`);
const i32a = new Int32Array(
new SharedArrayBuffer(Int32Array.BYTES_PER_ELEMENT * 4)
);
$262.agent.safeBroadcastAsync(i32a, RUNNING, 1).then(async (agentCount) => {
assert.sameValue(agentCount, 1);
assert.sameValue(
await $262.agent.getReportAsync(),
'poisonedValueOf',
'Atomics.wait(i32a, 0, 0, poisonedValueOf) throws'
);
assert.sameValue(
await $262.agent.getReportAsync(),
'poisonedToPrimitive',
'Atomics.wait(i32a, 0, 0, poisonedToPrimitive) throws'
);
assert.sameValue(Atomics.notify(i32a, 0), 0, 'Atomics.notify(i32a, 0) returns 0');
}).then($DONE, $DONE);

View File

@ -0,0 +1,43 @@
// Copyright (C) 2020 Rick Waldron. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
esid: sec-atomics.waitasync
description: >
Throws a TypeError if index arg can not be converted to an Integer
info: |
Atomics.wait( typedArray, index, value, timeout )
4. Let q be ? ToNumber(timeout).
Object -> Apply the following steps:
Let primValue be ? ToPrimitive(argument, hint Number).
Return ? ToNumber(primValue).
features: [Atomics.waitAsync, SharedArrayBuffer, Symbol, Symbol.toPrimitive, TypedArray, computed-property-names, Atomics]
---*/
const i32a = new Int32Array(
new SharedArrayBuffer(Int32Array.BYTES_PER_ELEMENT * 4)
);
const poisonedValueOf = {
valueOf() {
throw new Test262Error('should not evaluate this code');
}
};
const poisonedToPrimitive = {
[Symbol.toPrimitive]() {
throw new Test262Error("passing a poisoned object using @@ToPrimitive");
}
};
assert.throws(Test262Error, function() {
Atomics.wait(i32a, 0, 0, poisonedValueOf);
}, '`Atomics.wait(i32a, 0, 0, poisonedValueOf)` throws Test262Error');
assert.throws(Test262Error, function() {
Atomics.wait(i32a, 0, 0, poisonedToPrimitive);
}, '`Atomics.wait(i32a, 0, 0, poisonedToPrimitive)` throws Test262Error');