tmp/tmpm05u3cxy/{from.md → to.md}
RENAMED
|
@@ -8,13 +8,19 @@ labeled-statement:
|
|
| 8 |
attribute-specifier-seqₒₚₜ 'case' constant-expression ':' statement
|
| 9 |
attribute-specifier-seqₒₚₜ 'default :' statement
|
| 10 |
```
|
| 11 |
|
| 12 |
The optional *attribute-specifier-seq* appertains to the label. An
|
| 13 |
-
identifier label declares the identifier. The only use of an
|
| 14 |
-
label is as the target of a `goto`. The scope of a label is
|
| 15 |
-
in which it appears. Labels shall not be redeclared within
|
| 16 |
-
label can be used in a `goto` statement before its
|
| 17 |
-
have their own name space and do not interfere with
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 18 |
|
| 19 |
Case labels and default labels shall occur only in switch statements.
|
| 20 |
|
|
|
|
| 8 |
attribute-specifier-seqₒₚₜ 'case' constant-expression ':' statement
|
| 9 |
attribute-specifier-seqₒₚₜ 'default :' statement
|
| 10 |
```
|
| 11 |
|
| 12 |
The optional *attribute-specifier-seq* appertains to the label. An
|
| 13 |
+
*identifier label* declares the identifier. The only use of an
|
| 14 |
+
identifier label is as the target of a `goto`. The scope of a label is
|
| 15 |
+
the function in which it appears. Labels shall not be redeclared within
|
| 16 |
+
a function. A label can be used in a `goto` statement before its
|
| 17 |
+
declaration. Labels have their own name space and do not interfere with
|
| 18 |
+
other identifiers.
|
| 19 |
+
|
| 20 |
+
[*Note 1*: A label may have the same name as another declaration in the
|
| 21 |
+
same scope or a *template-parameter* from an enclosing scope.
|
| 22 |
+
Unqualified name lookup ([[basic.lookup.unqual]]) ignores
|
| 23 |
+
labels. — *end note*]
|
| 24 |
|
| 25 |
Case labels and default labels shall occur only in switch statements.
|
| 26 |
|