[stmt.label] (original) (raw)

A statement can be labeled.

Anidentifier label declares the identifier.

The only use of an identifier label is as the target of agoto.

The scope of a label is the function in which it appears.

Labels shall not be redeclared within a function.

A label can be used in agoto statement before its declaration.

Labels have their own name space and do not interfere with other identifiers.

[Note 1:

A label can have the same name as another declaration in the same scope or atemplate-parameter from an enclosing scope.

— _end note_]