diff options
| author | Robert Dewar <dewar@adacore.com> | 2015-03-02 11:03:29 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-03-02 12:03:29 +0100 |
| commit | 5a271a7f3a2983e1529ea5c7f98d6ea5d6b113cf (patch) | |
| tree | de54e6e3eb711dc460a5257554759c053564c7c3 /gcc/ada/debug.adb | |
| parent | aef308d0d6a4d64fb220d88d0e7b736d70fd88da (diff) | |
| download | gcc-5a271a7f3a2983e1529ea5c7f98d6ea5d6b113cf.zip gcc-5a271a7f3a2983e1529ea5c7f98d6ea5d6b113cf.tar.gz gcc-5a271a7f3a2983e1529ea5c7f98d6ea5d6b113cf.tar.bz2 | |
debug.adb: Document new debug flag -gnatd.1.
2015-03-02 Robert Dewar <dewar@adacore.com>
* debug.adb: Document new debug flag -gnatd.1.
* einfo.ads, einfo.adb (Has_Nested_Subprogram): New flag.
(Has_Uplevel_Reference): New flag (Is_Static_Type): New flag.
(Uplevel_Reference_Noted):New flag (Uplevel_References): New field.
* elists.ads elists.adb (List_Length): New function.
* exp_ch6.adb (Expand_N_Subprogram_Body): Call Unnest_Subprogram
when appropriate (Process_Preconditions): Minor code
reorganization and reformatting
* exp_unst.ads, exp_unst.adb: New files.
* gnat1drv.adb (Adjust_Global_Switches): Set
Unnest_Subprogram_Mode if -gnatd.1
* namet.ads, namet.adb (Name_Find_Str): New version of Name_Find with
string argument.
* opt.ads (Unnest_Subprogram_Mode): New flag.
* par-ch3.adb (P_Identifier_Declarations): Fixes to -gnatd.2 handling.
* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Set
Has_Nested_Subprogram flag.
* sem_ch8.adb (Find_Direct_Name): New calling sequence for
Check_Nested_Access.
(Find_Selected_Component): Minor comment addition.
* sem_util.adb (Check_Nested_Access): New version for use with Exp_Unst.
(Note_Possible_Modification): New calling sequence for
Check_Nested_Access.
* sem_util.ads (Check_Nested_Access): New version for use with Exp_Unst.
* gcc-interface/Make-lang.in (GNAT1_OBJS): Add exp_unst.o
From-SVN: r221109
Diffstat (limited to 'gcc/ada/debug.adb')
| -rw-r--r-- | gcc/ada/debug.adb | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb index 5869e96..e04b5b5 100644 --- a/gcc/ada/debug.adb +++ b/gcc/ada/debug.adb @@ -746,9 +746,10 @@ package body Debug is -- d9 This allows lock free implementation for protected objects -- (see Exp_Ch9). - -- d.1 Enable unnesting of nested procedures. This special pass does not - -- actually unnest things, but it ensures that a nested procedure - -- does not contain any uplevel references. + -- d.1 Sets Opt.Unnest_Subprogram_Mode to enable unnesting of subprograms. + -- This special pass does not actually unnest things, but it ensures + -- that a nested procedure does not contain any uplevel references. + -- See spec of Exp_Unst for full details. -- d.2 Allow statements within declarative parts. This is not usually -- allowed, but in some debugging contexts (e.g. testing the circuit |