sem_ch12.adb (Analyze_Package_Instantiation): If the instantiation is a compilation...
authorEd Schonberg <schonberg@adacore.com>
Tue, 10 Sep 2013 14:48:04 +0000 (14:48 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 10 Sep 2013 14:48:04 +0000 (16:48 +0200)
commit31dd3f4bf63e160b62ed3d3f3cb4ac231b9f85bf
treef44b642b02a3180daac40203e5e2292b62b92bdd
parent3f910f7bd1d59423694c6a4ab73c8eaa30714f06
sem_ch12.adb (Analyze_Package_Instantiation): If the instantiation is a compilation unit...

2013-09-10  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb (Analyze_Package_Instantiation): If the
instantiation is a compilation unit, analyze aspects before
analyzing the package declaration for the instance.
* sem_ch13.adb (Analyze_Aspect_Specifications): If the
corresponding node is a package instantiation, insert generated
pragmas at the head of visible declarations.
* sem_prag.adb (Analyze_Pragma, case Preelaborate): In an instance
do not ignore the pragma if it comes from an aspect specification
in the instance, and not from the generic unit.
* sprint.adb (Sprint_Node_Actual): For a package declaration that
is an instantiation, print aspects after declaration.

From-SVN: r202453
gcc/ada/ChangeLog
gcc/ada/sem_ch12.adb
gcc/ada/sem_ch13.adb
gcc/ada/sem_prag.adb
gcc/ada/sprint.adb