sem_ch7.adb (Analyze_Package_Specification): Insert its freezing nodes after the...
authorJavier Miranda <miranda@adacore.com>
Wed, 6 Jul 2016 13:14:25 +0000 (13:14 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 6 Jul 2016 13:14:25 +0000 (15:14 +0200)
commit136236bd31f5244bba8fa063c7d159c07422c018
tree07aa09f80817cdabd6d94d2c53f2f2947e11a1e3
parent9df9988191cbf8562a4e422ff3ea1198fad42e46
sem_ch7.adb (Analyze_Package_Specification): Insert its freezing nodes after the last declaration.

2016-07-06  Javier Miranda  <miranda@adacore.com>

* sem_ch7.adb (Analyze_Package_Specification): Insert its
freezing nodes after the last declaration. Needed to ensure
that global entities referenced in aspects of frozen types are
properly handled.
* freeze.adb (Freeze_Entity): Minor code reorganization to ensure
that freezing nodes of generic packages are handled.
* sem_ch13.adb (Freeze_Entity_Checks): Handle N_Freeze_Generic nodes.
* sem_ch12.adb (Save_References_In_Identifier): Handle selected
components which denote a named number that is constant folded
in the analyzed copy of the tree.

From-SVN: r238047
gcc/ada/ChangeLog
gcc/ada/freeze.adb
gcc/ada/sem_ch12.adb
gcc/ada/sem_ch13.adb
gcc/ada/sem_ch7.adb