This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 119a. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.
2025-12-20
[Accepted as a DR at the February, 2023 meeting.]
EWG resolved to reflect the understanding of semantic ignorabilityof attributes in a note.
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 attributespecified in 9.13 [dcl.attr] that violates the rulesspecifying to which entity or statement the attribute can apply or thesyntax rules for the attribute'sattribute-argument-clause, ifany. —end note][Note: Theattributes specified in9.13 [dcl.attr] have optional semantics: given a well-formedprogram, removing all instances of any one of thoseattributesresults in a program whose set of possible executions(4.1.2 [intro.abstract]) for a given input is a subset of those ofthe original program for the same input, absent implementation-definedguarantees with respect to thatattribute. -- end note ]