inline.adb, [...]: Minor reformatting.

2014-07-30  Robert Dewar  <dewar@adacore.com>

	* inline.adb, exp_ch4.adb, sinput.adb, sem_ch6.adb, sem_ch13.adb:
	Minor reformatting.

From-SVN: r213244

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index d3e7897deb0fe24da9b20f723c19326af1ba90e0..463f3704dc2f29dda23609dd18c3f02c055ff15b 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+2014-07-30  Robert Dewar  <dewar@adacore.com>
+
+       * inline.adb, exp_ch4.adb, sinput.adb, sem_ch6.adb, sem_ch13.adb:
+       Minor reformatting.
+
 2014-07-30  Hristian Kirtchev  <kirtchev@adacore.com>
 
        * aspects.ads Add a comment explaining why SPARK 2014 aspects are

diff --git a/gcc/ada/exp_ch4.adb b/gcc/ada/exp_ch4.adb
index 10cf558a29d0e6fc690915b961716e5c38d7dec6..bfa6ee261266006a7739491aedc639f959b9a30c 100644 (file)
--- a/gcc/ada/exp_ch4.adb
+++ b/gcc/ada/exp_ch4.adb
@@ -769,9 +769,8 @@ package body Exp_Ch4 is
                Obj_Ref :=
                  Unchecked_Convert_To (Etype (Obj_Ref),
                    Make_Function_Call (Loc,
-                     Name =>
-                       New_Occurrence_Of
-                         (RTE (RE_Base_Address), Loc),
+                     Name                   =>
+                       New_Occurrence_Of (RTE (RE_Base_Address), Loc),
                      Parameter_Associations => New_List (
                        Unchecked_Convert_To (RTE (RE_Address),
                          New_Copy_Tree (Obj_Ref)))));

diff --git a/gcc/ada/inline.adb b/gcc/ada/inline.adb
index 438f27c1ca906731b240687b2af1e9bd77017e46..749e4dca9ae069ce0360175fa163266cfe65b19b 100644 (file)
--- a/gcc/ada/inline.adb
+++ b/gcc/ada/inline.adb
@@ -3620,13 +3620,13 @@ package body Inline is
       while Present (F) loop
          if Present (Renamed_Object (F)) then
 
-            --  If expander is active, it's an error to try to inline a
+            --  If expander is active, it is an error to try to inline a
             --  recursive program. In GNATprove mode, just indicate that
             --  the inlining will not happen.
 
             if Expander_Active then
-               Error_Msg_N ("cannot inline call to recursive subprogram", N);
-
+               Error_Msg_N
+                 ("cannot inline call to recursive subprogram", N);
             else
                Cannot_Inline
                  ("cannot inline call to recursive subprogram?", N, Subp);

diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb
index 70129417262962869e5c1174d19896062df55d20..c7d039dca57cf48d98edaec189c590de7fef8284 100644 (file)
--- a/gcc/ada/sem_ch13.adb
+++ b/gcc/ada/sem_ch13.adb
@@ -1186,7 +1186,7 @@ package body Sem_Ch13 is
 
    procedure Analyze_Aspect_Specifications (N : Node_Id; E : Entity_Id) is
       procedure Decorate (Asp : Node_Id; Prag : Node_Id);
-      --  Establish the linkages between an aspect and its corresponding
+      --  Establish linkages between an aspect and its corresponding
       --  pragma.
 
       procedure Insert_After_SPARK_Mode
@@ -1195,9 +1195,8 @@ package body Sem_Ch13 is
          Decls   : List_Id);
       --  Subsidiary to the analysis of aspects Abstract_State, Initializes,
       --  Initial_Condition and Refined_State. Insert node Prag before node
-      --  Ins_Nod. If Ins_Nod denotes pragma SPARK_Mode, then SPARK_Mode is
-      --  skipped. Decls is the associated declarative list where Prag is to
-      --  reside.
+      --  Ins_Nod. If Ins_Nod is for pragma SPARK_Mode, then skip SPARK_Mode.
+      --  Decls is the associated declarative list where Prag is to reside.
 
       procedure Insert_Pragma (Prag : Node_Id);
       --  Subsidiary to the analysis of aspects Attach_Handler, Contract_Cases,

diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb
index f18205185a42f5089bc9be73a0e9cfcf4512be6a..815ab546f9c0417033b428cf6fd113c14827bc4e 100644 (file)
--- a/gcc/ada/sem_ch6.adb
+++ b/gcc/ada/sem_ch6.adb
@@ -2972,10 +2972,10 @@ package body Sem_Ch6 is
                then
                   declare
                      Body_Spec : constant Node_Id :=
-                       Copy_Separate_Tree (Specification (N));
+                                   Copy_Separate_Tree (Specification (N));
                      New_Decl : constant Node_Id :=
-                       Make_Subprogram_Declaration
-                        (Loc, Copy_Separate_Tree (Specification (N)));
+                                  Make_Subprogram_Declaration (Loc,
+                                    Copy_Separate_Tree (Specification (N)));
 
                   begin
                      Insert_Before (N, New_Decl);

diff --git a/gcc/ada/sinput.adb b/gcc/ada/sinput.adb
index 640e277eb66199c4c95e7571c1cff179620effac..1c8232d1c83aa87654f71d519e99962ab49e36a7 100644 (file)
--- a/gcc/ada/sinput.adb
+++ b/gcc/ada/sinput.adb
@@ -308,7 +308,7 @@ package body Sinput is
 
    function Comes_From_Inlined_Body (S : Source_Ptr) return Boolean is
       SIE : Source_File_Record renames
-        Source_File.Table (Get_Source_File_Index (S));
+              Source_File.Table (Get_Source_File_Index (S));
    begin
       return SIE.Inlined_Body;
    end Comes_From_Inlined_Body;