r212786 - in /trunk/gcc/ada: ChangeLog sem_aggr...

[charlet@gcc.gnu.org]

Author: charlet
Date: Fri Jul 18 09:27:00 2014
New Revision: 212786

URL: https://gcc.gnu.org/viewcvs?rev=212786&root=gcc&view=rev
Log:
2014-07-18  Ed Schonberg  <schonberg@adacore.com>

	* sem_aggr.adb (Aggregate_Constraint_Checks): Moved to sem_util.
	* sem_util.ads, sem_util.adb (Aggregate_Constraint_Checks):
	Moved here, so it can be shared with the resolution of 'Update,
	whose argument shares some features with aggregates.
	* sem_attr.adb (Resolve_Attribute, case 'Update): Apply
	Aggregate_Constraint_Checks with the expression of each
	association, so that the Do_Range_Check flag is set when needed.

2014-07-18  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch4.adb (Try_Container_Indexing):  If the container
	type is a derived type, the value of the inherited  aspect is
	the Reference operation declared for the parent type. However,
	Reference is also a primitive operation of the new type, and
	the inherited operation has a different signature. We retrieve
	the right one from the list of primitive operations of the
	derived type.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/sem_aggr.adb
    trunk/gcc/ada/sem_attr.adb
    trunk/gcc/ada/sem_ch4.adb
    trunk/gcc/ada/sem_util.adb
    trunk/gcc/ada/sem_util.ads