exp_ch11.adb (Expand_At_End_Handler): Avoid generation of raise statement when…

exp_ch11.adb (Expand_At_End_Handler): Avoid generation of raise statement when compiling under restriction...

2007-08-31  Javier Miranda  <miranda@adacore.com>

	* exp_ch11.adb (Expand_At_End_Handler): Avoid generation of raise
	statement when compiling under restriction No_Exceptions_Proparation.

From-SVN: r127971

gcc/ada/exp_ch11.adb

@@ -142,8 +142,15 @@ package body Exp_Ch11 is
 
       Stmnts := New_List (
         Make_Procedure_Call_Statement (Loc,
-          Name => New_Occurrence_Of (Clean, Loc)),
-        Make_Raise_Statement (Loc));
+          Name => New_Occurrence_Of (Clean, Loc)));
+
+      --  Avoid generation of raise stmt if compiling with no exceptions
+      --  propagation
+
+      if not Restriction_Active (No_Exception_Propagation) then
+         Append_To (Stmnts,
+           Make_Raise_Statement (Loc));
+      end if;
 
       Set_Exception_Handlers (HSS, New_List (
         Make_Implicit_Exception_Handler (Loc,