1 /* Exception Handling interface routines.
2 Copyright (C) 1996, 1997, 1998, 1999, 2000, 2001
3 Free Software Foundation, Inc.
4 Contributed by Mike Stump <mrs@cygnus.com>.
6 This file is part of GCC.
8 GCC is free software; you can redistribute it and/or modify it under
9 the terms of the GNU General Public License as published by the Free
10 Software Foundation; either version 2, or (at your option) any later
13 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
14 WARRANTY; without even the implied warranty of MERCHANTABILITY or
15 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
18 You should have received a copy of the GNU General Public License
19 along with GCC; see the file COPYING. If not, write to the Free
20 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
26 #define tree union tree_node *
31 #define rtx struct rtx_def *
35 struct varray_head_tag
;
36 #define varray_type struct varray_head_tag *
40 /* Per-function EH data. Used only in except.c, but GC and others
41 manipulate pointers to the opaque type. */
44 /* Internal structure describing a region. */
47 /* Test: is exception handling turned on? */
48 extern int doing_eh
PARAMS ((int));
50 /* Start an exception handling region. All instructions emitted after
51 this point are considered to be part of the region until an
52 expand_eh_region_end variant is invoked. */
53 extern void expand_eh_region_start
PARAMS ((void));
55 /* End an exception handling region for a cleanup. HANDLER is an
56 expression to expand for the cleanup. */
57 extern void expand_eh_region_end_cleanup
PARAMS ((tree
));
59 /* End an exception handling region for a try block, and prepares
60 for subsequent calls to expand_start_catch. */
61 extern void expand_start_all_catch
PARAMS ((void));
63 /* Begin a catch clause. TYPE is an object to be matched by the
64 runtime, or a list of such objects, or null if this is a catch-all
66 extern void expand_start_catch
PARAMS ((tree
));
68 /* End a catch clause. Control will resume after the try/catch block. */
69 extern void expand_end_catch
PARAMS ((void));
71 /* End a sequence of catch handlers for a try block. */
72 extern void expand_end_all_catch
PARAMS ((void));
74 /* End an exception region for an exception type filter. ALLOWED is a
75 TREE_LIST of TREE_VALUE objects to be matched by the runtime.
76 FAILURE is a function to invoke if a mismatch occurs. */
77 extern void expand_eh_region_end_allowed
PARAMS ((tree
, tree
));
79 /* End an exception region for a must-not-throw filter. FAILURE is a
80 function to invoke if an uncaught exception propagates this far. */
81 extern void expand_eh_region_end_must_not_throw
PARAMS ((tree
));
83 /* End an exception region for a throw. No handling goes on here,
84 but it's the easiest way for the front-end to indicate what type
86 extern void expand_eh_region_end_throw
PARAMS ((tree
));
88 /* End a fixup region. Within this region the cleanups for the immediately
89 enclosing region are _not_ run. This is used for goto cleanup to avoid
90 destroying an object twice. */
91 extern void expand_eh_region_end_fixup
PARAMS ((tree
));
93 /* Begin a region that will contain entries created with
95 extern void begin_protect_partials
PARAMS ((void));
97 /* Create a new exception region and add the handler for the region
98 onto a list. These regions will be ended (and their handlers emitted)
99 when end_protect_partials is invoked. */
100 extern void add_partial_entry
PARAMS ((tree
));
102 /* End all of the pending exception regions that have handlers added with
103 add_partial_entry. */
104 extern void end_protect_partials
PARAMS ((void));
107 /* A list of labels used for exception handlers. */
108 extern rtx exception_handler_labels
;
110 /* Determine if the given INSN can throw an exception. */
111 extern bool can_throw_internal
PARAMS ((rtx
));
112 extern bool can_throw_external
PARAMS ((rtx
));
114 /* Return nonzero if nothing in this function can throw. */
115 extern bool nothrow_function_p
PARAMS ((void));
117 /* After initial rtl generation, call back to finish generating
118 exception support code. */
119 extern void finish_eh_generation
PARAMS ((void));
121 extern void init_eh
PARAMS ((void));
122 extern void init_eh_for_function
PARAMS ((void));
124 extern rtx reachable_handlers
PARAMS ((rtx
));
125 extern void maybe_remove_eh_handler
PARAMS ((rtx
));
127 extern void convert_from_eh_region_ranges
PARAMS ((void));
128 extern void convert_to_eh_region_ranges
PARAMS ((void));
129 extern void find_exception_handler_labels
PARAMS ((void));
130 extern void output_function_exception_table
PARAMS ((void));
132 extern void expand_builtin_unwind_init
PARAMS ((void));
133 extern rtx expand_builtin_eh_return_data_regno
PARAMS ((tree
));
134 extern rtx expand_builtin_extract_return_addr
PARAMS ((tree
));
135 extern void expand_builtin_init_dwarf_reg_sizes
PARAMS ((tree
));
136 extern rtx expand_builtin_frob_return_addr
PARAMS ((tree
));
137 extern rtx expand_builtin_dwarf_fp_regnum
PARAMS ((void));
138 extern void expand_builtin_eh_return
PARAMS ((tree
, tree
));
139 extern void expand_eh_return
PARAMS ((void));
141 extern rtx get_exception_pointer
PARAMS ((struct function
*));
145 extern int duplicate_eh_regions
PARAMS ((struct function
*,
146 struct inline_remap
*));
148 extern void sjlj_emit_function_exit_after
PARAMS ((rtx
));
151 /* If non-NULL, this is a function that returns an expression to be
152 executed if an unhandled exception is propagated out of a cleanup
153 region. For example, in C++, an exception thrown by a destructor
154 during stack unwinding is required to result in a call to
155 `std::terminate', so the C++ version of this function returns a
156 CALL_EXPR for `std::terminate'. */
157 extern tree (*lang_protect_cleanup_actions
) PARAMS ((void));
159 /* Return true if type A catches type B. */
160 extern int (*lang_eh_type_covers
) PARAMS ((tree a
, tree b
));
162 /* Map a type to a runtime object to match type. */
163 extern tree (*lang_eh_runtime_type
) PARAMS ((tree
));
178 /* Just because the user configured --with-sjlj-exceptions=no doesn't
179 mean that we can use call frame exceptions. Detect that the target
180 has appropriate support. */
182 #if ! (defined (EH_RETURN_DATA_REGNO) \
183 && (defined (IA64_UNWIND_INFO) \
184 || (DWARF2_UNWIND_INFO \
185 && defined (EH_RETURN_STACKADJ_RTX) \
186 && (defined (EH_RETURN_HANDLER_RTX) \
187 || defined (HAVE_eh_return)))))
188 #define MUST_USE_SJLJ_EXCEPTIONS 1
190 #define MUST_USE_SJLJ_EXCEPTIONS 0
193 #ifdef CONFIG_SJLJ_EXCEPTIONS
194 # if CONFIG_SJLJ_EXCEPTIONS == 1
195 # define USING_SJLJ_EXCEPTIONS 1
197 # if CONFIG_SJLJ_EXCEPTIONS == 0
198 # define USING_SJLJ_EXCEPTIONS 0
199 # ifndef EH_RETURN_DATA_REGNO
200 #error "EH_RETURN_DATA_REGNO required"
202 # ifndef EH_RETURN_STACKADJ_RTX
203 #error "EH_RETURN_STACKADJ_RTX required"
205 # if !defined(EH_RETURN_HANDLER_RTX) && !defined(HAVE_eh_return)
206 #error "EH_RETURN_HANDLER_RTX or eh_return required"
208 # if !defined(DWARF2_UNWIND_INFO) && !defined(IA64_UNWIND_INFO)
209 #error "{DWARF2,IA64}_UNWIND_INFO required"
213 # define USING_SJLJ_EXCEPTIONS MUST_USE_SJLJ_EXCEPTIONS