forked from WebKit/WebKit
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[JSC] Close Iterator Helpers underlying iterator when arguments are i…
…nvalid https://bugs.webkit.org/show_bug.cgi?id=284709 Reviewed by NOBODY (OOPS!). The normative change[1] that requires closing underlying iterators when argument validation fails for iterator helpers reached consensus at the TC39 meeting in December 2024[2]. This patch implements it. [1]: tc39/ecma262#3467 [2]: https://github.com/tc39/agendas/blob/main/2024/12.md * JSTests/stress/iterator-helpers-close-for-invalid-argument.js: Added. (shouldThrow): (shouldBe): (throw.new.Error.let.closable.get next): (throw.new.Error): (shouldBe.let.closable.get next): (shouldBe.OurError): (let.closable.get next): (shouldBe.get shouldBe): (OurError): (get shouldBe): * Source/JavaScriptCore/builtins/JSIteratorPrototype.js: (some.wrapper.iterator): (some): (every.wrapper.iterator): (every): (find.wrapper.iterator): (find): (reduce):
- Loading branch information
1 parent
8d75fca
commit 9e974e1
Showing
3 changed files
with
319 additions
and
20 deletions.
There are no files selected for viewing
271 changes: 271 additions & 0 deletions
271
JSTests/stress/iterator-helpers-close-for-invalid-argument.js
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,271 @@ | ||
function shouldThrow(errorType, func) { | ||
let error; | ||
try { | ||
func(); | ||
} catch (e) { | ||
error = e; | ||
} | ||
if (!(error instanceof errorType)) { | ||
print(error.message); | ||
throw new Error(`Expected ${errorType.name}! got ${error.name}`); | ||
} | ||
} | ||
|
||
function shouldBe(a, b) { | ||
if (a !== b) | ||
throw new Error(`Expected ${b} but got ${a}`); | ||
} | ||
|
||
{ | ||
// Iterator.prototype.map | ||
let closed = false; | ||
let closable = { | ||
__proto__: Iterator.prototype, | ||
get next() { | ||
throw new Error('next should not be read'); | ||
}, | ||
return() { | ||
closed = true; | ||
return {}; | ||
}, | ||
}; | ||
shouldThrow(TypeError, function() { | ||
closable.map(); | ||
}); | ||
shouldBe(closed, true); | ||
|
||
closed = false; | ||
shouldThrow(TypeError, function() { | ||
closable.map({}); | ||
}); | ||
shouldBe(closed, true); | ||
} | ||
|
||
{ | ||
// Iterator.prototype.filter | ||
let closed = false; | ||
let closable = { | ||
__proto__: Iterator.prototype, | ||
get next() { | ||
throw new Error('next should not be read'); | ||
}, | ||
return() { | ||
closed = true; | ||
return {}; | ||
}, | ||
}; | ||
shouldThrow(TypeError, function() { | ||
closable.filter(); | ||
}); | ||
shouldBe(closed, true); | ||
|
||
closed = false; | ||
shouldThrow(TypeError, function() { | ||
closable.filter({}); | ||
}); | ||
shouldBe(closed, true); | ||
} | ||
|
||
{ | ||
// Iterator.prototype.take | ||
let closed = false; | ||
let closable = { | ||
__proto__: Iterator.prototype, | ||
get next() { | ||
throw new Error('next should not be read'); | ||
}, | ||
return() { | ||
closed = true; | ||
return {}; | ||
}, | ||
}; | ||
|
||
shouldThrow(RangeError, function() { | ||
closable.take(); | ||
}); | ||
shouldBe(closed, true); | ||
|
||
closed = false; | ||
shouldThrow(RangeError, function() { | ||
closable.take(NaN); | ||
}); | ||
shouldBe(closed, true); | ||
|
||
closed = false; | ||
shouldThrow(RangeError, function() { | ||
closable.take(-1); | ||
}); | ||
shouldBe(closed, true); | ||
|
||
closed = false; | ||
function OurError() {} | ||
shouldThrow(OurError, function() { | ||
closable.take({ get valueOf() { throw new OurError(); }}); | ||
}); | ||
shouldBe(closed, true); | ||
} | ||
|
||
{ | ||
// Iterator.prototype.drop | ||
let closed = false; | ||
let closable = { | ||
__proto__: Iterator.prototype, | ||
get next() { | ||
throw new Error('next should not be read'); | ||
}, | ||
return() { | ||
closed = true; | ||
return {}; | ||
}, | ||
}; | ||
|
||
shouldThrow(RangeError, function() { | ||
closable.drop(); | ||
}); | ||
shouldBe(closed, true); | ||
|
||
closed = false; | ||
shouldThrow(RangeError, function() { | ||
closable.drop(NaN); | ||
}); | ||
shouldBe(closed, true); | ||
|
||
closed = false; | ||
shouldThrow(RangeError, function() { | ||
closable.drop(-1); | ||
}); | ||
shouldBe(closed, true); | ||
|
||
closed = false; | ||
function OurError() {} | ||
shouldThrow(OurError, function() { | ||
closable.drop({ get valueOf() { throw new OurError(); }}); | ||
}); | ||
shouldBe(closed, true); | ||
} | ||
|
||
{ | ||
// Iterator.prototype.flatMap | ||
let closed = false; | ||
let closable = { | ||
__proto__: Iterator.prototype, | ||
get next() { | ||
throw new Error('next should not be read'); | ||
}, | ||
return() { | ||
closed = true; | ||
return {}; | ||
}, | ||
}; | ||
shouldThrow(TypeError, function() { | ||
closable.flatMap(); | ||
}); | ||
shouldBe(closed, true); | ||
|
||
closed = false; | ||
shouldThrow(TypeError, function() { | ||
closable.flatMap({}); | ||
}); | ||
shouldBe(closed, true); | ||
} | ||
|
||
{ | ||
// Iterator.prototype.some | ||
let closed = false; | ||
let closable = { | ||
__proto__: Iterator.prototype, | ||
get next() { | ||
throw new Error('next should not be read'); | ||
}, | ||
return() { | ||
closed = true; | ||
return {}; | ||
}, | ||
}; | ||
shouldThrow(TypeError, function() { | ||
closable.some(); | ||
}); | ||
shouldBe(closed, true); | ||
|
||
closed = false; | ||
shouldThrow(TypeError, function() { | ||
closable.some({}); | ||
}); | ||
shouldBe(closed, true); | ||
} | ||
|
||
{ | ||
// Iterator.prototype.every | ||
let closed = false; | ||
let closable = { | ||
__proto__: Iterator.prototype, | ||
get next() { | ||
throw new Error('next should not be read'); | ||
}, | ||
return() { | ||
closed = true; | ||
return {}; | ||
}, | ||
}; | ||
shouldThrow(TypeError, function() { | ||
closable.every(); | ||
}); | ||
shouldBe(closed, true); | ||
|
||
closed = false; | ||
shouldThrow(TypeError, function() { | ||
closable.every({}); | ||
}); | ||
shouldBe(closed, true); | ||
} | ||
|
||
{ | ||
// Iterator.prototype.find | ||
let closed = false; | ||
let closable = { | ||
__proto__: Iterator.prototype, | ||
get next() { | ||
throw new Error('next should not be read'); | ||
}, | ||
return() { | ||
closed = true; | ||
return {}; | ||
}, | ||
}; | ||
shouldThrow(TypeError, function() { | ||
closable.find(); | ||
}); | ||
shouldBe(closed, true); | ||
|
||
closed = false; | ||
shouldThrow(TypeError, function() { | ||
closable.find({}); | ||
}); | ||
shouldBe(closed, true); | ||
} | ||
|
||
{ | ||
// Iterator.prototype.reduce | ||
let closed = false; | ||
let closable = { | ||
__proto__: Iterator.prototype, | ||
get next() { | ||
throw new Error('next should not be read'); | ||
}, | ||
return() { | ||
closed = true; | ||
return {}; | ||
}, | ||
}; | ||
shouldThrow(TypeError, function() { | ||
closable.reduce(); | ||
}); | ||
shouldBe(closed, true); | ||
|
||
closed = false; | ||
shouldThrow(TypeError, function() { | ||
closable.reduce({}); | ||
}); | ||
shouldBe(closed, true); | ||
} | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.