[Ada] Minor reformatting

2018-06-11  Hristian Kirtchev  <kirtchev@adacore.com>

gcc/ada/

	* exp_ch9.adb, exp_unst.adb, inline.adb, libgnat/a-ciorma.adb,
	libgnat/a-ciormu.adb, libgnat/a-ciorse.adb, libgnat/a-coorma.adb,
	libgnat/a-coormu.adb, libgnat/a-coorse.adb, sem_prag.adb: Minor
	reformatting.

From-SVN: r261429

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 1edc46228f28c29d7ea007f26bea602970104ce8..bb72af025e300dcc709b70f5168b8de913d116c1 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,10 @@
+2018-06-11  Hristian Kirtchev  <kirtchev@adacore.com>
+
+       * exp_ch9.adb, exp_unst.adb, inline.adb, libgnat/a-ciorma.adb,
+       libgnat/a-ciormu.adb, libgnat/a-ciorse.adb, libgnat/a-coorma.adb,
+       libgnat/a-coormu.adb, libgnat/a-coorse.adb, sem_prag.adb: Minor
+       reformatting.
+
 2018-06-11  Gary Dismukes  <dismukes@adacore.com>
 
        * exp_unst.ads, exp_unst.adb: Typo fixes and minor reformatting.

diff --git a/gcc/ada/exp_ch9.adb b/gcc/ada/exp_ch9.adb
index 7cb5068f12b49f20382f50b7f3b28022116c831d..ea03fe219a9dcea8725f8341c4536119516f4e6a 100644 (file)
--- a/gcc/ada/exp_ch9.adb
+++ b/gcc/ada/exp_ch9.adb
@@ -8653,8 +8653,9 @@ package body Exp_Ch9 is
             when N_Implicit_Label_Declaration =>
                null;
 
-            when N_Call_Marker     |
-                 N_Itype_Reference =>
+            when N_Call_Marker
+               | N_Itype_Reference
+            =>
                New_Op_Body := New_Copy (Op_Body);
                Insert_After (Current_Node, New_Op_Body);
                Current_Node := New_Op_Body;

diff --git a/gcc/ada/exp_unst.adb b/gcc/ada/exp_unst.adb
index b38acadd563df7cffb8d82ced6537653bef5ce4c..1ac96364345ca8f465fdad6ef11aa12d63761be8 100644 (file)
--- a/gcc/ada/exp_unst.adb
+++ b/gcc/ada/exp_unst.adb
@@ -99,14 +99,9 @@ package body Exp_Unst is
    --  table already contains this entry and if so it has no effect.
 
    ----------------------------------
-   -- subprograms for fat pointers --
+   -- Subprograms For Fat Pointers --
    ----------------------------------
 
-   function Needs_Fat_Pointer (E : Entity_Id) return Boolean;
-   --  A formal parameter of an unconstrained array type that appears in
-   --  an uplevel reference requires the construction of an access type,
-   --  to be used in the corresponding component declaration.
-
    function Build_Access_Type_Decl
      (E    : Entity_Id;
       Scop : Entity_Id) return Node_Id;
@@ -115,6 +110,11 @@ package body Exp_Unst is
    --  record component. The relevant attributes of the access type are
    --  set here to avoid a full analysis that would require a scope stack.
 
+   function Needs_Fat_Pointer (E : Entity_Id) return Boolean;
+   --  A formal parameter of an unconstrained array type that appears in an
+   --  uplevel reference requires the construction of an access type, to be
+   --  used in the corresponding component declaration.
+
    -----------
    -- Urefs --
    -----------
@@ -169,17 +169,6 @@ package body Exp_Unst is
       Calls.Append (Call);
    end Append_Unique_Call;
 
-   -----------------------
-   -- Needs_Fat_Pointer --
-   -----------------------
-
-   function Needs_Fat_Pointer (E : Entity_Id) return Boolean is
-   begin
-      return Is_Formal (E)
-        and then Is_Array_Type (Etype (E))
-        and then not Is_Constrained (Etype (E));
-   end Needs_Fat_Pointer;
-
    -----------------------------
    --  Build_Access_Type_Decl --
    -----------------------------
@@ -188,9 +177,8 @@ package body Exp_Unst is
      (E    : Entity_Id;
       Scop : Entity_Id) return Node_Id
    is
-      Loc  : constant Source_Ptr := Sloc (E);
-      Decl : Node_Id;
-      Typ  : Entity_Id;
+      Loc : constant Source_Ptr := Sloc (E);
+      Typ : Entity_Id;
 
    begin
       Typ := Make_Temporary (Loc, 'S');
@@ -199,12 +187,12 @@ package body Exp_Unst is
       Set_Scope (Typ, Scop);
       Set_Directly_Designated_Type (Typ, Etype (E));
 
-      Decl := Make_Full_Type_Declaration (Loc,
-        Defining_Identifier => Typ,
-        Type_Definition => Make_Access_To_Object_Definition (Loc,
-         Subtype_Indication => New_Occurrence_Of (Etype (E), Loc)));
-
-      return Decl;
+      return
+        Make_Full_Type_Declaration (Loc,
+          Defining_Identifier => Typ,
+          Type_Definition     =>
+            Make_Access_To_Object_Definition (Loc,
+              Subtype_Indication => New_Occurrence_Of (Etype (E), Loc)));
    end Build_Access_Type_Decl;
 
    ---------------
@@ -247,6 +235,17 @@ package body Exp_Unst is
       return False;
    end In_Synchronized_Unit;
 
+   -----------------------
+   -- Needs_Fat_Pointer --
+   -----------------------
+
+   function Needs_Fat_Pointer (E : Entity_Id) return Boolean is
+   begin
+      return Is_Formal (E)
+        and then Is_Array_Type (Etype (E))
+        and then not Is_Constrained (Etype (E));
+   end Needs_Fat_Pointer;
+
    ----------------
    -- Subp_Index --
    ----------------
@@ -815,7 +814,7 @@ package body Exp_Unst is
                   --  handled as an entity reference.
 
                   if Nkind (N) = N_Allocator
-                     and then Nkind (Expression (N)) = N_Qualified_Expression
+                    and then Nkind (Expression (N)) = N_Qualified_Expression
                   then
                      declare
                         DT : Boolean := False;
@@ -1559,22 +1558,23 @@ package body Exp_Unst is
                   --  Local declarations for one such subprogram
 
                   declare
-                     Loc   : constant Source_Ptr := Sloc (STJ.Bod);
+                     Loc : constant Source_Ptr := Sloc (STJ.Bod);
+
+                     Decls : constant List_Id := New_List;
+                     --  List of new declarations we create
+
                      Clist : List_Id;
                      Comp  : Entity_Id;
 
+                     Decl_Assign : Node_Id;
+                     --  Assigment to set uplink, Empty if none
+
                      Decl_ARECnT  : Node_Id;
                      Decl_ARECnPT : Node_Id;
                      Decl_ARECn   : Node_Id;
                      Decl_ARECnP  : Node_Id;
                      --  Declaration nodes for the AREC entities we build
 
-                     Decl_Assign : Node_Id;
-                     --  Assigment to set uplink, Empty if none
-
-                     Decls : constant List_Id := New_List;
-                     --  List of new declarations we create
-
                   begin
                      --  Build list of component declarations for ARECnT
 
@@ -1647,7 +1647,7 @@ package body Exp_Unst is
                                          Subtype_Indication =>
                                            New_Occurrence_Of
                                              (Defining_Identifier (Ptr_Decl),
-                                               Loc))));
+                                              Loc))));
                               else
                                  Append_To (Clist,
                                    Make_Component_Declaration (Loc,
@@ -1711,7 +1711,7 @@ package body Exp_Unst is
                            New_Occurrence_Of (STJ.ARECnPT, Loc),
                          Expression          =>
                            Make_Attribute_Reference (Loc,
-                             Prefix           =>
+                             Prefix         =>
                                New_Occurrence_Of (STJ.ARECn, Loc),
                              Attribute_Name => Name_Access));
                      Append_To (Decls, Decl_ARECnP);
@@ -1786,16 +1786,17 @@ package body Exp_Unst is
                                  Loc : constant Source_Ptr := Sloc (Ent);
                                  Dec : constant Node_Id    :=
                                          Declaration_Node (Ent);
-                                 Ins  : Node_Id;
+
                                  Asn  : Node_Id;
                                  Attr : Name_Id;
+                                 Ins  : Node_Id;
 
                               begin
                                  --  For parameters, we insert the assignment
                                  --  right after the declaration of ARECnP.
                                  --  For all other entities, we insert
-                                 --  the assignment immediately after
-                                 --  the declaration of the entity.
+                                 --  the assignment immediately after the
+                                 --  declaration of the entity.
 
                                  --  Note: we don't need to mark the entity
                                  --  as being aliased, because the address
@@ -2224,9 +2225,9 @@ package body Exp_Unst is
             end;
          end if;
 
-         --  The proper body of a stub may contain nested subprograms,
-         --  and therefore must be visited explicitly. Nested stubs are
-         --  examined recursively in Visit_Node.
+         --  The proper body of a stub may contain nested subprograms, and
+         --  therefore must be visited explicitly. Nested stubs are examined
+         --  recursively in Visit_Node.
 
          if Nkind (N) in N_Body_Stub then
             Do_Search (Library_Unit (N));

diff --git a/gcc/ada/inline.adb b/gcc/ada/inline.adb
index f615e65045413f85717691649630512c9b364835..23de7a736514dde45965693ada1e368031e2f37f 100644 (file)
--- a/gcc/ada/inline.adb
+++ b/gcc/ada/inline.adb
@@ -900,8 +900,8 @@ package body Inline is
 
       function Uses_Secondary_Stack (Bod : Node_Id) return Boolean;
       --  If the body of the subprogram includes a call that returns an
-      --  unconstrained type, the secondary stack is involved, and it
-      --  is not worth inlining.
+      --  unconstrained type, the secondary stack is involved, and it is
+      --  not worth inlining.
 
       -------------------------
       -- Has_Extended_Return --

diff --git a/gcc/ada/libgnat/a-ciorma.adb b/gcc/ada/libgnat/a-ciorma.adb
index 000851a8cac68f1541239ca64659c7210beeff9c..d82476081477af198137b074307c3fafd520e91d 100644 (file)
--- a/gcc/ada/libgnat/a-ciorma.adb
+++ b/gcc/ada/libgnat/a-ciorma.adb
@@ -541,9 +541,10 @@ package body Ada.Containers.Indefinite_Ordered_Maps is
            "Position cursor of function Element is bad";
       end if;
 
-      if Checks and then
-        (Left (Position.Node) = Position.Node
-           or else Right (Position.Node) = Position.Node)
+      if Checks
+        and then (Left (Position.Node) = Position.Node
+                   or else
+                  Right (Position.Node) = Position.Node)
       then
          raise Program_Error with "dangling cursor";
       end if;

diff --git a/gcc/ada/libgnat/a-ciormu.adb b/gcc/ada/libgnat/a-ciormu.adb
index 5c3e9f75bb2f718dbe7fe315d64fb3b62b81240c..0483f0a1f534fa484873c5eb5dbef3b3f573ecbe 100644 (file)
--- a/gcc/ada/libgnat/a-ciormu.adb
+++ b/gcc/ada/libgnat/a-ciormu.adb
@@ -545,9 +545,10 @@ package body Ada.Containers.Indefinite_Ordered_Multisets is
          raise Program_Error with "Position cursor is bad";
       end if;
 
-      if Checks and then
-        (Left (Position.Node) = Position.Node
-           or else Right (Position.Node) = Position.Node)
+      if Checks
+        and then (Left (Position.Node) = Position.Node
+                   or else
+                  Right (Position.Node) = Position.Node)
       then
          raise Program_Error with "dangling cursor";
       end if;

diff --git a/gcc/ada/libgnat/a-ciorse.adb b/gcc/ada/libgnat/a-ciorse.adb
index 7394a4aedc5a60da7291b93d4508895642eb64a8..7b541e3d9726a0010740d20a34fec1464b76e85b 100644 (file)
--- a/gcc/ada/libgnat/a-ciorse.adb
+++ b/gcc/ada/libgnat/a-ciorse.adb
@@ -534,9 +534,10 @@ package body Ada.Containers.Indefinite_Ordered_Sets is
          raise Program_Error with "Position cursor is bad";
       end if;
 
-      if Checks and then
-        (Left (Position.Node) = Position.Node
-           or else Right (Position.Node) = Position.Node)
+      if Checks
+        and then (Left (Position.Node) = Position.Node
+                   or else
+                  Right (Position.Node) = Position.Node)
       then
          raise Program_Error with "dangling cursor";
       end if;

diff --git a/gcc/ada/libgnat/a-coorma.adb b/gcc/ada/libgnat/a-coorma.adb
index 5fd3ec68a504486b1e598ee9f28afe9293c76364..7ec507729cf9c643fb8cb348119ea5c23bfdc189 100644 (file)
--- a/gcc/ada/libgnat/a-coorma.adb
+++ b/gcc/ada/libgnat/a-coorma.adb
@@ -481,9 +481,10 @@ package body Ada.Containers.Ordered_Maps is
            "Position cursor of function Element equals No_Element";
       end if;
 
-      if Checks and then
-        (Left (Position.Node) = Position.Node
-           or else Right (Position.Node) = Position.Node)
+      if Checks
+        and then (Left (Position.Node) = Position.Node
+                   or else
+                  Right (Position.Node) = Position.Node)
       then
          raise Program_Error with "dangling cursor";
       end if;

diff --git a/gcc/ada/libgnat/a-coormu.adb b/gcc/ada/libgnat/a-coormu.adb
index c114cf9f48a94438872bc88577f05fa1fbd052d0..c5548bfd1be048a1fbecd5822cbd53783b4d891a 100644 (file)
--- a/gcc/ada/libgnat/a-coormu.adb
+++ b/gcc/ada/libgnat/a-coormu.adb
@@ -502,9 +502,10 @@ package body Ada.Containers.Ordered_Multisets is
          raise Constraint_Error with "Position cursor equals No_Element";
       end if;
 
-      if Checks and then
-        (Left (Position.Node) = Position.Node
-           or else Right (Position.Node) = Position.Node)
+      if Checks
+        and then (Left (Position.Node) = Position.Node
+                   or else
+                  Right (Position.Node) = Position.Node)
       then
          raise Program_Error with "dangling cursor";
       end if;

diff --git a/gcc/ada/libgnat/a-coorse.adb b/gcc/ada/libgnat/a-coorse.adb
index 1f96d39499a3b24fd5b56b1c3da2751cb946123b..2033effbce4043acbb6d8e97507791ebc51a7d13 100644 (file)
--- a/gcc/ada/libgnat/a-coorse.adb
+++ b/gcc/ada/libgnat/a-coorse.adb
@@ -480,9 +480,10 @@ package body Ada.Containers.Ordered_Sets is
          raise Constraint_Error with "Position cursor equals No_Element";
       end if;
 
-      if Checks and then
-        (Left (Position.Node) = Position.Node
-           or else Right (Position.Node) = Position.Node)
+      if Checks
+        and then (Left (Position.Node) = Position.Node
+                   or else
+                  Right (Position.Node) = Position.Node)
       then
          raise Program_Error with "dangling cursor";
       end if;

diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
index c5b710e840d8f248d523268090762074d6a6e62c..a88b37de65d4cab77137b44110396762075f12fd 100644 (file)
--- a/gcc/ada/sem_prag.adb
+++ b/gcc/ada/sem_prag.adb
@@ -2499,12 +2499,12 @@ package body Sem_Prag is
                end if;
 
                if (Is_Subprogram (Context)
-                   or else Ekind (Context) = E_Task_Type
-                   or else Is_Single_Task_Object (Context))
+                     or else Ekind (Context) = E_Task_Type
+                     or else Is_Single_Task_Object (Context))
                  and then
-                   (Present (Get_Pragma (Context, Pragma_Global))
-                      or else
-                    Present (Get_Pragma (Context, Pragma_Refined_Global)))
+                  (Present (Get_Pragma (Context, Pragma_Global))
+                     or else
+                   Present (Get_Pragma (Context, Pragma_Refined_Global)))
                then
                   Collect_Subprogram_Inputs_Outputs
                     (Subp_Id      => Context,