From 662c2ad47559312689a4e5f81f2eccdc577be858 Mon Sep 17 00:00:00 2001 From: Robert Dewar Date: Wed, 30 Jul 2014 10:41:12 +0000 Subject: [PATCH] inline.adb, [...]: Minor reformatting. 2014-07-30 Robert Dewar * inline.adb, exp_ch4.adb, sinput.adb, sem_ch6.adb, sem_ch13.adb: Minor reformatting. From-SVN: r213244 --- gcc/ada/ChangeLog | 5 +++++ gcc/ada/exp_ch4.adb | 5 ++--- gcc/ada/inline.adb | 6 +++--- gcc/ada/sem_ch13.adb | 7 +++---- gcc/ada/sem_ch6.adb | 6 +++--- gcc/ada/sinput.adb | 2 +- 6 files changed, 17 insertions(+), 14 deletions(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index d3e7897deb0..463f3704dc2 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2014-07-30 Robert Dewar + + * inline.adb, exp_ch4.adb, sinput.adb, sem_ch6.adb, sem_ch13.adb: + Minor reformatting. + 2014-07-30 Hristian Kirtchev * 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 10cf558a29d..bfa6ee26126 100644 --- 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 438f27c1ca9..749e4dca9ae 100644 --- 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 70129417262..c7d039dca57 100644 --- 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 f18205185a4..815ab546f9c 100644 --- 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 640e277eb66..1c8232d1c83 100644 --- 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;