From 23ac241f65f16310bc4fe45bdafddf590c5aed70 Mon Sep 17 00:00:00 2001
From: Kevin Gibbons <bakkot@gmail.com>
Date: Mon, 13 Sep 2021 16:56:22 -0700
Subject: [PATCH] Normative: `continue` labels should not pass through blocks
 (#2482)

---
 spec.html | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/spec.html b/spec.html
index 8e37e88003..75e9fbc7e6 100644
--- a/spec.html
+++ b/spec.html
@@ -8475,6 +8475,10 @@ <h1>Static Semantics: ContainsUndefinedContinueTarget</h1>
       <emu-alg>
         1. Return *false*.
       </emu-alg>
+      <emu-grammar>Statement : BlockStatement</emu-grammar>
+      <emu-alg>
+        1. Return ContainsUndefinedContinueTarget of |BlockStatement| with arguments _iterationSet_ and &laquo; &raquo;.
+      </emu-alg>
       <emu-grammar>BreakableStatement : IterationStatement</emu-grammar>
       <emu-alg>
         1. Let _newIterationSet_ be the list-concatenation of _iterationSet_ and _labelSet_.