2014-10-17 Ed Schonberg <schonberg@adacore.com>
commit856a9917ae1b8088af710a53a68093bfc3bbc9da
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 17 Oct 2014 09:11:14 +0000 (17 09:11 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 17 Oct 2014 09:11:14 +0000 (17 09:11 +0000)
tree9ee5f817a683d0157c79b91d46374083b7c80f46
parent5f299c270dc8fd1f6455c2738150d35ce4057faa
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@216380 138bc75d-0d04-0410-961f-82ee72b054a4
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