r229351 - in /trunk/gcc/ada: ChangeLog s-rident...

[charlet@gcc.gnu.org]

Author: charlet
Date: Mon Oct 26 12:05:58 2015
New Revision: 229351

URL: https://gcc.gnu.org/viewcvs?rev=229351&root=gcc&view=rev
Log:
2015-10-26  Bob Duff  <duff@adacore.com>

	* s-rident.ads (No_Dynamic_Sized_Objects): New restriction name.
	* sem_util.ads, sem_util.adb (All_Composite_Constraints_Static):
	New function to check that all relevant constraints are static.
	* sem_aggr.adb (Resolve_Array_Aggregate): Call
	All_Composite_Constraints_Static on the bounds of named array
	aggregates.
	* sem_ch3.adb (Analyze_Subtype_Declaration): Call
	All_Composite_Constraints_Static if the type is composite and
	the subtype is constrained.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/s-rident.ads
    trunk/gcc/ada/sem_aggr.adb
    trunk/gcc/ada/sem_ch3.adb
    trunk/gcc/ada/sem_util.adb
    trunk/gcc/ada/sem_util.ads