[trackoor]

In a: b: for (…) { continue a; } both labels are in the loop's labelSet, so LoopContinues returns true for continue a as well as continue b. The existing tests (labeled-continue.js, simple-and-labeled.js, …) put a single label on the loop.

Engines that got this wrong:

• Boa: continue to the outer label of a label set (a: b: for (…) continue a;) never terminates boa-dev/boa#5633 (continue a re-runs the loop from its initialiser and never terminates)
• quickjs-ng: continue to an outer label of a label set (a: b: for (…) continue a;) is rejected with "break/continue label not found" quickjs-ng/quickjs#1884 (fix in Allow 'continue' to an outer label of a loop's label set quickjs-ng/quickjs#1885) and QuickJS: continue to an outer label of a label set (a: b: for (…) continue a;) gives "break/continue label not found" bellard/quickjs#595 (SyntaxError "break/continue label not found")
• Porffor: continue targeting outer label of a multi-labeled for loop (a: b: for (...)) never terminates CanadaHonk/porffor#447

labeled-continue-label-set.js covers for, while, do-while, for-in and for-of with two or three labels; labeled-continue-label-set-nested.js continues an outer loop by either label from an inner loop.

Both files pass (sloppy and strict) on V8 15.9.109, SpiderMonkey 160.0b5, JavaScriptCore (macOS 26.3), engine262 67a6b615, GraalJS 25.5.5, XS 17.9.3 and Hermes 0.11.0. Boa nightly (2026-11-06) times out on both; quickjs-ng e22ce4d and QuickJS 712e8c0 throw a SyntaxError.

[github-actions]

2 new or modified tests were run on 7 engines.

View workflow run

Test	Engine262	GraalJS	JavaScriptCore	QuickJS	SpiderMonkey	V8	XS
language/statements/continue/labeled-continue-label-set-nested.js	✅	✅	✅	❌	✅	✅	✅
language/statements/continue/labeled-continue-label-set.js	✅	✅	✅	❌	✅	✅	✅