From e3bbb8536ebf7ed58c481ac316822dee92e407d2 Mon Sep 17 00:00:00 2001 From: Rex Jaeschke Date: Tue, 21 Jun 2022 14:37:54 -0400 Subject: [PATCH] Add new para --- standard/statements.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/standard/statements.md b/standard/statements.md index 8db3b9461..81d5d0d7c 100644 --- a/standard/statements.md +++ b/standard/statements.md @@ -1175,6 +1175,8 @@ The target of a `goto case` statement is the statement list in the immediately e The target of a `goto default` statement is the statement list in the immediately enclosing `switch` statement ([§12.8.3](statements.md#1283-the-switch-statement)), which contains a `default` label. If the `goto default` statement is not enclosed by a `switch` statement, or if the nearest enclosing `switch` statement does not contain a `default` label, a compile-time error occurs. +It is a compile-time error for *constant_pattern* to target a *switch_label* containing a *case_guard*. + A `goto` statement cannot exit a `finally` block ([§12.11](statements.md#1211-the-try-statement)). When a `goto` statement occurs within a `finally` block, the target of the `goto` statement shall be within the same `finally` block, or otherwise a compile-time error occurs. A `goto` statement is executed as follows: