From 36d22d82aa202bb199967e9512281e9a53db42c9 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sun, 7 Apr 2024 21:33:14 +0200 Subject: Adding upstream version 115.7.0esr. Signed-off-by: Daniel Baumann --- .../statements/switch/cptn-a-abrupt-empty.js | 58 ++++++++++++++++++++++ 1 file changed, 58 insertions(+) create mode 100644 js/src/tests/test262/language/statements/switch/cptn-a-abrupt-empty.js (limited to 'js/src/tests/test262/language/statements/switch/cptn-a-abrupt-empty.js') diff --git a/js/src/tests/test262/language/statements/switch/cptn-a-abrupt-empty.js b/js/src/tests/test262/language/statements/switch/cptn-a-abrupt-empty.js new file mode 100644 index 0000000000..2bd948fd21 --- /dev/null +++ b/js/src/tests/test262/language/statements/switch/cptn-a-abrupt-empty.js @@ -0,0 +1,58 @@ +// Copyright (C) 2016 the V8 project authors. All rights reserved. +// This code is governed by the BSD license found in the LICENSE file. +/*--- +es6id: 13.12.11 +description: > + Completion value when the matching case is exited via an empty abrupt + completion +info: | + SwitchStatement : switch ( Expression ) CaseBlock + + [...] + 8. Let R be the result of performing CaseBlockEvaluation of CaseBlock with + argument switchValue. + 9. Set the running execution context’s LexicalEnvironment to oldEnv. + 10. Return R. + + 13.12.9 Runtime Semantics: CaseBlockEvaluation + + CaseBlock : { CaseClausesopt DefaultClause CaseClausesopt } + + 1. Let V = undefined. + 2. Let A be the list of CaseClause items in the first CaseClauses, in + source text order. If the first CaseClauses is not present A is « ». + 3. Let found be false. + 4. Repeat for each CaseClause C in A + a. If found is false, then + i. Let clauseSelector be the result of CaseSelectorEvaluation of C. + ii. If clauseSelector is an abrupt completion, then + 1. If clauseSelector.[[value]] is empty, return + Completion{[[type]]: clauseSelector.[[type]], [[value]]: + undefined, [[target]]: clauseSelector.[[target]]}. + 2. Else, return Completion(clauseSelector). + iii. Let found be the result of performing Strict Equality Comparison + input === clauseSelector.[[value]]. + b. If found is true, then + i. Let R be the result of evaluating C. + ii. If R.[[value]] is not empty, let V = R.[[value]]. + iii. If R is an abrupt completion, return Completion(UpdateEmpty(R, + V)). +---*/ + +assert.sameValue( + eval('1; switch ("a") { case "a": break; default: }'), undefined +); +assert.sameValue( + eval('2; switch ("a") { case "a": { 3; break; } default: }'), 3 +); + +assert.sameValue( + eval('4; do { switch ("a") { case "a": continue; default: } } while (false)'), + undefined +); +assert.sameValue( + eval('5; do { switch ("a") { case "a": { 6; continue; } default: } } while (false)'), + 6 +); + +reportCompare(0, 0); -- cgit v1.2.3