diff options
author | Robert Dewar <dewar@adacore.com> | 2008-08-20 14:07:06 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-08-20 14:07:06 +0200 |
commit | bb1b6ec8abd9024ad5a312e4e60e974e170694e5 (patch) | |
tree | 13aaf998a85b11b57c5d7f0f2acc7b7919bfbcb9 /gcc/ada | |
parent | 35dfee55808a49e2aba3e0ba8f49a7a04a49d464 (diff) | |
download | gcc-bb1b6ec8abd9024ad5a312e4e60e974e170694e5.zip gcc-bb1b6ec8abd9024ad5a312e4e60e974e170694e5.tar.gz gcc-bb1b6ec8abd9024ad5a312e4e60e974e170694e5.tar.bz2 |
freeze.adb: Minor reformatting
2008-08-20 Robert Dewar <dewar@adacore.com>
* freeze.adb: Minor reformatting
From-SVN: r139272
Diffstat (limited to 'gcc/ada')
-rw-r--r-- | gcc/ada/freeze.adb | 13 |
1 files changed, 5 insertions, 8 deletions
diff --git a/gcc/ada/freeze.adb b/gcc/ada/freeze.adb index 5e069f4..c533449 100644 --- a/gcc/ada/freeze.adb +++ b/gcc/ada/freeze.adb @@ -134,8 +134,7 @@ package body Freeze is -- the designated type. Otherwise freezing the access type does not freeze -- the designated type. - procedure Generate_Prim_Op_References - (Typ : Entity_Id); + procedure Generate_Prim_Op_References (Typ : Entity_Id); -- For a tagged type, generate implicit references to its primitive -- operations, for source navigation. @@ -2602,9 +2601,10 @@ package body Freeze is -- Ada 2005 (AI-326): Check wrong use of tagged -- incomplete type - -- + -- type T is tagged; -- function F (X : Boolean) return T; -- ERROR + -- The type must be declared in the current scope -- for the use to be legal, and the full view -- must be available when the construct that mentions @@ -2654,7 +2654,6 @@ package body Freeze is begin T := First_Entity (E); - while Present (T) loop if Is_Type (T) then Generate_Prim_Op_References (T); @@ -5207,16 +5206,14 @@ package body Freeze is -- Generate_Prim_Op_References -- --------------------------------- - procedure Generate_Prim_Op_References - (Typ : Entity_Id) - is + procedure Generate_Prim_Op_References (Typ : Entity_Id) is Base_T : Entity_Id; Prim : Elmt_Id; Prim_List : Elist_Id; Ent : Entity_Id; begin - -- Handle subtypes of synchronized types. + -- Handle subtypes of synchronized types if Ekind (Typ) = E_Protected_Subtype or else Ekind (Typ) = E_Task_Subtype |