Title
Bad footnotes claiming external linkage for entities defined as macros
Status
new
Section
[extern.names]
Submitter
Alisdair Meredith

Created on 2023-04-12.00:00:00 last changed 11 months ago

Messages

Date: 2023-05-15.00:00:00

[ 2023-05-24; Reflector poll ]

Set priority to 3 after reflector poll.

Date: 2023-04-12.00:00:00

[extern.names] p1 and p2 reserve certain names with external linkage to the implementation.

Each paragraph has a footnote, stating that such names include errno, setjmp(jmpbuf), and va_end(va_list). These names are all defines as macros, not entities with that name and external linkage.

Are these footnotes intended by a normative extension to the list of reserved names with external linkage? If so, they should be promoted to the main text, as they are no longer a note.

If they intend to serve as examples, it is not clear to me what principle is being shown, as there are many other macros that might be in a similar position, and I do not see how to follow the a principle that is being noted, and presumably follows from the normative text.

I think this is intended to be a normative extension to the set of reserved names with external linkage, is limited to exactly those three named macros, so should be promoted as a non-note into the main text, but want to hear what LWG consensus is before drafting wording.

History
Date User Action Args
2023-05-24 14:33:00adminsetmessages: + msg13570
2023-04-12 00:00:00admincreate