On 23 Nov 2002 at 2:07, Frank Heckenbach wrote:
References to a.c are valid again, but the state of a.c is (still) totally-undefined. So it follows, to my understanding, that reading a.c is invalid, until it is written to again.
After reviewing the standard again, I believe that you are correct. I was confused by the retention of the values of the fields in the reactivated variant. Even though the values are retained, the variant-part state is still totally-undefined, as you say.
-- Dave