The
attributes specified in
[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 (
[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.