From 8a638592171205515edfbb0cccf6af2fe15965be Mon Sep 17 00:00:00 2001 From: charlet Date: Mon, 5 Sep 2011 13:11:29 +0000 Subject: [PATCH] 2011-09-05 Gary Dismukes * exp_ch7.adb, exp_ch6.adb: Minor reformatting. 2011-09-05 Johannes Kanig * lib-xref-alfa.adb: Update comments. 2011-09-05 Thomas Quinot * sem_res.adb: Minor reformatting git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178535 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ada/ChangeLog | 12 ++++++++++++ gcc/ada/exp_ch6.adb | 2 +- gcc/ada/exp_ch7.adb | 12 ++++++------ gcc/ada/lib-xref-alfa.adb | 10 +++++----- gcc/ada/sem_res.adb | 2 +- 5 files changed, 25 insertions(+), 13 deletions(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index f7e2e85..26c5256 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,15 @@ +2011-09-05 Gary Dismukes + + * exp_ch7.adb, exp_ch6.adb: Minor reformatting. + +2011-09-05 Johannes Kanig + + * lib-xref-alfa.adb: Update comments. + +2011-09-05 Thomas Quinot + + * sem_res.adb: Minor reformatting + 2011-09-05 Ed Schonberg * exp_ch6.adb (Build_In_Place_Formal): If extra formals are not diff --git a/gcc/ada/exp_ch6.adb b/gcc/ada/exp_ch6.adb index a9a2c42..fd794e4 100644 --- a/gcc/ada/exp_ch6.adb +++ b/gcc/ada/exp_ch6.adb @@ -7236,7 +7236,7 @@ package body Exp_Ch6 is Add_Finalization_Master_Actual_To_Build_In_Place_Call (Func_Call, Function_Id, Acc_Type); - -- Is access type has a master entity, pass a reference to it. + -- If access type has a master entity, pass a reference to it if Present (Master_Id (Acc_Type)) then Add_Task_Actuals_To_Build_In_Place_Call diff --git a/gcc/ada/exp_ch7.adb b/gcc/ada/exp_ch7.adb index 59d2cb1..f36e29e 100644 --- a/gcc/ada/exp_ch7.adb +++ b/gcc/ada/exp_ch7.adb @@ -3042,7 +3042,7 @@ package body Exp_Ch7 is Parameter_Associations => New_List (New_Reference_To (Data.E_Id, Data.Loc))); - -- Restricted runtime: exception messages are not supported and hence + -- Restricted run-time: exception messages are not supported and hence -- Raise_From_Controlled_Operation is not supported. Raise Program_Error -- instead. @@ -3890,10 +3890,10 @@ package body Exp_Ch7 is No_Body := True; end if; - -- For a nested instance, delay processing until freeze point. + -- For a nested instance, delay processing until freeze point if Has_Delayed_Freeze (Id) - and then Nkind (Parent (N)) /= N_Compilation_Unit + and then Nkind (Parent (N)) /= N_Compilation_Unit then return; end if; @@ -7284,7 +7284,7 @@ package body Exp_Ch7 is -- Procedure call or raise statement begin - -- Standard runtime, .NET/JVM targets: add choice parameter E and pass + -- Standard run-time, .NET/JVM targets: add choice parameter E and pass -- it to Raise_From_Controlled_Operation so that the original exception -- name and message can be recorded in the exception message for -- Program_Error. @@ -7299,7 +7299,7 @@ package body Exp_Ch7 is Parameter_Associations => New_List ( New_Reference_To (E_Occ, Loc))); - -- Restricted runtime: exception messages are not supported + -- Restricted run-time: exception messages are not supported else E_Occ := Empty; @@ -7538,7 +7538,7 @@ package body Exp_Ch7 is Attribute_Name => Name_Unrestricted_Access))); -- In the case of build-in-place functions, protect the call to ensure - -- we have a master at runtime. Generate: + -- we have a master at run time. Generate: -- if FM /= null then -- ; diff --git a/gcc/ada/lib-xref-alfa.adb b/gcc/ada/lib-xref-alfa.adb index dd3c78c..2036dd8 100644 --- a/gcc/ada/lib-xref-alfa.adb +++ b/gcc/ada/lib-xref-alfa.adb @@ -612,11 +612,11 @@ package body Alfa is when Overloadable_Kind => return Typ = 's'; - -- References to IN parameters are not considered in Alfa - -- section, as these will be translated as constants in the - -- intermediate language for formal verification. - - -- Above comment is incomplete??? what about E_Constant case + -- References to IN parameters and constants are not + -- considered in Alfa section, as these will be translated + -- as constants in the intermediate language for formal + -- verification, and should therefore never appear in frame + -- conditions. when E_In_Parameter | E_Constant => return False; diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb index 1d3c018..068e3fc 100644 --- a/gcc/ada/sem_res.adb +++ b/gcc/ada/sem_res.adb @@ -7145,7 +7145,7 @@ package body Sem_Res is return Res; end Convert_Operand; - -- Start of processing for Resolve_Intrinsic_Operator + -- Start of processing for Resolve_Intrinsic_Operator begin -- We must preserve the original entity in a generic setting, so that -- 2.7.4