(j3.2006) Is <initial-data-target> required to have the SAVE attribute?

Van Snyder Van.Snyder
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 "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 mailing list