[Ada] Fix mismatch between expander and gigi

[Arnaud Charlet <charlet at adacore dot com>]

Tested on i686-linux, committed on trunk

This change fixes a mismatch between the Ada expander and gigi when handling
the No_Exception_Propagation_Restriction, visible in particular when using
the sjlj exception mechanism.

See existing test gnat.dg/no_exc_prop.adb with sjlj exceptions.

2008-03-26  Robert Dewar  <dewar@adacore.com>
	    Arnaud Charlet  <charlet@adacore.com>

	* exp_ch11.adb (Expand_At_End_Handler): Set From_At_End flag on raise
	stmt.
	(No_Exception_Propagation_Active): New function.
	(Expand_Exception_Handlers): Use No_Exception_Propagation_Active.
	Update comments, and review all uses of No_Exception_Propagation, which
	are now correct and in sync with what gigi expects.

	* restrict.ads, restrict.adb (No_Exception_Propagation_Active): New
	function.
	(Expand_Exception_Handlers): Use No_Exception_Propagation_Active.
	Update comments, and review all uses of No_Exception_Propagation, which
	are now correct and in sync with what gigi expects.

Attachment: difs
Description: Text document