From 6c5290ce34a20a2fdb1e94e1e18e7daac9fc2823 Mon Sep 17 00:00:00 2001 From: Thomas Quinot Date: Wed, 6 Jun 2007 12:18:34 +0200 Subject: a-except.ads, [...]: (Rmsg_28): Fix description for E.4(18) check. 2007-04-20 Thomas Quinot Olivier Hainque Robert Dewar * a-except.ads, a-except.adb: (Rmsg_28): Fix description for E.4(18) check. (Raise_Current_Excep): Call Debug_Raise_Exception just before propagation starts, to let debuggers know about the event in a reliable fashion. (Local_Raise): Moved to System.Exceptions More convenient to have this as a separate unit * s-except.adb, s-except.ads: New files. * a-exextr.adb (Unhandled_Exception): Delete - replaced by Debug_Unhandled_Exception in System.Exceptions where it belongs together with a couple of other debug helpers. (Notify_Unhandled_Exception): Use Debug_Unhandled_Exception instead of the former Unhandled_Exception. * exp_ch11.ads, exp_ch11.adb: (Possible_Local_Raise): New procedure (Warn_No_Exception_Propagation): New procedure (Warn_If_No_Propagation): Rewritten for new warning generation (Expand_Exception_Handlers): New warning generation (Expand_N_Raise_xxx_Error): Rewritten for new warnings (Add_Exception_Label): Use Special_Exception_Package_Used for test instead of Most_Recent_Exception_Used (accomodates Exception_Traces) (Expand_Local_Exception_Handlers): Unconditionally add extra block wrap even if restriction is set (makes life easier in Check_Returns) (Expand_Local_Exception_Handlers): Follow renamed entity chain when checking exception identities. (Expand_Local_Exception_Handlers): Do not optimize when all others case (Expand_Local_Exception_Handlers): Set Exception_Junk flag on generated block for handler (used by Check_Returns) (Expand_Local_Exception_Handlers): Local_Raise now takes an address (Expand_N_Handled_Sequence_Of_Statements): Properly handle -gnatd.x to remove all exception handlers when optimizing local raise statements. (Find_Local_Handler): Use Get_Renamed_Entity (Expand_N_Handled_Sequence_Of_Statements): If the handled sequence is marked analyzed after expanding exception handlers, do not generate redundant cleanup actions, because they have been constructed already. From-SVN: r125375 --- gcc/ada/exp_ch11.ads | 20 +++++++++++++++++++- 1 file changed, 19 insertions(+), 1 deletion(-) (limited to 'gcc/ada/exp_ch11.ads') diff --git a/gcc/ada/exp_ch11.ads b/gcc/ada/exp_ch11.ads index 354dcff..f1fae83 100644 --- a/gcc/ada/exp_ch11.ads +++ b/gcc/ada/exp_ch11.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2006, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2007, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -56,6 +56,16 @@ package Exp_Ch11 is -- is also called to expand the special exception handler built for -- accept bodies (see Exp_Ch9.Build_Accept_Body). + function Find_Local_Handler + (Ename : Entity_Id; + Nod : Node_Id) return Node_Id; + -- This function searches for a local exception handler that will handle + -- the exception named by Ename. If such a local hander exists, then the + -- corresponding N_Exception_Handler is returned. If no such handler is + -- found then Empty is returned. In order to match and return True, the + -- handler may not have a choice parameter specification. Nod is the raise + -- node that references the handler. + function Get_Local_Raise_Call_Entity return Entity_Id; -- This function is provided for use by the back end in conjunction with -- generation of Local_Raise calls when an exception raise is converted to @@ -74,4 +84,12 @@ package Exp_Ch11 is -- VMS, and the argument E is the entity for System.Aux_Dec.Non_Ada_Error. -- This is used to generate the special matching code for this exception. + procedure Possible_Local_Raise (N : Node_Id; E : Entity_Id); + -- This procedure is called whenever node N might cause the back end + -- to generate a local raise for a local Constraint/Program/Storage_Error + -- exception. It deals with generating a warning if there is no local + -- handler (and restriction No_Exception_Propagation is set), or if there + -- is a local handler marking that it has a local raise. E is the entity + -- of the corresponding exception. + end Exp_Ch11; -- cgit v1.1