Title
Labels do not have names
Status
open
Section
6.1 [basic.pre]
Submitter
Vlad Serebrennikov

Created on 2025-02-20.00:00:00 last changed 1 month ago

Messages

Date: 2025-02-20.00:00:00

(From submission #673.)

Subclause 6.1 [basic.pre] paragraph 3 specifies:

A name is an identifier (5.11 [lex.name]), conversion-function-id (11.4.8.3 [class.conv.fct]), operator-function-id (12.4 [over.oper]), or literal-operator-id (12.6 [over.literal]).

That seems to incorrectly include identifier labels per the grammar in 8.2 [stmt.label] paragraph 1 as well as attributes per the grammar in 9.13.1 [dcl.attr.grammar] paragraph 1.

Possible resolution:

Change in 6.1 [basic.pre] paragraph 3 as follows and add bullets:

A name is
  • an identifier (5.11 [lex.name]) other than the identifier of a label or attribute-token,
  • conversion-function-id (11.4.8.3 [class.conv.fct]),
  • operator-function-id (12.4 [over.oper]), or
  • literal-operator-id (12.6 [over.literal]).
History
Date User Action Args
2025-02-20 00:00:00admincreate