r177234 - in /trunk/gcc/ada: ChangeLog exp_aggr...

[charlet@gcc.gnu.org]

Author: charlet
Date: Wed Aug  3 07:52:00 2011
New Revision: 177234

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=177234
Log:
2011-08-03  Robert Dewar  <dewar@adacore.com>

	* sem_util.ads, exp_aggr.adb, exp_ch3.adb: Minor reformatting.

2011-08-03  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch3.adb (Analyze_Object_Declaration): if a constant object of an
	unconstrained type with discriminants is initialized with an aggregate,
	use the constrained subtype of the aggregate as the type of the object,
	because it is immutable, and this allows the back-end to generate no
	code for the object declaration.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/exp_aggr.adb
    trunk/gcc/ada/exp_ch3.adb
    trunk/gcc/ada/sem_ch3.adb
    trunk/gcc/ada/sem_util.ads