Created on 2018-06-30.00:00:00 last changed 38 months ago
Proposed resolution:
This wording is relative to N4762.
Change [macro.names] p2 as indicated:
-2- A translation unit shall not #define or #undef names lexically identical to keywords, to the identifiers listed in Table 4,
orto the attribute-tokens described in [dcl.attr], or to the identifiers expects or ensures.
[ 2018-11, Adopted in San Diego ]
[ 2018-07-20 Status to Tentatively Ready after five positive votes on the reflector. ]
expects and ensures are not technically described as attribute-tokens when used in a contract-attribute-specifier, so the existing prohibition in [macro.names] doesn't apply to them.
The remaining special identifiers used by the contract attributes are all already covered by existing wording: assert is also a library name so falls under p1, default is a keyword, and both axiom and audit were added to Table 4.| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2021-02-25 10:48:01 | admin | set | status: wp -> c++20 |
| 2018-11-12 04:39:29 | admin | set | messages: + msg10201 |
| 2018-11-12 04:39:29 | admin | set | status: voting -> wp |
| 2018-10-08 05:13:59 | admin | set | status: ready -> voting |
| 2018-07-20 21:06:57 | admin | set | messages: + msg10039 |
| 2018-07-20 21:06:57 | admin | set | status: new -> ready |
| 2018-06-30 09:57:38 | admin | set | messages: + msg10008 |
| 2018-06-30 00:00:00 | admin | create | |