[dcl.attr.grammar] Add note about the semantic ignorability of standard attributes CWG2695 #6076
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
|
That's the first poll at cplusplus/papers#1212 (comment). |
jensmaurer
reviewed
Feb 9, 2023
| @@ -8505,6 +8505,9 @@ | |||
| the rules specifying to which entity or statement the attribute can apply or | |||
| the syntax rules for the attribute's \grammarterm{attribute-argument-clause}, if any. | |||
| \end{note} | |||
| \begin{note} | |||
| The \grammarterm{attribute}s specified in \ref{dcl.attr} have optional semantics: given a well-formed program, removing all instances of a particular such \grammarterm{attribute} results in a program whose observable behavior is a conforming realization of the original program. | |||
There was a problem hiding this comment.
Suggested change
| The \grammarterm{attribute}s specified in \ref{dcl.attr} have optional semantics: given a well-formed program, removing all instances of a particular such \grammarterm{attribute} results in a program whose observable behavior is a conforming realization of the original program. | |
| The \grammarterm{attribute}s specified in \ref{dcl.attr} have optional semantics: given a well-formed program, removing all instances of any one of those \grammarterm{attribute}s results in a program whose set of possible executions ([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 \grammarterm{attribute}. |
There was a problem hiding this comment.
([intro.abstract]) should be \iref{intro.abstract}.
jensmaurer
added
the
not-editorial
|
@tkoeppe , I'm going to turn this into a core issue. |
|
Sounds good, thank you! |
jensmaurer
changed the title
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
On 2023-02-06 in Issaquah, EWG had consensus on the following poll:
The semantic ignorability of standard attributes in general should be explicitly stated in the C++26 standard (Question 2 in paper P2552R1, Option 2a).
SF/F/N/A/SA 8/18/1/2/0 Consensus
EWG directed me to draft wording, which I presented to EWG on 2023-06-08.
Following that, EWG directed me to create a PR against the C++ draft, containing this draft wording, since this is a clarifying note with no normative changes and can be handled editorially.