2013-04-24 Eric Botcazou <ebotcazou@adacore.com>

	* fe.h (Machine_Overflows_On_Target): New macro and declaration.
	(Signed_Zeros_On_Target): Likewise.

2013-04-24  Hristian Kirtchev  <kirtchev@adacore.com>

	* 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  <duff@adacore.com>

	* 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.



git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@198224 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 2 insertions, 42 deletions

diff --git a/gcc/ada/exp_ch13.adb b/gcc/ada/exp_ch13.adb
index 24e5e39ab76..364401d634b 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;