On 2/25/19 5:45 PM, Jakub Jelinek wrote:
Hi!
cxx_eval_store_expression has code to propagate no_zero_init from outer
ctors to inner ctors, if the outer ctor is known to be zero initialized, the
inner one should be as well.
As the following patch shows, when changing active union member there needs
to be an exception, even if the whole containing aggregate was zero
initialized before, if we change the union member and just initialize some
portion of the new one, we can't assume the rest is initialized.
Bootstrapped/regtested on x86_64-linux and i686-linux, ok for trunk?
OK.
Jason
