diff options
author | Hristian Kirtchev <kirtchev@adacore.com> | 2015-10-27 11:23:07 +0000 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-27 12:23:07 +0100 |
commit | cdabbb526556b8779df24df30b837dfe61554694 (patch) | |
tree | c7a204726695d025e7236f2e99f0d8da980c97b0 /gcc | |
parent | f6f401140a4a93899d25eeb05a537d35f4324f6f (diff) | |
download | gcc-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/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/ada/a-dirval-mingw.adb | 3 | ||||
-rw-r--r-- | gcc/ada/exp_ch6.adb | 24 | ||||
-rw-r--r-- | gcc/ada/lib-xref-spark_specific.adb | 1 | ||||
-rw-r--r-- | gcc/ada/s-os_lib.adb | 4 | ||||
-rw-r--r-- | gcc/ada/sem_ch8.adb | 10 |
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; |