- Title
- Semantic ignorability of attributes
- Status
- c++23
- Section
- 9.13.1 [dcl.attr.grammar]
- Submitter
- Timur Doumler
Created on 2023-02-09.00:00:00 last changed 28 months ago
Messages
Date: 2023-02-10.06:50:09
Proposed resolution (approved by CWG 2023-02-09):
Add to 9.13.1 [dcl.attr.grammar] paragraph 6 as follows:
[Note 4: A program is ill-formed if it contains an attribute specified in 9.13 [dcl.attr] that violates the rules specifying to which entity or statement the attribute can apply or the syntax rules for the attribute's attribute-argument-clause, if any. —end note] [Note: The attributes specified in 9.13 [dcl.attr] have optional semantics: given a well-formed program, removing all instances of any one of those attributes results in a program whose set of possible executions (4.1.2 [intro.abstract]) for a given input is a subset of those of the original program for the same input, absent implementation-defined guarantees with respect to that attribute. -- end note ]
Date: 2023-02-15.00:00:00
[Accepted as a DR at the February, 2023 meeting.]
EWG resolved to reflect the understanding of semantic ignorability of attributes in a note.
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2023-07-16 13:00:43 | admin | set | status: open -> c++23 |
| 2023-07-16 13:00:43 | admin | set | status: dr -> open |
| 2023-02-18 18:43:04 | admin | set | status: ready -> dr |
| 2023-02-10 23:01:52 | admin | set | status: tentatively ready -> ready |
| 2023-02-10 06:50:09 | admin | set | messages: + msg7187 |
| 2023-02-09 00:00:00 | admin | create | |