summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>2014-07-30 10:41:12 +0000
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>2014-07-30 10:41:12 +0000
commitc4369687923622b6f70e223249fd6eb1f4bb5005 (patch)
tree713ee01437c9612f7a87b4ab8bce11908167ecee
parente2bf777dd6e6a455c160084ba959b9954c9b6206 (diff)
downloadgcc-c4369687923622b6f70e223249fd6eb1f4bb5005.tar.gz
2014-07-30 Robert Dewar <dewar@adacore.com>
* inline.adb, exp_ch4.adb, sinput.adb, sem_ch6.adb, sem_ch13.adb: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@213244 138bc75d-0d04-0410-961f-82ee72b054a4
-rw-r--r--gcc/ada/ChangeLog5
-rw-r--r--gcc/ada/exp_ch4.adb5
-rw-r--r--gcc/ada/inline.adb6
-rw-r--r--gcc/ada/sem_ch13.adb7
-rw-r--r--gcc/ada/sem_ch6.adb6
-rw-r--r--gcc/ada/sinput.adb2
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 <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 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;