(j3.2006) Is <initial-data-target> required to have the SAVE attribute?
Tue May 16 19:41:03 EDT 2017
Is <initial-data-target> required to have the SAVE attribute?
I can't find such a requirement. If it existed, I would have expected
it to be in 22.214.171.124 "Default initialization for components" where
"data-pointer-initialization compatible" is defined. That term is
referenced in constraints C765 and C811. There are no constraints on
<initial-data-target> that mention the SAVE attribute.
I can imagine allowing the <initial-data-target> in R743 not to have the
SAVE attribute, but I cannot imagine allowing that in R805. Allowing it
in R743 would be inconsistent with nonpointer initialization, which
requires a <constant-expr>.
More information about the J3