]> git.ipfire.org Git - thirdparty/gcc.git/commit
sem_elab.adb: Change name Is_Package to Is_Package_Or_Generic_Package
authorRobert Dewar <dewar@adacore.com>
Tue, 15 Nov 2005 13:56:27 +0000 (14:56 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 15 Nov 2005 13:56:27 +0000 (14:56 +0100)
commitbde33286bde09e4a8fbb16d876a073207066e31e
tree144645d7f2b3949299580e9c887964e309c09fd4
parent104e4daaa53212b718cc916a0a688c06dab6a5fb
sem_elab.adb: Change name Is_Package to Is_Package_Or_Generic_Package

2005-11-14  Robert Dewar  <dewar@adacore.com>
    Ed Schonberg  <schonberg@adacore.com>

* sem_elab.adb: Change name Is_Package to Is_Package_Or_Generic_Package
(Check_Elab_Call): A call within a protected body is never an
elaboration call, and does not require checking.
(Same_Elaboration_Scope): Take into account protected types for both
entities.
(Activate_Elaborate_All_Desirable): New procedure

* ali.ads, ali.adb: Implement new AD/ED for Elaborate_All/Elaborate
desirable

* binde.adb: Implement new AD/ED for Elaborate_All/Elaborate desirable
(Elab_Error_Msg): Use -da to include internal unit links, not -de.

* lib-writ.ads, lib-writ.adb:
Implement new AD/ED for Elaborate_All/Elaborate desirable
Use new Elaborate_All_Desirable flag in N_With_Clause node

* sinfo.ads, sinfo.adb (Actual_Designated_Subtype): New attribute for
N_Free_Statement nodes.
Define new class N_Subprogram_Instantiation
Add Elaborate_Desirable flag to N_With_Clause node
Add N_Delay_Statement (covering two kinds of delay)

* debug.adb: Introduce d.f flag for compiler
Add -da switch for binder

From-SVN: r106968
gcc/ada/ali.adb
gcc/ada/ali.ads
gcc/ada/binde.adb
gcc/ada/debug.adb
gcc/ada/lib-writ.adb
gcc/ada/lib-writ.ads
gcc/ada/sem_elab.adb
gcc/ada/sinfo.adb
gcc/ada/sinfo.ads