[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Fri, 17 Oct 2014 09:11:14 +0000 (11:11 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 17 Oct 2014 09:11:14 +0000 (11:11 +0200)
commitac2ea5c51351f4b4b27f4f81e078198b55bcd410
tree9ee5f817a683d0157c79b91d46374083b7c80f46
parent99425ec329df4fa7d48f34803efd901284267197
[multiple changes]

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.

From-SVN: r216380
gcc/ada/ChangeLog
gcc/ada/exp_ch3.adb
gcc/ada/prj-nmsc.adb
gcc/ada/sem_ch13.adb
gcc/ada/sem_ch5.adb
gcc/ada/sem_ch7.adb