From Jason Turner

[stmt.label]

Diff to HTML by rtfpessoa

tmp/tmp3378_zb9/{from.md → to.md} RENAMED
@@ -3,12 +3,12 @@
3
  A statement can be labeled.
4
 
5
  ``` bnf
6
  labeled-statement:
7
  attribute-specifier-seqₒₚₜ identifier ':' 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
  identifier label is as the target of a `goto`. The scope of a label is
@@ -17,10 +17,10 @@ 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
 
 
3
  A statement can be labeled.
4
 
5
  ``` bnf
6
  labeled-statement:
7
  attribute-specifier-seqₒₚₜ identifier ':' 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
  identifier label is as the target of a `goto`. The scope of a label is
 
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