r123561 - /trunk/gcc/ada/exp_aggr.adb

[charlet at gcc dot gnu dot org]

Author: charlet
Date: Fri Apr  6 10:19:53 2007
New Revision: 123561

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=123561
Log:
2007-04-06  Ed Schonberg  <schonberg@adacore.com>
	    Thomas Quinot  <quinot@adacore.com>

	* exp_aggr.adb:
	If the array component is a discriminated record, the array aggregate
	is non-static even if the component is given by an aggregate with
	static components.
	(Expand_Record_Aggregate): Use First/Next_Component_Or_Discriminant
	(Convert_Aggr_In_Allocator): If the allocator is for an access
	discriminant and the type is controlled. do not place on a finalization
	list at this point. The proper list will be determined from the
	enclosing object.
	(Build_Record_Aggr_Code): If aggregate has box-initialized components,
	initialize record controller if needed, before the components, to ensure
	that they are properly finalized.
	(Build_Record_Aggr_Code): For the case of an array component that has a
	corresponding array aggregate in the record aggregate, perform sliding
	if required.


Modified:
    trunk/gcc/ada/exp_aggr.adb