Minor reformatting.
authorArnaud Charlet <charlet@gcc.gnu.org>
Thu, 21 Apr 2016 08:27:18 +0000 (10:27 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 21 Apr 2016 08:27:18 +0000 (10:27 +0200)
From-SVN: r235310

gcc/ada/freeze.ads
gcc/ada/sem_attr.adb

index d95038152fce8d96c0e4aee7cfcb1f8fe330b485..81f2e0001ba61e8c0273ef1639144d25e3087d7c 100644 (file)
@@ -188,18 +188,17 @@ package Freeze is
    --  actions in the enclosing list and reset the attribute.
 
    function Freeze_Entity
-     (E : Entity_Id;
-      N : Node_Id;
-      F_P : Boolean := True) return List_Id;
+     (E                 : Entity_Id;
+      N                 : Node_Id;
+      Do_Freeze_Profile : Boolean := True) return List_Id;
    --  Freeze an entity, and return Freeze nodes, to be inserted at the point
    --  of call. N is a node whose source location corresponds to the freeze
    --  point. This is used in placing warning messages in the situation where
    --  it appears that a type has been frozen too early, e.g. when a primitive
    --  operation is declared after the freezing point of its tagged type.
-   --  Returns No_List if no freeze nodes needed.
-   --  The defaulted parameter F_P is used when E is a subprogram, and
-   --  determines whether the profile of the subprogram should be frozen as
-   --  well.
+   --  Returns No_List if no freeze nodes needed. Parameter Do_Freeze_Profile
+   --  is used when E is a subprogram, and determines whether the profile of
+   --  the subprogram should be frozen as well.
 
    procedure Freeze_All (From : Entity_Id; After : in out Node_Id);
    --  Before a non-instance body, or at the end of a declarative part,
@@ -216,11 +215,11 @@ package Freeze is
    --  frozen entities.
 
    procedure Freeze_Before
-     (N   : Node_Id;
-      T   : Entity_Id;
-      F_P : Boolean := True);
-   --  Freeze T then Insert the generated Freeze nodes before the node N
-   --  The flag F_P is used when T is an overloadable entity, and indicates
+     (N                 : Node_Id;
+      T                 : Entity_Id;
+      Do_Freeze_Profile : Boolean := True);
+   --  Freeze T then Insert the generated Freeze nodes before the node N. Flag
+   --  Do_Freeze_Profile is used when T is an overloadable entity and indicates
    --  whether its profile should be frozen at the same time.
 
    procedure Freeze_Expression (N : Node_Id);
index 099a1b84bc3db6cada414a11389f515ca4fb856d..db02aa58cecba5d3d63fdd5266d945a83ff6350f 100644 (file)
@@ -10165,7 +10165,7 @@ package body Sem_Attr is
                   --  the subprogram is not frozen at this point.
 
                   if not In_Spec_Expression then
-                     Freeze_Before (N, Entity (P), False);
+                     Freeze_Before (N, Entity (P), Do_Freeze_Profile => False);
                   end if;
 
                --  If it is a type, there is nothing to resolve.
@@ -10174,7 +10174,7 @@ package body Sem_Attr is
 
                elsif Is_Overloadable (Entity (P)) then
                   if not In_Spec_Expression then
-                     Freeze_Before (N, Entity (P), False);
+                     Freeze_Before (N, Entity (P), Do_Freeze_Profile => False);
                   end if;
 
                --  Nothing to do if prefix is a type name