From 611d5e3c8275011282ac59e75ff3bc22ac50951a Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Tue, 25 Apr 2017 09:58:18 +0200 Subject: [PATCH] Minor reformatting. From-SVN: r247138 --- gcc/ada/rtsfind.adb | 1 + gcc/ada/sem_ch13.adb | 3 +-- gcc/ada/sem_ch6.adb | 24 ++++++++++++------------ 3 files changed, 14 insertions(+), 14 deletions(-) diff --git a/gcc/ada/rtsfind.adb b/gcc/ada/rtsfind.adb index 39f4654e3e7..40d6cfc16ab 100644 --- a/gcc/ada/rtsfind.adb +++ b/gcc/ada/rtsfind.adb @@ -1657,6 +1657,7 @@ package body Rtsfind is pragma Assert (GNATprove_Mode); -- Force loading of a predefined unit + Unused := RTE (E); end SPARK_Implicit_Load; diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb index ac1e02cfee3..e796ab3dbf4 100644 --- a/gcc/ada/sem_ch13.adb +++ b/gcc/ada/sem_ch13.adb @@ -12688,7 +12688,6 @@ package body Sem_Ch13 is E : Entity_Id; begin - -- Types with nameable components are records and discriminated -- private types. @@ -12705,7 +12704,7 @@ package body Sem_Ch13 is end loop; end if; - -- Nothing by that name, or type has no components. + -- Nothing by that name, or the type has no components return Empty; end Visible_Component; diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb index de7c92a6dc7..b07730a0d90 100644 --- a/gcc/ada/sem_ch6.adb +++ b/gcc/ada/sem_ch6.adb @@ -1391,8 +1391,8 @@ package body Sem_Ch6 is Null_Body := Make_Subprogram_Body (Loc, - Specification => New_Copy_Tree (Spec), - Declarations => New_List, + Specification => New_Copy_Tree (Spec), + Declarations => New_List, Handled_Statement_Sequence => Make_Handled_Sequence_Of_Statements (Loc, Statements => New_List (Null_Stmt))); @@ -1430,24 +1430,24 @@ package body Sem_Ch6 is return; else - -- Resolve the types of the formals now, because the freeze point - -- may appear in a different context, e.g. an instantiation. + -- Resolve the types of the formals now, because the freeze point may + -- appear in a different context, e.g. an instantiation. Form := First (Parameter_Specifications (Specification (Null_Body))); while Present (Form) loop if Nkind (Parameter_Type (Form)) /= N_Access_Definition then Find_Type (Parameter_Type (Form)); - elsif - No (Access_To_Subprogram_Definition (Parameter_Type (Form))) + elsif No (Access_To_Subprogram_Definition + (Parameter_Type (Form))) then Find_Type (Subtype_Mark (Parameter_Type (Form))); - else - -- The case of a null procedure with a formal that is an - -- access_to_subprogram type, and that is used as an actual - -- in an instantiation is left to the enthusiastic reader. + -- The case of a null procedure with a formal that is an + -- access-to-subprogram type, and that is used as an actual + -- in an instantiation is left to the enthusiastic reader. + else null; end if; @@ -1455,8 +1455,8 @@ package body Sem_Ch6 is end loop; end if; - -- If there are previous overloadable entities with the same name, - -- check whether any of them is completed by the null procedure. + -- If there are previous overloadable entities with the same name, check + -- whether any of them is completed by the null procedure. if Present (Prev) and then Is_Overloadable (Prev) then Designator := Analyze_Subprogram_Specification (Spec); -- 2.30.2