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/sem_ch8.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/sem_ch8.adb')
| -rw-r--r-- | gcc/ada/sem_ch8.adb | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/ada/sem_ch8.adb b/gcc/ada/sem_ch8.adb index 3e7d5ab..5695033 100644 --- a/gcc/ada/sem_ch8.adb +++ b/gcc/ada/sem_ch8.adb @@ -5623,7 +5623,7 @@ package body Sem_Ch8 is end if; end if; - Check_Nested_Access (E); + Check_Nested_Access (N, E); end if; Set_Entity_Or_Discriminal (N, E); @@ -6593,6 +6593,8 @@ package body Sem_Ch8 is and then (not Is_Entity_Name (P) or else Chars (Entity (P)) /= Name_uInit) then + -- Check if we already have an available subtype we can use + if Ekind (Etype (P)) = E_Record_Subtype and then Nkind (Parent (Etype (P))) = N_Subtype_Declaration and then Is_Array_Type (Etype (Selector)) |