[stmt.label] (original) (raw)

The optional attribute-specifier-seq appertains to the label.

The only use of a label with an identifier is as the target of a goto.

No two labels in a function shall have the same identifier.

A label can be used in a goto statement before its introduction.