r149413 - in /trunk/gcc/ada: ChangeLog checks.a...

[charlet@gcc.gnu.org]

Author: charlet
Date: Thu Jul  9 10:29:09 2009
New Revision: 149413

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=149413
Log:
2009-07-09  Ed Schonberg  <schonberg@adacore.com>

	* sem_prag.adb (Analyze_Pragma, case Precondition): Do not analyze the
	condition, to prevent generation of visible code during expansion,
	when Check is not enabled.

2009-07-09  Gary Dismukes  <dismukes@adacore.com>

	* checks.adb (Install_Static_Check): Call Possible_Local_Raise so that
	the check gets registered for any available local handler
	(Set_Local_Raise).

	* sem_util.adb: Add with and use of Exp_Ch11.
	(Apply_Compile_Time_Constraint_Error): Call Possible_Local_Raise so
	that the check gets registered for any available local handler.

	* exp_ch4.adb (Expand_N_Slice): Remove call to Enable_Range_Check
	on slice ranges.

2009-07-09  Steve Baird  <baird@adacore.com>

	* exp_ch11.adb (Force_Static_Allocation_Of_Referenced_Objects): New
	function.
	(Expand_N_Exception_Declaration): Fix handling of exceptions
	declared in a subprogram.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/checks.adb
    trunk/gcc/ada/exp_ch11.adb
    trunk/gcc/ada/exp_ch4.adb
    trunk/gcc/ada/sem_prag.adb
    trunk/gcc/ada/sem_util.adb