aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
diff options
context:
space:
mode:
authorArnaud Charlet <charlet@gcc.gnu.org>2016-06-22 13:50:48 +0200
committerArnaud Charlet <charlet@gcc.gnu.org>2016-06-22 13:50:48 +0200
commite3de253ff049d18070f1d8b25b3d21f99b4e938b (patch)
tree8cc1436a2901bec572e025c376b8d054a0428a3e /gcc/ada
parentd13ecc2dc757d4fd1db97741aaa3f44e5aa1766d (diff)
downloadgcc-e3de253ff049d18070f1d8b25b3d21f99b4e938b.zip
gcc-e3de253ff049d18070f1d8b25b3d21f99b4e938b.tar.gz
gcc-e3de253ff049d18070f1d8b25b3d21f99b4e938b.tar.bz2
Minor reformatting.
From-SVN: r237700
Diffstat (limited to 'gcc/ada')
-rw-r--r--gcc/ada/freeze.adb37
1 files changed, 17 insertions, 20 deletions
diff --git a/gcc/ada/freeze.adb b/gcc/ada/freeze.adb
index 271dc90..31c7739 100644
--- a/gcc/ada/freeze.adb
+++ b/gcc/ada/freeze.adb
@@ -1392,11 +1392,11 @@ package body Freeze is
procedure Check_Inherited_Conditions (R : Entity_Id) is
Prim_Ops : constant Elist_Id := Primitive_Operations (R);
+ A_Post : Node_Id;
+ A_Pre : Node_Id;
Op_Node : Elmt_Id;
- Prim : Entity_Id;
Par_Prim : Entity_Id;
- A_Pre : Node_Id;
- A_Post : Node_Id;
+ Prim : Entity_Id;
begin
Op_Node := First_Elmt (Prim_Ops);
@@ -1405,31 +1405,31 @@ package body Freeze is
-- In SPARK mode this is where we can collect the inherited
-- conditions, because we do not create the Check pragmas that
- -- normally convey the the modified classwide conditions on
- -- overriding operations.
+ -- normally convey the modified classwide conditions on overriding
+ -- operations.
if SPARK_Mode = On
- and then Comes_From_Source (Prim)
- and then Present (Overridden_Operation (Prim))
+ and then Comes_From_Source (Prim)
+ and then Present (Overridden_Operation (Prim))
then
Collect_Inherited_Class_Wide_Conditions (Prim);
end if;
- -- In normal mode, we examine inherited operations to check
- -- whether they require a wrapper to handle inherited conditions
- -- that call other primitives.
+ -- In normal mode, we examine inherited operations to check whether
+ -- they require a wrapper to handle inherited conditions that call
+ -- other primitives.
-- Wrapper construction TBD.
- if not Comes_From_Source (Prim)
- and then Present (Alias (Prim))
- then
+ if not Comes_From_Source (Prim) and then Present (Alias (Prim)) then
Par_Prim := Alias (Prim);
- A_Pre := Find_Aspect (Par_Prim, Aspect_Pre);
+ A_Pre := Find_Aspect (Par_Prim, Aspect_Pre);
+
if Present (A_Pre) and then Class_Present (A_Pre) then
Build_Classwide_Expression (Expression (A_Pre), Prim);
end if;
A_Post := Find_Aspect (Par_Prim, Aspect_Post);
+
if Present (A_Post) and then Class_Present (A_Post) then
Build_Classwide_Expression (Expression (A_Post), Prim);
end if;
@@ -1710,14 +1710,11 @@ package body Freeze is
and then not Is_Frozen (E)
then
Push_Scope (E);
+
Install_Visible_Declarations (E);
Install_Private_Declarations (E);
-
Freeze_All (First_Entity (E), After);
- -- Analyze_Pending_Bodies (Visible_Declarations (E));
- -- Analyze_Pending_Bodies (Private_Declarations (E));
-
End_Package_Scope (E);
if Is_Generic_Instance (E)
@@ -1728,8 +1725,8 @@ package body Freeze is
end if;
elsif Ekind (E) in Task_Kind
- and then Nkind_In (Parent (E), N_Task_Type_Declaration,
- N_Single_Task_Declaration)
+ and then Nkind_In (Parent (E), N_Single_Task_Declaration,
+ N_Task_Type_Declaration)
then
Push_Scope (E);
Freeze_All (First_Entity (E), After);