r216380 - in /trunk/gcc/ada: ChangeLog exp_ch3....

[charlet@gcc.gnu.org]

Author: charlet
Date: Fri Oct 17 09:11:14 2014
New Revision: 216380

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

	* exp_ch3.adb (Build_Component_Invariant_Call): Retrieve Invariant
	subprogram from base type.
	* sem_ch7.adb (Analyze_Package_Specification): Build invariant
	subprogram for private type, not any of its subtypes.
	* sem_ch13.adb (Build_Invariant_Procedure_Declaration): Set type
	of procedure entity, because a call to it may be generated in
	a client unit before the corresponding subprogram declaration
	is analyzed.

2014-10-17  Vincent Celier  <celier@adacore.com>

	* prj-nmsc.adb (Get_Directories): Do not create directories
	when a project is abstract.

2014-10-17  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch5.adb (Analyze_Iterator_Specification): If the domain
	of iteration is given by an expression that is not an array type,
	verify that its type implements an iterator iterface.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/exp_ch3.adb
    trunk/gcc/ada/prj-nmsc.adb
    trunk/gcc/ada/sem_ch13.adb
    trunk/gcc/ada/sem_ch5.adb
    trunk/gcc/ada/sem_ch7.adb