1 |
17 |
jlechner |
// -*- C++ -*- The GNU C++ exception personality routine.
|
2 |
|
|
// Copyright (C) 2001, 2002, 2003, 2006 Free Software Foundation, Inc.
|
3 |
|
|
//
|
4 |
|
|
// This file is part of GCC.
|
5 |
|
|
//
|
6 |
|
|
// GCC is free software; you can redistribute it and/or modify
|
7 |
|
|
// it under the terms of the GNU General Public License as published by
|
8 |
|
|
// the Free Software Foundation; either version 2, or (at your option)
|
9 |
|
|
// any later version.
|
10 |
|
|
//
|
11 |
|
|
// GCC is distributed in the hope that it will be useful,
|
12 |
|
|
// but WITHOUT ANY WARRANTY; without even the implied warranty of
|
13 |
|
|
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
14 |
|
|
// GNU General Public License for more details.
|
15 |
|
|
//
|
16 |
|
|
// You should have received a copy of the GNU General Public License
|
17 |
|
|
// along with GCC; see the file COPYING. If not, write to
|
18 |
|
|
// the Free Software Foundation, 51 Franklin Street, Fifth Floor,
|
19 |
|
|
// Boston, MA 02110-1301, USA.
|
20 |
|
|
|
21 |
|
|
// As a special exception, you may use this file as part of a free software
|
22 |
|
|
// library without restriction. Specifically, if other files instantiate
|
23 |
|
|
// templates or use macros or inline functions from this file, or you compile
|
24 |
|
|
// this file and link it with other files to produce an executable, this
|
25 |
|
|
// file does not by itself cause the resulting executable to be covered by
|
26 |
|
|
// the GNU General Public License. This exception does not however
|
27 |
|
|
// invalidate any other reasons why the executable file might be covered by
|
28 |
|
|
// the GNU General Public License.
|
29 |
|
|
|
30 |
|
|
|
31 |
|
|
#include <bits/c++config.h>
|
32 |
|
|
#include <cstdlib>
|
33 |
|
|
#include <exception_defines.h>
|
34 |
|
|
#include "unwind-cxx.h"
|
35 |
|
|
|
36 |
|
|
using namespace __cxxabiv1;
|
37 |
|
|
|
38 |
|
|
#ifdef __ARM_EABI_UNWINDER__
|
39 |
|
|
#define NO_SIZE_OF_ENCODED_VALUE
|
40 |
|
|
#endif
|
41 |
|
|
|
42 |
|
|
#include "unwind-pe.h"
|
43 |
|
|
|
44 |
|
|
|
45 |
|
|
struct lsda_header_info
|
46 |
|
|
{
|
47 |
|
|
_Unwind_Ptr Start;
|
48 |
|
|
_Unwind_Ptr LPStart;
|
49 |
|
|
_Unwind_Ptr ttype_base;
|
50 |
|
|
const unsigned char *TType;
|
51 |
|
|
const unsigned char *action_table;
|
52 |
|
|
unsigned char ttype_encoding;
|
53 |
|
|
unsigned char call_site_encoding;
|
54 |
|
|
};
|
55 |
|
|
|
56 |
|
|
static const unsigned char *
|
57 |
|
|
parse_lsda_header (_Unwind_Context *context, const unsigned char *p,
|
58 |
|
|
lsda_header_info *info)
|
59 |
|
|
{
|
60 |
|
|
_Unwind_Word tmp;
|
61 |
|
|
unsigned char lpstart_encoding;
|
62 |
|
|
|
63 |
|
|
info->Start = (context ? _Unwind_GetRegionStart (context) : 0);
|
64 |
|
|
|
65 |
|
|
// Find @LPStart, the base to which landing pad offsets are relative.
|
66 |
|
|
lpstart_encoding = *p++;
|
67 |
|
|
if (lpstart_encoding != DW_EH_PE_omit)
|
68 |
|
|
p = read_encoded_value (context, lpstart_encoding, p, &info->LPStart);
|
69 |
|
|
else
|
70 |
|
|
info->LPStart = info->Start;
|
71 |
|
|
|
72 |
|
|
// Find @TType, the base of the handler and exception spec type data.
|
73 |
|
|
info->ttype_encoding = *p++;
|
74 |
|
|
if (info->ttype_encoding != DW_EH_PE_omit)
|
75 |
|
|
{
|
76 |
|
|
p = read_uleb128 (p, &tmp);
|
77 |
|
|
info->TType = p + tmp;
|
78 |
|
|
}
|
79 |
|
|
else
|
80 |
|
|
info->TType = 0;
|
81 |
|
|
|
82 |
|
|
// The encoding and length of the call-site table; the action table
|
83 |
|
|
// immediately follows.
|
84 |
|
|
info->call_site_encoding = *p++;
|
85 |
|
|
p = read_uleb128 (p, &tmp);
|
86 |
|
|
info->action_table = p + tmp;
|
87 |
|
|
|
88 |
|
|
return p;
|
89 |
|
|
}
|
90 |
|
|
|
91 |
|
|
#ifdef __ARM_EABI_UNWINDER__
|
92 |
|
|
|
93 |
|
|
// Return an element from a type table.
|
94 |
|
|
|
95 |
|
|
static const std::type_info*
|
96 |
|
|
get_ttype_entry(lsda_header_info* info, _Unwind_Word i)
|
97 |
|
|
{
|
98 |
|
|
_Unwind_Ptr ptr;
|
99 |
|
|
|
100 |
|
|
ptr = (_Unwind_Ptr) (info->TType - (i * 4));
|
101 |
|
|
ptr = _Unwind_decode_target2(ptr);
|
102 |
|
|
|
103 |
|
|
return reinterpret_cast<const std::type_info *>(ptr);
|
104 |
|
|
}
|
105 |
|
|
|
106 |
|
|
// The ABI provides a routine for matching exception object types.
|
107 |
|
|
typedef _Unwind_Control_Block _throw_typet;
|
108 |
|
|
#define get_adjusted_ptr(catch_type, throw_type, thrown_ptr_p) \
|
109 |
|
|
(__cxa_type_match (throw_type, catch_type, false, thrown_ptr_p) \
|
110 |
|
|
!= ctm_failed)
|
111 |
|
|
|
112 |
|
|
// Return true if THROW_TYPE matches one if the filter types.
|
113 |
|
|
|
114 |
|
|
static bool
|
115 |
|
|
check_exception_spec(lsda_header_info* info, _throw_typet* throw_type,
|
116 |
|
|
void* thrown_ptr, _Unwind_Sword filter_value)
|
117 |
|
|
{
|
118 |
|
|
const _Unwind_Word* e = ((const _Unwind_Word*) info->TType)
|
119 |
|
|
- filter_value - 1;
|
120 |
|
|
|
121 |
|
|
while (1)
|
122 |
|
|
{
|
123 |
|
|
const std::type_info* catch_type;
|
124 |
|
|
_Unwind_Word tmp;
|
125 |
|
|
|
126 |
|
|
tmp = *e;
|
127 |
|
|
|
128 |
|
|
// Zero signals the end of the list. If we've not found
|
129 |
|
|
// a match by now, then we've failed the specification.
|
130 |
|
|
if (tmp == 0)
|
131 |
|
|
return false;
|
132 |
|
|
|
133 |
|
|
tmp = _Unwind_decode_target2((_Unwind_Word) e);
|
134 |
|
|
|
135 |
|
|
// Match a ttype entry.
|
136 |
|
|
catch_type = reinterpret_cast<const std::type_info*>(tmp);
|
137 |
|
|
|
138 |
|
|
// ??? There is currently no way to ask the RTTI code about the
|
139 |
|
|
// relationship between two types without reference to a specific
|
140 |
|
|
// object. There should be; then we wouldn't need to mess with
|
141 |
|
|
// thrown_ptr here.
|
142 |
|
|
if (get_adjusted_ptr(catch_type, throw_type, &thrown_ptr))
|
143 |
|
|
return true;
|
144 |
|
|
|
145 |
|
|
// Advance to the next entry.
|
146 |
|
|
e++;
|
147 |
|
|
}
|
148 |
|
|
}
|
149 |
|
|
|
150 |
|
|
|
151 |
|
|
// Save stage1 handler information in the exception object
|
152 |
|
|
|
153 |
|
|
static inline void
|
154 |
|
|
save_caught_exception(struct _Unwind_Exception* ue_header,
|
155 |
|
|
struct _Unwind_Context* context,
|
156 |
|
|
void* thrown_ptr,
|
157 |
|
|
int handler_switch_value,
|
158 |
|
|
const unsigned char* language_specific_data,
|
159 |
|
|
_Unwind_Ptr landing_pad,
|
160 |
|
|
const unsigned char* action_record
|
161 |
|
|
__attribute__((__unused__)))
|
162 |
|
|
{
|
163 |
|
|
ue_header->barrier_cache.sp = _Unwind_GetGR(context, 13);
|
164 |
|
|
ue_header->barrier_cache.bitpattern[0] = (_uw) thrown_ptr;
|
165 |
|
|
ue_header->barrier_cache.bitpattern[1]
|
166 |
|
|
= (_uw) handler_switch_value;
|
167 |
|
|
ue_header->barrier_cache.bitpattern[2]
|
168 |
|
|
= (_uw) language_specific_data;
|
169 |
|
|
ue_header->barrier_cache.bitpattern[3] = (_uw) landing_pad;
|
170 |
|
|
}
|
171 |
|
|
|
172 |
|
|
|
173 |
|
|
// Restore the catch handler data saved during phase1.
|
174 |
|
|
|
175 |
|
|
static inline void
|
176 |
|
|
restore_caught_exception(struct _Unwind_Exception* ue_header,
|
177 |
|
|
int& handler_switch_value,
|
178 |
|
|
const unsigned char*& language_specific_data,
|
179 |
|
|
_Unwind_Ptr& landing_pad)
|
180 |
|
|
{
|
181 |
|
|
handler_switch_value = (int) ue_header->barrier_cache.bitpattern[1];
|
182 |
|
|
language_specific_data =
|
183 |
|
|
(const unsigned char*) ue_header->barrier_cache.bitpattern[2];
|
184 |
|
|
landing_pad = (_Unwind_Ptr) ue_header->barrier_cache.bitpattern[3];
|
185 |
|
|
}
|
186 |
|
|
|
187 |
|
|
#define CONTINUE_UNWINDING \
|
188 |
|
|
do \
|
189 |
|
|
{ \
|
190 |
|
|
if (__gnu_unwind_frame(ue_header, context) != _URC_OK) \
|
191 |
|
|
return _URC_FAILURE; \
|
192 |
|
|
return _URC_CONTINUE_UNWIND; \
|
193 |
|
|
} \
|
194 |
|
|
while (0)
|
195 |
|
|
|
196 |
|
|
#else
|
197 |
|
|
typedef const std::type_info _throw_typet;
|
198 |
|
|
|
199 |
|
|
|
200 |
|
|
// Return an element from a type table.
|
201 |
|
|
|
202 |
|
|
static const std::type_info *
|
203 |
|
|
get_ttype_entry (lsda_header_info *info, _Unwind_Word i)
|
204 |
|
|
{
|
205 |
|
|
_Unwind_Ptr ptr;
|
206 |
|
|
|
207 |
|
|
i *= size_of_encoded_value (info->ttype_encoding);
|
208 |
|
|
read_encoded_value_with_base (info->ttype_encoding, info->ttype_base,
|
209 |
|
|
info->TType - i, &ptr);
|
210 |
|
|
|
211 |
|
|
return reinterpret_cast<const std::type_info *>(ptr);
|
212 |
|
|
}
|
213 |
|
|
|
214 |
|
|
// Given the thrown type THROW_TYPE, pointer to a variable containing a
|
215 |
|
|
// pointer to the exception object THROWN_PTR_P and a type CATCH_TYPE to
|
216 |
|
|
// compare against, return whether or not there is a match and if so,
|
217 |
|
|
// update *THROWN_PTR_P.
|
218 |
|
|
|
219 |
|
|
static bool
|
220 |
|
|
get_adjusted_ptr (const std::type_info *catch_type,
|
221 |
|
|
const std::type_info *throw_type,
|
222 |
|
|
void **thrown_ptr_p)
|
223 |
|
|
{
|
224 |
|
|
void *thrown_ptr = *thrown_ptr_p;
|
225 |
|
|
|
226 |
|
|
// Pointer types need to adjust the actual pointer, not
|
227 |
|
|
// the pointer to pointer that is the exception object.
|
228 |
|
|
// This also has the effect of passing pointer types
|
229 |
|
|
// "by value" through the __cxa_begin_catch return value.
|
230 |
|
|
if (throw_type->__is_pointer_p ())
|
231 |
|
|
thrown_ptr = *(void **) thrown_ptr;
|
232 |
|
|
|
233 |
|
|
if (catch_type->__do_catch (throw_type, &thrown_ptr, 1))
|
234 |
|
|
{
|
235 |
|
|
*thrown_ptr_p = thrown_ptr;
|
236 |
|
|
return true;
|
237 |
|
|
}
|
238 |
|
|
|
239 |
|
|
return false;
|
240 |
|
|
}
|
241 |
|
|
|
242 |
|
|
// Return true if THROW_TYPE matches one if the filter types.
|
243 |
|
|
|
244 |
|
|
static bool
|
245 |
|
|
check_exception_spec(lsda_header_info* info, _throw_typet* throw_type,
|
246 |
|
|
void* thrown_ptr, _Unwind_Sword filter_value)
|
247 |
|
|
{
|
248 |
|
|
const unsigned char *e = info->TType - filter_value - 1;
|
249 |
|
|
|
250 |
|
|
while (1)
|
251 |
|
|
{
|
252 |
|
|
const std::type_info *catch_type;
|
253 |
|
|
_Unwind_Word tmp;
|
254 |
|
|
|
255 |
|
|
e = read_uleb128 (e, &tmp);
|
256 |
|
|
|
257 |
|
|
// Zero signals the end of the list. If we've not found
|
258 |
|
|
// a match by now, then we've failed the specification.
|
259 |
|
|
if (tmp == 0)
|
260 |
|
|
return false;
|
261 |
|
|
|
262 |
|
|
// Match a ttype entry.
|
263 |
|
|
catch_type = get_ttype_entry (info, tmp);
|
264 |
|
|
|
265 |
|
|
// ??? There is currently no way to ask the RTTI code about the
|
266 |
|
|
// relationship between two types without reference to a specific
|
267 |
|
|
// object. There should be; then we wouldn't need to mess with
|
268 |
|
|
// thrown_ptr here.
|
269 |
|
|
if (get_adjusted_ptr (catch_type, throw_type, &thrown_ptr))
|
270 |
|
|
return true;
|
271 |
|
|
}
|
272 |
|
|
}
|
273 |
|
|
|
274 |
|
|
|
275 |
|
|
// Save stage1 handler information in the exception object
|
276 |
|
|
|
277 |
|
|
static inline void
|
278 |
|
|
save_caught_exception(struct _Unwind_Exception* ue_header,
|
279 |
|
|
struct _Unwind_Context* context
|
280 |
|
|
__attribute__((__unused__)),
|
281 |
|
|
void* thrown_ptr,
|
282 |
|
|
int handler_switch_value,
|
283 |
|
|
const unsigned char* language_specific_data,
|
284 |
|
|
_Unwind_Ptr landing_pad __attribute__((__unused__)),
|
285 |
|
|
const unsigned char* action_record)
|
286 |
|
|
{
|
287 |
|
|
__cxa_exception* xh = __get_exception_header_from_ue(ue_header);
|
288 |
|
|
|
289 |
|
|
xh->handlerSwitchValue = handler_switch_value;
|
290 |
|
|
xh->actionRecord = action_record;
|
291 |
|
|
xh->languageSpecificData = language_specific_data;
|
292 |
|
|
xh->adjustedPtr = thrown_ptr;
|
293 |
|
|
|
294 |
|
|
// ??? Completely unknown what this field is supposed to be for.
|
295 |
|
|
// ??? Need to cache TType encoding base for call_unexpected.
|
296 |
|
|
xh->catchTemp = landing_pad;
|
297 |
|
|
}
|
298 |
|
|
|
299 |
|
|
|
300 |
|
|
// Restore the catch handler information saved during phase1.
|
301 |
|
|
|
302 |
|
|
static inline void
|
303 |
|
|
restore_caught_exception(struct _Unwind_Exception* ue_header,
|
304 |
|
|
int& handler_switch_value,
|
305 |
|
|
const unsigned char*& language_specific_data,
|
306 |
|
|
_Unwind_Ptr& landing_pad)
|
307 |
|
|
{
|
308 |
|
|
__cxa_exception* xh = __get_exception_header_from_ue(ue_header);
|
309 |
|
|
handler_switch_value = xh->handlerSwitchValue;
|
310 |
|
|
language_specific_data = xh->languageSpecificData;
|
311 |
|
|
landing_pad = (_Unwind_Ptr) xh->catchTemp;
|
312 |
|
|
}
|
313 |
|
|
|
314 |
|
|
#define CONTINUE_UNWINDING return _URC_CONTINUE_UNWIND
|
315 |
|
|
|
316 |
|
|
#endif // !__ARM_EABI_UNWINDER__
|
317 |
|
|
|
318 |
|
|
// Return true if the filter spec is empty, ie throw().
|
319 |
|
|
|
320 |
|
|
static bool
|
321 |
|
|
empty_exception_spec (lsda_header_info *info, _Unwind_Sword filter_value)
|
322 |
|
|
{
|
323 |
|
|
const unsigned char *e = info->TType - filter_value - 1;
|
324 |
|
|
_Unwind_Word tmp;
|
325 |
|
|
|
326 |
|
|
e = read_uleb128 (e, &tmp);
|
327 |
|
|
return tmp == 0;
|
328 |
|
|
}
|
329 |
|
|
|
330 |
|
|
// Using a different personality function name causes link failures
|
331 |
|
|
// when trying to mix code using different exception handling models.
|
332 |
|
|
#ifdef _GLIBCXX_SJLJ_EXCEPTIONS
|
333 |
|
|
#define PERSONALITY_FUNCTION __gxx_personality_sj0
|
334 |
|
|
#define __builtin_eh_return_data_regno(x) x
|
335 |
|
|
#else
|
336 |
|
|
#define PERSONALITY_FUNCTION __gxx_personality_v0
|
337 |
|
|
#endif
|
338 |
|
|
|
339 |
|
|
extern "C" _Unwind_Reason_Code
|
340 |
|
|
#ifdef __ARM_EABI_UNWINDER__
|
341 |
|
|
PERSONALITY_FUNCTION (_Unwind_State state,
|
342 |
|
|
struct _Unwind_Exception* ue_header,
|
343 |
|
|
struct _Unwind_Context* context)
|
344 |
|
|
#else
|
345 |
|
|
PERSONALITY_FUNCTION (int version,
|
346 |
|
|
_Unwind_Action actions,
|
347 |
|
|
_Unwind_Exception_Class exception_class,
|
348 |
|
|
struct _Unwind_Exception *ue_header,
|
349 |
|
|
struct _Unwind_Context *context)
|
350 |
|
|
#endif
|
351 |
|
|
{
|
352 |
|
|
enum found_handler_type
|
353 |
|
|
{
|
354 |
|
|
found_nothing,
|
355 |
|
|
found_terminate,
|
356 |
|
|
found_cleanup,
|
357 |
|
|
found_handler
|
358 |
|
|
} found_type;
|
359 |
|
|
|
360 |
|
|
lsda_header_info info;
|
361 |
|
|
const unsigned char *language_specific_data;
|
362 |
|
|
const unsigned char *action_record;
|
363 |
|
|
const unsigned char *p;
|
364 |
|
|
_Unwind_Ptr landing_pad, ip;
|
365 |
|
|
int handler_switch_value;
|
366 |
|
|
void* thrown_ptr = ue_header + 1;
|
367 |
|
|
bool foreign_exception;
|
368 |
|
|
|
369 |
|
|
#ifdef __ARM_EABI_UNWINDER__
|
370 |
|
|
_Unwind_Action actions;
|
371 |
|
|
|
372 |
|
|
switch (state & _US_ACTION_MASK)
|
373 |
|
|
{
|
374 |
|
|
case _US_VIRTUAL_UNWIND_FRAME:
|
375 |
|
|
actions = _UA_SEARCH_PHASE;
|
376 |
|
|
break;
|
377 |
|
|
|
378 |
|
|
case _US_UNWIND_FRAME_STARTING:
|
379 |
|
|
actions = _UA_CLEANUP_PHASE;
|
380 |
|
|
if (!(state & _US_FORCE_UNWIND)
|
381 |
|
|
&& ue_header->barrier_cache.sp == _Unwind_GetGR(context, 13))
|
382 |
|
|
actions |= _UA_HANDLER_FRAME;
|
383 |
|
|
break;
|
384 |
|
|
|
385 |
|
|
case _US_UNWIND_FRAME_RESUME:
|
386 |
|
|
CONTINUE_UNWINDING;
|
387 |
|
|
break;
|
388 |
|
|
|
389 |
|
|
default:
|
390 |
|
|
std::abort();
|
391 |
|
|
}
|
392 |
|
|
actions |= state & _US_FORCE_UNWIND;
|
393 |
|
|
|
394 |
|
|
// We don't know which runtime we're working with, so can't check this.
|
395 |
|
|
// However the ABI routines hide this from us, and we don't actually need
|
396 |
|
|
// to know.
|
397 |
|
|
foreign_exception = false;
|
398 |
|
|
|
399 |
|
|
// The dwarf unwinder assumes the context structure holds things like the
|
400 |
|
|
// function and LSDA pointers. The ARM implementation caches these in
|
401 |
|
|
// the exception header (UCB). To avoid rewriting everything we make the
|
402 |
|
|
// virtual IP register point at the UCB.
|
403 |
|
|
ip = (_Unwind_Ptr) ue_header;
|
404 |
|
|
_Unwind_SetGR(context, 12, ip);
|
405 |
|
|
#else
|
406 |
|
|
__cxa_exception* xh = __get_exception_header_from_ue(ue_header);
|
407 |
|
|
|
408 |
|
|
// Interface version check.
|
409 |
|
|
if (version != 1)
|
410 |
|
|
return _URC_FATAL_PHASE1_ERROR;
|
411 |
|
|
foreign_exception = !__is_gxx_exception_class(exception_class);
|
412 |
|
|
#endif
|
413 |
|
|
|
414 |
|
|
// Shortcut for phase 2 found handler for domestic exception.
|
415 |
|
|
if (actions == (_UA_CLEANUP_PHASE | _UA_HANDLER_FRAME)
|
416 |
|
|
&& !foreign_exception)
|
417 |
|
|
{
|
418 |
|
|
restore_caught_exception(ue_header, handler_switch_value,
|
419 |
|
|
language_specific_data, landing_pad);
|
420 |
|
|
found_type = (landing_pad == 0 ? found_terminate : found_handler);
|
421 |
|
|
goto install_context;
|
422 |
|
|
}
|
423 |
|
|
|
424 |
|
|
language_specific_data = (const unsigned char *)
|
425 |
|
|
_Unwind_GetLanguageSpecificData (context);
|
426 |
|
|
|
427 |
|
|
// If no LSDA, then there are no handlers or cleanups.
|
428 |
|
|
if (! language_specific_data)
|
429 |
|
|
CONTINUE_UNWINDING;
|
430 |
|
|
|
431 |
|
|
// Parse the LSDA header.
|
432 |
|
|
p = parse_lsda_header (context, language_specific_data, &info);
|
433 |
|
|
info.ttype_base = base_of_encoded_value (info.ttype_encoding, context);
|
434 |
|
|
ip = _Unwind_GetIP (context) - 1;
|
435 |
|
|
landing_pad = 0;
|
436 |
|
|
action_record = 0;
|
437 |
|
|
handler_switch_value = 0;
|
438 |
|
|
|
439 |
|
|
#ifdef _GLIBCXX_SJLJ_EXCEPTIONS
|
440 |
|
|
// The given "IP" is an index into the call-site table, with two
|
441 |
|
|
// exceptions -- -1 means no-action, and 0 means terminate. But
|
442 |
|
|
// since we're using uleb128 values, we've not got random access
|
443 |
|
|
// to the array.
|
444 |
|
|
if ((int) ip < 0)
|
445 |
|
|
return _URC_CONTINUE_UNWIND;
|
446 |
|
|
else if (ip == 0)
|
447 |
|
|
{
|
448 |
|
|
// Fall through to set found_terminate.
|
449 |
|
|
}
|
450 |
|
|
else
|
451 |
|
|
{
|
452 |
|
|
_Unwind_Word cs_lp, cs_action;
|
453 |
|
|
do
|
454 |
|
|
{
|
455 |
|
|
p = read_uleb128 (p, &cs_lp);
|
456 |
|
|
p = read_uleb128 (p, &cs_action);
|
457 |
|
|
}
|
458 |
|
|
while (--ip);
|
459 |
|
|
|
460 |
|
|
// Can never have null landing pad for sjlj -- that would have
|
461 |
|
|
// been indicated by a -1 call site index.
|
462 |
|
|
landing_pad = cs_lp + 1;
|
463 |
|
|
if (cs_action)
|
464 |
|
|
action_record = info.action_table + cs_action - 1;
|
465 |
|
|
goto found_something;
|
466 |
|
|
}
|
467 |
|
|
#else
|
468 |
|
|
// Search the call-site table for the action associated with this IP.
|
469 |
|
|
while (p < info.action_table)
|
470 |
|
|
{
|
471 |
|
|
_Unwind_Ptr cs_start, cs_len, cs_lp;
|
472 |
|
|
_Unwind_Word cs_action;
|
473 |
|
|
|
474 |
|
|
// Note that all call-site encodings are "absolute" displacements.
|
475 |
|
|
p = read_encoded_value (0, info.call_site_encoding, p, &cs_start);
|
476 |
|
|
p = read_encoded_value (0, info.call_site_encoding, p, &cs_len);
|
477 |
|
|
p = read_encoded_value (0, info.call_site_encoding, p, &cs_lp);
|
478 |
|
|
p = read_uleb128 (p, &cs_action);
|
479 |
|
|
|
480 |
|
|
// The table is sorted, so if we've passed the ip, stop.
|
481 |
|
|
if (ip < info.Start + cs_start)
|
482 |
|
|
p = info.action_table;
|
483 |
|
|
else if (ip < info.Start + cs_start + cs_len)
|
484 |
|
|
{
|
485 |
|
|
if (cs_lp)
|
486 |
|
|
landing_pad = info.LPStart + cs_lp;
|
487 |
|
|
if (cs_action)
|
488 |
|
|
action_record = info.action_table + cs_action - 1;
|
489 |
|
|
goto found_something;
|
490 |
|
|
}
|
491 |
|
|
}
|
492 |
|
|
#endif // _GLIBCXX_SJLJ_EXCEPTIONS
|
493 |
|
|
|
494 |
|
|
// If ip is not present in the table, call terminate. This is for
|
495 |
|
|
// a destructor inside a cleanup, or a library routine the compiler
|
496 |
|
|
// was not expecting to throw.
|
497 |
|
|
found_type = found_terminate;
|
498 |
|
|
goto do_something;
|
499 |
|
|
|
500 |
|
|
found_something:
|
501 |
|
|
if (landing_pad == 0)
|
502 |
|
|
{
|
503 |
|
|
// If ip is present, and has a null landing pad, there are
|
504 |
|
|
// no cleanups or handlers to be run.
|
505 |
|
|
found_type = found_nothing;
|
506 |
|
|
}
|
507 |
|
|
else if (action_record == 0)
|
508 |
|
|
{
|
509 |
|
|
// If ip is present, has a non-null landing pad, and a null
|
510 |
|
|
// action table offset, then there are only cleanups present.
|
511 |
|
|
// Cleanups use a zero switch value, as set above.
|
512 |
|
|
found_type = found_cleanup;
|
513 |
|
|
}
|
514 |
|
|
else
|
515 |
|
|
{
|
516 |
|
|
// Otherwise we have a catch handler or exception specification.
|
517 |
|
|
|
518 |
|
|
_Unwind_Sword ar_filter, ar_disp;
|
519 |
|
|
const std::type_info* catch_type;
|
520 |
|
|
_throw_typet* throw_type;
|
521 |
|
|
bool saw_cleanup = false;
|
522 |
|
|
bool saw_handler = false;
|
523 |
|
|
|
524 |
|
|
// During forced unwinding, we only run cleanups. With a foreign
|
525 |
|
|
// exception class, there's no exception type.
|
526 |
|
|
// ??? What to do about GNU Java and GNU Ada exceptions.
|
527 |
|
|
|
528 |
|
|
if ((actions & _UA_FORCE_UNWIND)
|
529 |
|
|
|| foreign_exception)
|
530 |
|
|
throw_type = 0;
|
531 |
|
|
else
|
532 |
|
|
#ifdef __ARM_EABI_UNWINDER__
|
533 |
|
|
throw_type = ue_header;
|
534 |
|
|
#else
|
535 |
|
|
throw_type = xh->exceptionType;
|
536 |
|
|
#endif
|
537 |
|
|
|
538 |
|
|
while (1)
|
539 |
|
|
{
|
540 |
|
|
p = action_record;
|
541 |
|
|
p = read_sleb128 (p, &ar_filter);
|
542 |
|
|
read_sleb128 (p, &ar_disp);
|
543 |
|
|
|
544 |
|
|
if (ar_filter == 0)
|
545 |
|
|
{
|
546 |
|
|
// Zero filter values are cleanups.
|
547 |
|
|
saw_cleanup = true;
|
548 |
|
|
}
|
549 |
|
|
else if (ar_filter > 0)
|
550 |
|
|
{
|
551 |
|
|
// Positive filter values are handlers.
|
552 |
|
|
catch_type = get_ttype_entry (&info, ar_filter);
|
553 |
|
|
|
554 |
|
|
// Null catch type is a catch-all handler; we can catch foreign
|
555 |
|
|
// exceptions with this. Otherwise we must match types.
|
556 |
|
|
if (! catch_type
|
557 |
|
|
|| (throw_type
|
558 |
|
|
&& get_adjusted_ptr (catch_type, throw_type,
|
559 |
|
|
&thrown_ptr)))
|
560 |
|
|
{
|
561 |
|
|
saw_handler = true;
|
562 |
|
|
break;
|
563 |
|
|
}
|
564 |
|
|
}
|
565 |
|
|
else
|
566 |
|
|
{
|
567 |
|
|
// Negative filter values are exception specifications.
|
568 |
|
|
// ??? How do foreign exceptions fit in? As far as I can
|
569 |
|
|
// see we can't match because there's no __cxa_exception
|
570 |
|
|
// object to stuff bits in for __cxa_call_unexpected to use.
|
571 |
|
|
// Allow them iff the exception spec is non-empty. I.e.
|
572 |
|
|
// a throw() specification results in __unexpected.
|
573 |
|
|
if (throw_type
|
574 |
|
|
? ! check_exception_spec (&info, throw_type, thrown_ptr,
|
575 |
|
|
ar_filter)
|
576 |
|
|
: empty_exception_spec (&info, ar_filter))
|
577 |
|
|
{
|
578 |
|
|
saw_handler = true;
|
579 |
|
|
break;
|
580 |
|
|
}
|
581 |
|
|
}
|
582 |
|
|
|
583 |
|
|
if (ar_disp == 0)
|
584 |
|
|
break;
|
585 |
|
|
action_record = p + ar_disp;
|
586 |
|
|
}
|
587 |
|
|
|
588 |
|
|
if (saw_handler)
|
589 |
|
|
{
|
590 |
|
|
handler_switch_value = ar_filter;
|
591 |
|
|
found_type = found_handler;
|
592 |
|
|
}
|
593 |
|
|
else
|
594 |
|
|
found_type = (saw_cleanup ? found_cleanup : found_nothing);
|
595 |
|
|
}
|
596 |
|
|
|
597 |
|
|
do_something:
|
598 |
|
|
if (found_type == found_nothing)
|
599 |
|
|
CONTINUE_UNWINDING;
|
600 |
|
|
|
601 |
|
|
if (actions & _UA_SEARCH_PHASE)
|
602 |
|
|
{
|
603 |
|
|
if (found_type == found_cleanup)
|
604 |
|
|
CONTINUE_UNWINDING;
|
605 |
|
|
|
606 |
|
|
// For domestic exceptions, we cache data from phase 1 for phase 2.
|
607 |
|
|
if (!foreign_exception)
|
608 |
|
|
{
|
609 |
|
|
save_caught_exception(ue_header, context, thrown_ptr,
|
610 |
|
|
handler_switch_value, language_specific_data,
|
611 |
|
|
landing_pad, action_record);
|
612 |
|
|
}
|
613 |
|
|
return _URC_HANDLER_FOUND;
|
614 |
|
|
}
|
615 |
|
|
|
616 |
|
|
install_context:
|
617 |
|
|
|
618 |
|
|
// We can't use any of the cxa routines with foreign exceptions,
|
619 |
|
|
// because they all expect ue_header to be a struct __cxa_exception.
|
620 |
|
|
// So in that case, call terminate or unexpected directly.
|
621 |
|
|
if ((actions & _UA_FORCE_UNWIND)
|
622 |
|
|
|| foreign_exception)
|
623 |
|
|
{
|
624 |
|
|
if (found_type == found_terminate)
|
625 |
|
|
std::terminate ();
|
626 |
|
|
else if (handler_switch_value < 0)
|
627 |
|
|
{
|
628 |
|
|
try
|
629 |
|
|
{ std::unexpected (); }
|
630 |
|
|
catch(...)
|
631 |
|
|
{ std::terminate (); }
|
632 |
|
|
}
|
633 |
|
|
}
|
634 |
|
|
else
|
635 |
|
|
{
|
636 |
|
|
if (found_type == found_terminate)
|
637 |
|
|
__cxa_call_terminate(ue_header);
|
638 |
|
|
|
639 |
|
|
// Cache the TType base value for __cxa_call_unexpected, as we won't
|
640 |
|
|
// have an _Unwind_Context then.
|
641 |
|
|
if (handler_switch_value < 0)
|
642 |
|
|
{
|
643 |
|
|
parse_lsda_header (context, language_specific_data, &info);
|
644 |
|
|
|
645 |
|
|
#ifdef __ARM_EABI_UNWINDER__
|
646 |
|
|
const _Unwind_Word* e;
|
647 |
|
|
_Unwind_Word n;
|
648 |
|
|
|
649 |
|
|
e = ((const _Unwind_Word*) info.TType) - handler_switch_value - 1;
|
650 |
|
|
// Count the number of rtti objects.
|
651 |
|
|
n = 0;
|
652 |
|
|
while (e[n] != 0)
|
653 |
|
|
n++;
|
654 |
|
|
|
655 |
|
|
// Count.
|
656 |
|
|
ue_header->barrier_cache.bitpattern[1] = n;
|
657 |
|
|
// Base (obsolete)
|
658 |
|
|
ue_header->barrier_cache.bitpattern[2] = 0;
|
659 |
|
|
// Stride.
|
660 |
|
|
ue_header->barrier_cache.bitpattern[3] = 4;
|
661 |
|
|
// List head.
|
662 |
|
|
ue_header->barrier_cache.bitpattern[4] = (_Unwind_Word) e;
|
663 |
|
|
#else
|
664 |
|
|
xh->catchTemp = base_of_encoded_value (info.ttype_encoding, context);
|
665 |
|
|
#endif
|
666 |
|
|
}
|
667 |
|
|
}
|
668 |
|
|
|
669 |
|
|
/* For targets with pointers smaller than the word size, we must extend the
|
670 |
|
|
pointer, and this extension is target dependent. */
|
671 |
|
|
_Unwind_SetGR (context, __builtin_eh_return_data_regno (0),
|
672 |
|
|
__builtin_extend_pointer (ue_header));
|
673 |
|
|
_Unwind_SetGR (context, __builtin_eh_return_data_regno (1),
|
674 |
|
|
handler_switch_value);
|
675 |
|
|
_Unwind_SetIP (context, landing_pad);
|
676 |
|
|
#ifdef __ARM_EABI_UNWINDER__
|
677 |
|
|
if (found_type == found_cleanup)
|
678 |
|
|
__cxa_begin_cleanup(ue_header);
|
679 |
|
|
#endif
|
680 |
|
|
return _URC_INSTALL_CONTEXT;
|
681 |
|
|
}
|
682 |
|
|
|
683 |
|
|
/* The ARM EABI implementation of __cxa_call_unexpected is in a different
|
684 |
|
|
file so that the personality routine san be used standalone. The generic
|
685 |
|
|
routine sahred datastructures with the PR so it is most convenient to
|
686 |
|
|
implement it here. */
|
687 |
|
|
#ifndef __ARM_EABI_UNWINDER__
|
688 |
|
|
extern "C" void
|
689 |
|
|
__cxa_call_unexpected (void *exc_obj_in)
|
690 |
|
|
{
|
691 |
|
|
_Unwind_Exception *exc_obj
|
692 |
|
|
= reinterpret_cast <_Unwind_Exception *>(exc_obj_in);
|
693 |
|
|
|
694 |
|
|
__cxa_begin_catch (exc_obj);
|
695 |
|
|
|
696 |
|
|
// This function is a handler for our exception argument. If we exit
|
697 |
|
|
// by throwing a different exception, we'll need the original cleaned up.
|
698 |
|
|
struct end_catch_protect
|
699 |
|
|
{
|
700 |
|
|
end_catch_protect() { }
|
701 |
|
|
~end_catch_protect() { __cxa_end_catch(); }
|
702 |
|
|
} end_catch_protect_obj;
|
703 |
|
|
|
704 |
|
|
lsda_header_info info;
|
705 |
|
|
__cxa_exception *xh = __get_exception_header_from_ue (exc_obj);
|
706 |
|
|
const unsigned char *xh_lsda;
|
707 |
|
|
_Unwind_Sword xh_switch_value;
|
708 |
|
|
std::terminate_handler xh_terminate_handler;
|
709 |
|
|
|
710 |
|
|
// If the unexpectedHandler rethrows the exception (e.g. to categorize it),
|
711 |
|
|
// it will clobber data about the current handler. So copy the data out now.
|
712 |
|
|
xh_lsda = xh->languageSpecificData;
|
713 |
|
|
xh_switch_value = xh->handlerSwitchValue;
|
714 |
|
|
xh_terminate_handler = xh->terminateHandler;
|
715 |
|
|
info.ttype_base = (_Unwind_Ptr) xh->catchTemp;
|
716 |
|
|
|
717 |
|
|
try
|
718 |
|
|
{ __unexpected (xh->unexpectedHandler); }
|
719 |
|
|
catch(...)
|
720 |
|
|
{
|
721 |
|
|
// Get the exception thrown from unexpected.
|
722 |
|
|
|
723 |
|
|
__cxa_eh_globals *globals = __cxa_get_globals_fast ();
|
724 |
|
|
__cxa_exception *new_xh = globals->caughtExceptions;
|
725 |
|
|
void *new_ptr = new_xh + 1;
|
726 |
|
|
|
727 |
|
|
// We don't quite have enough stuff cached; re-parse the LSDA.
|
728 |
|
|
parse_lsda_header (0, xh_lsda, &info);
|
729 |
|
|
|
730 |
|
|
// If this new exception meets the exception spec, allow it.
|
731 |
|
|
if (check_exception_spec (&info, new_xh->exceptionType,
|
732 |
|
|
new_ptr, xh_switch_value))
|
733 |
|
|
__throw_exception_again;
|
734 |
|
|
|
735 |
|
|
// If the exception spec allows std::bad_exception, throw that.
|
736 |
|
|
// We don't have a thrown object to compare against, but since
|
737 |
|
|
// bad_exception doesn't have virtual bases, that's OK; just pass 0.
|
738 |
|
|
#ifdef __EXCEPTIONS
|
739 |
|
|
const std::type_info &bad_exc = typeid (std::bad_exception);
|
740 |
|
|
if (check_exception_spec (&info, &bad_exc, 0, xh_switch_value))
|
741 |
|
|
throw std::bad_exception();
|
742 |
|
|
#endif
|
743 |
|
|
|
744 |
|
|
// Otherwise, die.
|
745 |
|
|
__terminate (xh_terminate_handler);
|
746 |
|
|
}
|
747 |
|
|
}
|
748 |
|
|
#endif
|