r207244 - in /trunk/gcc/ada: ChangeLog exp_ch9....

[charlet@gcc.gnu.org]

Author: charlet
Date: Wed Jan 29 15:21:59 2014
New Revision: 207244

URL: http://gcc.gnu.org/viewcvs?rev=207244&root=gcc&view=rev
Log:
2014-01-29  Tristan Gingold  <gingold@adacore.com>

	* exp_ch9.adb (Is_Exception_Safe): Return true if no exceptions.

2014-01-29  Yannick Moy  <moy@adacore.com>

	* inline.ads (Pending_Body_Info): Add SPARK_Mode and
	SPARK_Mode_Pragma components to be able to analyze generic
	instance.
	* sem_ch12.adb (Analyze_Package_Instantiation,
	Inline_Instance_Body, Need_Subprogram_Instance_Body,
	Load_Parent_Of_Generic): Pass in SPARK_Mode from instantiation
	for future analysis of the instance.
	(Instantiate_Package_Body,
	Instantiate_Subprogram_Body, Set_Instance_Inv): Set SPARK_Mode
	from instantiation to analyze the instance.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/exp_ch9.adb
    trunk/gcc/ada/inline.ads
    trunk/gcc/ada/sem_ch12.adb