r198224 - in /trunk/gcc/ada: ChangeLog ali-util...

[charlet@gcc.gnu.org]

Author: charlet
Date: Wed Apr 24 13:08:31 2013
New Revision: 198224

URL: http://gcc.gnu.org/viewcvs?rev=198224&root=gcc&view=rev
Log:
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.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/ali-util.adb
    trunk/gcc/ada/ali-util.ads
    trunk/gcc/ada/bcheck.adb
    trunk/gcc/ada/exp_ch13.adb
    trunk/gcc/ada/exp_ch6.adb
    trunk/gcc/ada/fe.h
    trunk/gcc/ada/gnatbind.adb
    trunk/gcc/ada/sem_prag.adb