diff options
author | Robert Dewar <dewar@adacore.com> | 2005-11-15 14:56:27 +0100 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2005-11-15 14:56:27 +0100 |
commit | bde33286bde09e4a8fbb16d876a073207066e31e (patch) | |
tree | 144645d7f2b3949299580e9c887964e309c09fd4 /gcc/ada/debug.adb | |
parent | 104e4daaa53212b718cc916a0a688c06dab6a5fb (diff) | |
download | gcc-bde33286bde09e4a8fbb16d876a073207066e31e.zip gcc-bde33286bde09e4a8fbb16d876a073207066e31e.tar.gz gcc-bde33286bde09e4a8fbb16d876a073207066e31e.tar.bz2 |
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
Diffstat (limited to 'gcc/ada/debug.adb')
-rw-r--r-- | gcc/ada/debug.adb | 18 |
1 files changed, 14 insertions, 4 deletions
diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb index 2fd5b25..96e9ca7 100644 --- a/gcc/ada/debug.adb +++ b/gcc/ada/debug.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1992-2005 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -98,7 +98,7 @@ package body Debug is -- d.c -- d.d -- d.e - -- d.f + -- d.f Inhibit folding of static expressions -- d.g -- d.h -- d.i @@ -132,7 +132,7 @@ package body Debug is -- Debug flags for binder (GNATBIND) - -- da + -- da All links (including internal units) listed if there is a cycle -- db -- dc List units as they are chosen -- dd @@ -410,7 +410,7 @@ package body Debug is -- indications. This debug flag disconnects the tracking of constant -- values (see Exp_Ch2.Expand_Current_Value). - -- dN Do not generate file name information in exception messages. + -- dN Do not generate file name information in exception messages -- dO Output immediate error messages. This causes error messages to -- be output as soon as they are generated (disconnecting several @@ -461,6 +461,10 @@ package body Debug is -- had Configurable_Run_Time_Mode set to True. This is useful in -- testing high integrity mode. + -- d.f Suppress folding of static expressions. This of course results + -- in seriously non-conforming behavior, but is useful sometimes + -- when tracking down handling of complex expressions. + -- d.x No exception handlers in generated code. This causes exception -- handlers to be eliminated from the generated code. They are still -- fully compiled and analyzed, they just get eliminated from the @@ -511,6 +515,12 @@ package body Debug is -- Documentation for Binder Debug Flags -- ------------------------------------------ + -- da Normally if there is an elaboration circularity, then in describing + -- the cycle, links involving internal units are omitted, since they + -- are irrelevant and confusing. This debug flag causes all links to + -- be listed, and is useful when diagnosing circularities introduced + -- by incorrect changes to the run-time library itself. + -- dc List units as they are chosen. As units are selected for addition to -- the elaboration order, a line of output is generated showing which -- unit has been selected. |