Skip to content

Commit 9c123b4

Browse files
committed
[stmt.label] Clarify what it means for labels to be in their own name space.
1 parent 03b88ce commit 9c123b4

File tree

1 file changed

+6
-1
lines changed

1 file changed

+6
-1
lines changed

source/statements.tex

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -46,10 +46,15 @@
4646
\indextext{label!scope~of}%
4747
The scope of a label is the function in which it appears. Labels shall
4848
not be redeclared within a function. A label can be used in a
49-
\tcode{goto} statement before its definition.
49+
\tcode{goto} statement before its declaration.
5050
\indextext{name~space!label}%
5151
Labels have their own name space and do not interfere with other
5252
identifiers.
53+
\enternote
54+
A label may have the same name as another declaration in the same scope or a
55+
\grammarterm{template-parameter} from an enclosing scope. Unqualified name
56+
lookup~(\ref{basic.lookup.unqual}) ignores labels.
57+
\exitnote
5358

5459
\pnum
5560
\indextext{label!\idxcode{case}}%

0 commit comments

Comments
 (0)