gcc.gnu.org Git - gcc.git/commit

author	Bob Duff <duff@adacore.com>
	Mon, 26 Oct 2015 12:05:58 +0000 (12:05 +0000)
committer	Arnaud Charlet <charlet@gcc.gnu.org>
	Mon, 26 Oct 2015 12:05:58 +0000 (13:05 +0100)
commit	2f7ae2aa904ddd130485196be47193a1f9ca54c1
tree	1d95cc7a4d666d55d629f1669ea80884b40a163b	tree
parent	638f50548143c46e32bca3b9e38bfc8e9251672b	commit \| diff

s-rident.ads (No_Dynamic_Sized_Objects): New restriction name.

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.

From-SVN: r229351

gcc/ada/ChangeLog		diff \| blob \| blame \| history
gcc/ada/s-rident.ads		diff \| blob \| blame \| history
gcc/ada/sem_aggr.adb		diff \| blob \| blame \| history
gcc/ada/sem_ch3.adb		diff \| blob \| blame \| history
gcc/ada/sem_util.adb		diff \| blob \| blame \| history
gcc/ada/sem_util.ads		diff \| blob \| blame \| history