From b546e2a732f0572fb3119facb48ead0b44c75afc Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Wed, 24 Apr 2013 15:08:31 +0200 Subject: [multiple changes] 2013-04-24 Eric Botcazou * fe.h (Machine_Overflows_On_Target): New macro and declaration. (Signed_Zeros_On_Target): Likewise. 2013-04-24 Hristian Kirtchev * exp_ch6.adb: Add with and use clause for Sem_Prag. (Freeze_Subprogram): Analyze all delayed aspects for a null procedure so that they are available when analyzing the internally-generated _Postconditions routine. * exp_ch13.adb: Remove with and use clause for Sem_Prag. (Expand_N_Freeze_Entity): Move the code that analyzes delayed aspects of null procedures to exp_ch6.Freeze_Subprogram. * sem_prag.adb (Analyze_Abstract_State): Update the check on volatile requirements. 2013-04-24 Bob Duff * ali-util.ads (Source_Record): New component Stamp_File to record from whence the Stamp came. * ali-util.adb (Set_Source_Table): Set Stamp_File component. * bcheck.adb (Check_Consistency): Print additional information in Verbose_Mode. * gnatbind.adb (Gnatbind): Print additional information in Verbose_Mode. From-SVN: r198224 --- gcc/ada/exp_ch13.adb | 44 ++------------------------------------------ 1 file changed, 2 insertions(+), 42 deletions(-) (limited to 'gcc/ada/exp_ch13.adb') diff --git a/gcc/ada/exp_ch13.adb b/gcc/ada/exp_ch13.adb index 24e5e39..364401d 100644 --- a/gcc/ada/exp_ch13.adb +++ b/gcc/ada/exp_ch13.adb @@ -43,7 +43,6 @@ with Sem_Aux; use Sem_Aux; with Sem_Ch7; use Sem_Ch7; with Sem_Ch8; use Sem_Ch8; with Sem_Eval; use Sem_Eval; -with Sem_Prag; use Sem_Prag; with Sem_Util; use Sem_Util; with Sinfo; use Sinfo; with Snames; use Snames; @@ -553,48 +552,9 @@ package body Exp_Ch13 is Force_Validity_Checks := Save_Force; end; - else - -- If the action is the generated body of a null subprogram, - -- analyze the expressions in its delayed aspects, because we - -- may not have reached the end of the declarative list when - -- delayed aspects are normally analyzed. This ensures that - -- dispatching calls are properly rewritten when the inner - -- postcondition procedure is analyzed. - - if Is_Subprogram (E) - and then Nkind (Parent (E)) = N_Procedure_Specification - and then Null_Present (Parent (E)) - then - declare - Prag : Node_Id; - - begin - -- Comment this loop ??? - - Prag := Pre_Post_Conditions (Contract (E)); - while Present (Prag) loop - Analyze_PPC_In_Decl_Part (Prag, E); - Prag := Next_Pragma (Prag); - end loop; - - -- Why don't we do the same for Contract_Test_Cases ??? - - -- Comment this loop? - - Prag := Classifications (Contract (E)); - while Present (Prag) loop - if Pragma_Name (Prag) = Name_Depends then - Analyze_Depends_In_Decl_Part (Prag); - else - pragma Assert (Pragma_Name (Prag) = Name_Global); - Analyze_Global_In_Decl_Part (Prag); - end if; - - Prag := Next_Pragma (Prag); - end loop; - end; - end if; + -- All other freezing actions + else Analyze (Decl, Suppress => All_Checks); end if; -- cgit v1.1