aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorHristian Kirtchev <kirtchev@adacore.com>2015-10-27 11:23:07 +0000
committerArnaud Charlet <charlet@gcc.gnu.org>2015-10-27 12:23:07 +0100
commitcdabbb526556b8779df24df30b837dfe61554694 (patch)
treec7a204726695d025e7236f2e99f0d8da980c97b0 /gcc
parentf6f401140a4a93899d25eeb05a537d35f4324f6f (diff)
downloadgcc-cdabbb526556b8779df24df30b837dfe61554694.zip
gcc-cdabbb526556b8779df24df30b837dfe61554694.tar.gz
gcc-cdabbb526556b8779df24df30b837dfe61554694.tar.bz2
lib-xref-spark_specific.adb, [...]: Minor reformatting.
2015-10-27 Hristian Kirtchev <kirtchev@adacore.com> * lib-xref-spark_specific.adb, a-dirval-mingw.adb, exp_ch6.adb, sem_ch8.adb, s-os_lib.adb: Minor reformatting. From-SVN: r229419
Diffstat (limited to 'gcc')
-rw-r--r--gcc/ada/ChangeLog5
-rw-r--r--gcc/ada/a-dirval-mingw.adb3
-rw-r--r--gcc/ada/exp_ch6.adb24
-rw-r--r--gcc/ada/lib-xref-spark_specific.adb1
-rw-r--r--gcc/ada/s-os_lib.adb4
-rw-r--r--gcc/ada/sem_ch8.adb10
6 files changed, 28 insertions, 19 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index bb6af69..e18d49b 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+2015-10-27 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * lib-xref-spark_specific.adb, a-dirval-mingw.adb, exp_ch6.adb,
+ sem_ch8.adb, s-os_lib.adb: Minor reformatting.
+
2015-10-27 Yannick Moy <moy@adacore.com>
* lib-xref-spark_specific.adb
diff --git a/gcc/ada/a-dirval-mingw.adb b/gcc/ada/a-dirval-mingw.adb
index de3b566..dad5c4a 100644
--- a/gcc/ada/a-dirval-mingw.adb
+++ b/gcc/ada/a-dirval-mingw.adb
@@ -77,8 +77,7 @@ package body Ada.Directories.Validity is
if Name'Length >= 2
and then Name (Start + 1) = ':'
and then
- (Name (Start) in 'A' .. 'Z'
- or else Name (Start) in 'a' .. 'z')
+ (Name (Start) in 'A' .. 'Z' or else Name (Start) in 'a' .. 'z')
then
Start := Start + 2;
diff --git a/gcc/ada/exp_ch6.adb b/gcc/ada/exp_ch6.adb
index dc03396..deaa8ea 100644
--- a/gcc/ada/exp_ch6.adb
+++ b/gcc/ada/exp_ch6.adb
@@ -8332,16 +8332,16 @@ package body Exp_Ch6 is
Func_Id : constant Entity_Id := Entity (Name (N));
Func_Decl : constant Node_Id := Unit_Declaration_Node (Func_Id);
Par : constant Node_Id := Parent (N);
- Loc : constant Source_Ptr := Sloc (Par);
Proc_Id : constant Entity_Id := Defining_Entity (Next (Func_Decl));
+ Loc : constant Source_Ptr := Sloc (Par);
Actuals : List_Id;
Last_Formal : Entity_Id;
begin
- -- The actuals may be given by named associations, so the added
- -- actual that is the target of the return value of the call must
- -- be a named association as well, so we retrieve the name of the
- -- generated out_formal.
+ -- The actuals may be given by named associations, so the added actual
+ -- that is the target of the return value of the call must be a named
+ -- association as well, so we retrieve the name of the generated
+ -- out_formal.
Last_Formal := First_Formal (Proc_Id);
while Present (Next_Formal (Last_Formal)) loop
@@ -8366,8 +8366,10 @@ package body Exp_Ch6 is
if Nkind (Par) = N_Assignment_Statement then
Append_To (Actuals,
Make_Parameter_Association (Loc,
- Selector_Name => Make_Identifier (Loc, Chars (Last_Formal)),
- Explicit_Actual_Parameter => Name (Par)));
+ Selector_Name =>
+ Make_Identifier (Loc, Chars (Last_Formal)),
+ Explicit_Actual_Parameter => Name (Par)));
+
Rewrite (Par,
Make_Procedure_Call_Statement (Loc,
Name => New_Occurrence_Of (Proc_Id, Loc),
@@ -8404,9 +8406,11 @@ package body Exp_Ch6 is
Append_To (Actuals,
Make_Parameter_Association (Loc,
- Selector_Name => Make_Identifier (Loc, Chars (Last_Formal)),
- Explicit_Actual_Parameter =>
- New_Occurrence_Of (Temp_Id, Loc)));
+ Selector_Name =>
+ Make_Identifier (Loc, Chars (Last_Formal)),
+ Explicit_Actual_Parameter =>
+ New_Occurrence_Of (Temp_Id, Loc)));
+
Call :=
Make_Procedure_Call_Statement (Loc,
Name => New_Occurrence_Of (Proc_Id, Loc),
diff --git a/gcc/ada/lib-xref-spark_specific.adb b/gcc/ada/lib-xref-spark_specific.adb
index fce0cf0..3280d18 100644
--- a/gcc/ada/lib-xref-spark_specific.adb
+++ b/gcc/ada/lib-xref-spark_specific.adb
@@ -1035,6 +1035,7 @@ package body SPARK_Specific is
-- If this was a library-level subprogram then replace Result with
-- its Unit, which points to N_Subprogram_* node.
+
if Nkind (Result) = N_Compilation_Unit then
Result := Unit (Result);
end if;
diff --git a/gcc/ada/s-os_lib.adb b/gcc/ada/s-os_lib.adb
index 573b738..02efbd7 100644
--- a/gcc/ada/s-os_lib.adb
+++ b/gcc/ada/s-os_lib.adb
@@ -186,8 +186,8 @@ package body System.OS_Lib is
is
Max_Args : constant Integer := Arg_String'Length;
New_Argv : Argument_List (1 .. Max_Args);
- New_Argc : Natural := 0;
Idx : Integer;
+ New_Argc : Natural := 0;
Cleaned : String (1 .. Arg_String'Length);
Cleaned_Idx : Natural;
@@ -202,8 +202,8 @@ package body System.OS_Lib is
exit when Idx > Arg_String'Last;
declare
- Quoted : Boolean := False;
Backqd : Boolean := False;
+ Quoted : Boolean := False;
begin
Cleaned_Idx := Cleaned'First;
diff --git a/gcc/ada/sem_ch8.adb b/gcc/ada/sem_ch8.adb
index f02ec52..d448712 100644
--- a/gcc/ada/sem_ch8.adb
+++ b/gcc/ada/sem_ch8.adb
@@ -597,8 +597,8 @@ package body Sem_Ch8 is
begin
-- If the entity pointer is already set, this is an internal node, or a
-- node that is analyzed more than once, after a tree modification. In
- -- such a case there is no resolution to perform, just set the type.
- -- In either case, start by analyzing the prefix.
+ -- such a case there is no resolution to perform, just set the type. In
+ -- either case, start by analyzing the prefix.
Analyze (Prefix (N));
@@ -5622,9 +5622,9 @@ package body Sem_Ch8 is
if Ada_Version >= Ada_2012
and then
(Nkind (Parent (N)) in N_Subexpr
- or else Nkind_In (Parent (N), N_Object_Declaration,
- N_Parameter_Association,
- N_Assignment_Statement))
+ or else Nkind_In (Parent (N), N_Assignment_Statement,
+ N_Object_Declaration,
+ N_Parameter_Association))
then
Check_Implicit_Dereference (N, Etype (E));
end if;