exp_aggr.adb (Build_Array_Aggr_Code, Gen_Assign): If a component is default-initializ...
authorEd Schonberg <schonberg@adacore.com>
Tue, 26 May 2015 08:10:46 +0000 (08:10 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 26 May 2015 08:10:46 +0000 (10:10 +0200)
commitffcfb997e0a400614011e8f8b28f30eb68d1966a
tree5a7525cd8c5e3f1f9850268be0bc98b61505dfd4
parent551e193501cebca18c19ed9ede7df7c2ee0bd9a6
exp_aggr.adb (Build_Array_Aggr_Code, Gen_Assign): If a component is default-initialized and its type has an invariant procedure...

2015-05-26  Ed Schonberg  <schonberg@adacore.com>

* exp_aggr.adb (Build_Array_Aggr_Code, Gen_Assign):
If a component is default-initialized and its type has an
invariant procedure, insert an invariant test after code for
default-initialization of the component.

From-SVN: r223664
gcc/ada/ChangeLog
gcc/ada/exp_aggr.adb