Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
emscripten-core
GitHub Repository: emscripten-core/emscripten
Path: blob/main/system/lib/libcxxabi/src/cxa_exception.cpp
6173 views
1
//===----------------------------------------------------------------------===//
2
//
3
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4
// See https://llvm.org/LICENSE.txt for license information.
5
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6
//
7
//
8
// This file implements the "Exception Handling APIs"
9
// https://itanium-cxx-abi.github.io/cxx-abi/abi-eh.html
10
//
11
//===----------------------------------------------------------------------===//
12
13
#include "cxxabi.h"
14
15
#include <exception> // for std::terminate
16
#include <string.h> // for memset
17
#include "cxa_exception.h"
18
#include "cxa_handlers.h"
19
#include "fallback_malloc.h"
20
#include "include/atomic_support.h" // from libc++
21
22
#if __has_feature(address_sanitizer)
23
#include <sanitizer/asan_interface.h>
24
#endif
25
26
// +---------------------------+-----------------------------+---------------+
27
// | __cxa_exception | _Unwind_Exception CLNGC++\0 | thrown object |
28
// +---------------------------+-----------------------------+---------------+
29
// ^
30
// |
31
// +-------------------------------------------------------+
32
// |
33
// +---------------------------+-----------------------------+
34
// | __cxa_dependent_exception | _Unwind_Exception CLNGC++\1 |
35
// +---------------------------+-----------------------------+
36
37
namespace __cxxabiv1 {
38
39
// Utility routines
40
static
41
inline
42
__cxa_exception*
43
cxa_exception_from_thrown_object(void* thrown_object)
44
{
45
return static_cast<__cxa_exception*>(thrown_object) - 1;
46
}
47
48
// Note: This is never called when exception_header is masquerading as a
49
// __cxa_dependent_exception.
50
static
51
inline
52
void*
53
thrown_object_from_cxa_exception(__cxa_exception* exception_header)
54
{
55
return static_cast<void*>(exception_header + 1);
56
}
57
58
// Get the exception object from the unwind pointer.
59
// Relies on the structure layout, where the unwind pointer is right in
60
// front of the user's exception object
61
static
62
inline
63
__cxa_exception*
64
cxa_exception_from_exception_unwind_exception(_Unwind_Exception* unwind_exception)
65
{
66
return cxa_exception_from_thrown_object(unwind_exception + 1 );
67
}
68
69
// Round s up to next multiple of a.
70
static inline
71
size_t aligned_allocation_size(size_t s, size_t a) {
72
return (s + a - 1) & ~(a - 1);
73
}
74
75
static inline
76
size_t cxa_exception_size_from_exception_thrown_size(size_t size) {
77
return aligned_allocation_size(size + sizeof (__cxa_exception),
78
alignof(__cxa_exception));
79
}
80
81
void __setExceptionClass(_Unwind_Exception* unwind_exception, uint64_t newValue) {
82
::memcpy(&unwind_exception->exception_class, &newValue, sizeof(newValue));
83
}
84
85
86
static void setOurExceptionClass(_Unwind_Exception* unwind_exception) {
87
__setExceptionClass(unwind_exception, kOurExceptionClass);
88
}
89
90
static void setDependentExceptionClass(_Unwind_Exception* unwind_exception) {
91
__setExceptionClass(unwind_exception, kOurDependentExceptionClass);
92
}
93
94
// Is it one of ours?
95
uint64_t __getExceptionClass(const _Unwind_Exception* unwind_exception) {
96
// On x86 and some ARM unwinders, unwind_exception->exception_class is
97
// a uint64_t. On other ARM unwinders, it is a char[8].
98
// See: http://infocenter.arm.com/help/topic/com.arm.doc.ihi0038b/IHI0038B_ehabi.pdf
99
// So we just copy it into a uint64_t to be sure.
100
uint64_t exClass;
101
::memcpy(&exClass, &unwind_exception->exception_class, sizeof(exClass));
102
return exClass;
103
}
104
105
bool __isOurExceptionClass(const _Unwind_Exception* unwind_exception) {
106
return (__getExceptionClass(unwind_exception) & get_vendor_and_language) ==
107
(kOurExceptionClass & get_vendor_and_language);
108
}
109
110
static bool isDependentException(_Unwind_Exception* unwind_exception) {
111
return (__getExceptionClass(unwind_exception) & 0xFF) == 0x01;
112
}
113
114
// This does not need to be atomic
115
static inline int incrementHandlerCount(__cxa_exception *exception) {
116
return ++exception->handlerCount;
117
}
118
119
// This does not need to be atomic
120
static inline int decrementHandlerCount(__cxa_exception *exception) {
121
return --exception->handlerCount;
122
}
123
124
/*
125
If reason isn't _URC_FOREIGN_EXCEPTION_CAUGHT, then the terminateHandler
126
stored in exc is called. Otherwise the exceptionDestructor stored in
127
exc is called, and then the memory for the exception is deallocated.
128
129
This is never called for a __cxa_dependent_exception.
130
*/
131
static
132
void
133
exception_cleanup_func(_Unwind_Reason_Code reason, _Unwind_Exception* unwind_exception)
134
{
135
__cxa_exception* exception_header = cxa_exception_from_exception_unwind_exception(unwind_exception);
136
if (_URC_FOREIGN_EXCEPTION_CAUGHT != reason)
137
std::__terminate(exception_header->terminateHandler);
138
// Just in case there exists a dependent exception that is pointing to this,
139
// check the reference count and only destroy this if that count goes to zero.
140
__cxa_decrement_exception_refcount(unwind_exception + 1);
141
}
142
143
static _LIBCXXABI_NORETURN void failed_throw(__cxa_exception* exception_header) {
144
// Section 2.5.3 says:
145
// * For purposes of this ABI, several things are considered exception handlers:
146
// ** A terminate() call due to a throw.
147
// and
148
// * Upon entry, Following initialization of the catch parameter,
149
// a handler must call:
150
// * void *__cxa_begin_catch(void *exceptionObject );
151
(void) __cxa_begin_catch(&exception_header->unwindHeader);
152
std::__terminate(exception_header->terminateHandler);
153
}
154
155
// Return the offset of the __cxa_exception header from the start of the
156
// allocated buffer. If __cxa_exception's alignment is smaller than the maximum
157
// useful alignment for the target machine, padding has to be inserted before
158
// the header to ensure the thrown object that follows the header is
159
// sufficiently aligned. This happens if _Unwind_exception isn't double-word
160
// aligned (on Darwin, for example).
161
static size_t get_cxa_exception_offset() {
162
struct S {
163
} __attribute__((aligned));
164
165
// Compute the maximum alignment for the target machine.
166
constexpr size_t alignment = alignof(S);
167
constexpr size_t excp_size = sizeof(__cxa_exception);
168
constexpr size_t aligned_size =
169
(excp_size + alignment - 1) / alignment * alignment;
170
constexpr size_t offset = aligned_size - excp_size;
171
static_assert((offset == 0 || alignof(_Unwind_Exception) < alignment),
172
"offset is non-zero only if _Unwind_Exception isn't aligned");
173
return offset;
174
}
175
176
extern "C" {
177
178
// Allocate a __cxa_exception object, and zero-fill it.
179
// Reserve "thrown_size" bytes on the end for the user's exception
180
// object. Zero-fill the object. If memory can't be allocated, call
181
// std::terminate. Return a pointer to the memory to be used for the
182
// user's exception object.
183
void *__cxa_allocate_exception(size_t thrown_size) throw() {
184
size_t actual_size = cxa_exception_size_from_exception_thrown_size(thrown_size);
185
186
// Allocate extra space before the __cxa_exception header to ensure the
187
// start of the thrown object is sufficiently aligned.
188
size_t header_offset = get_cxa_exception_offset();
189
char *raw_buffer =
190
(char *)__aligned_malloc_with_fallback(header_offset + actual_size);
191
if (NULL == raw_buffer)
192
std::terminate();
193
__cxa_exception *exception_header =
194
static_cast<__cxa_exception *>((void *)(raw_buffer + header_offset));
195
::memset(exception_header, 0, actual_size);
196
return thrown_object_from_cxa_exception(exception_header);
197
}
198
199
200
// Free a __cxa_exception object allocated with __cxa_allocate_exception.
201
void __cxa_free_exception(void *thrown_object) throw() {
202
// Compute the size of the padding before the header.
203
size_t header_offset = get_cxa_exception_offset();
204
char *raw_buffer =
205
((char *)cxa_exception_from_thrown_object(thrown_object)) - header_offset;
206
__aligned_free_with_fallback((void *)raw_buffer);
207
}
208
209
__cxa_exception* __cxa_init_primary_exception(void* object, std::type_info* tinfo,
210
#ifdef __wasm__
211
// In Wasm, a destructor returns its argument
212
void *(_LIBCXXABI_DTOR_FUNC* dest)(void*)) throw() {
213
#else
214
void(_LIBCXXABI_DTOR_FUNC* dest)(void*)) throw() {
215
#endif
216
__cxa_exception* exception_header = cxa_exception_from_thrown_object(object);
217
exception_header->referenceCount = 0;
218
exception_header->unexpectedHandler = std::get_unexpected();
219
exception_header->terminateHandler = std::get_terminate();
220
exception_header->exceptionType = tinfo;
221
exception_header->exceptionDestructor = dest;
222
setOurExceptionClass(&exception_header->unwindHeader);
223
exception_header->unwindHeader.exception_cleanup = exception_cleanup_func;
224
225
return exception_header;
226
}
227
228
// This function shall allocate a __cxa_dependent_exception and
229
// return a pointer to it. (Really to the object, not past its' end).
230
// Otherwise, it will work like __cxa_allocate_exception.
231
void * __cxa_allocate_dependent_exception () {
232
size_t actual_size = sizeof(__cxa_dependent_exception);
233
void *ptr = __aligned_malloc_with_fallback(actual_size);
234
if (NULL == ptr)
235
std::terminate();
236
::memset(ptr, 0, actual_size);
237
return ptr;
238
}
239
240
241
// This function shall free a dependent_exception.
242
// It does not affect the reference count of the primary exception.
243
void __cxa_free_dependent_exception (void * dependent_exception) {
244
__aligned_free_with_fallback(dependent_exception);
245
}
246
247
248
// 2.4.3 Throwing the Exception Object
249
/*
250
After constructing the exception object with the throw argument value,
251
the generated code calls the __cxa_throw runtime library routine. This
252
routine never returns.
253
254
The __cxa_throw routine will do the following:
255
256
* Obtain the __cxa_exception header from the thrown exception object address,
257
which can be computed as follows:
258
__cxa_exception *header = ((__cxa_exception *) thrown_exception - 1);
259
* Save the current unexpected_handler and terminate_handler in the __cxa_exception header.
260
* Save the tinfo and dest arguments in the __cxa_exception header.
261
* Set the exception_class field in the unwind header. This is a 64-bit value
262
representing the ASCII string "XXXXC++\0", where "XXXX" is a
263
vendor-dependent string. That is, for implementations conforming to this
264
ABI, the low-order 4 bytes of this 64-bit value will be "C++\0".
265
* Increment the uncaught_exception flag.
266
* Call _Unwind_RaiseException in the system unwind library, Its argument is the
267
pointer to the thrown exception, which __cxa_throw itself received as an argument.
268
__Unwind_RaiseException begins the process of stack unwinding, described
269
in Section 2.5. In special cases, such as an inability to find a
270
handler, _Unwind_RaiseException may return. In that case, __cxa_throw
271
will call terminate, assuming that there was no handler for the
272
exception.
273
*/
274
275
#if defined(__EMSCRIPTEN__) && defined(__WASM_EXCEPTIONS__) && !defined(NDEBUG)
276
extern "C" {
277
void __throw_exception_with_stack_trace(_Unwind_Exception*);
278
} // extern "C"
279
#endif
280
281
void
282
#ifdef __wasm__
283
// In Wasm, a destructor returns its argument
284
__cxa_throw(void *thrown_object, std::type_info *tinfo, void *(_LIBCXXABI_DTOR_FUNC *dest)(void *)) {
285
#else
286
__cxa_throw(void *thrown_object, std::type_info *tinfo, void (_LIBCXXABI_DTOR_FUNC *dest)(void *)) {
287
#endif
288
__cxa_eh_globals* globals = __cxa_get_globals();
289
globals->uncaughtExceptions += 1; // Not atomically, since globals are thread-local
290
291
__cxa_exception* exception_header = __cxa_init_primary_exception(thrown_object, tinfo, dest);
292
exception_header->referenceCount = 1; // This is a newly allocated exception, no need for thread safety.
293
294
#if __has_feature(address_sanitizer)
295
// Inform the ASan runtime that now might be a good time to clean stuff up.
296
__asan_handle_no_return();
297
#endif
298
299
#ifdef __USING_SJLJ_EXCEPTIONS__
300
_Unwind_SjLj_RaiseException(&exception_header->unwindHeader);
301
#elif defined(__EMSCRIPTEN__) && defined(__WASM_EXCEPTIONS__) && !defined(NDEBUG)
302
// In debug mode, call a JS library function to use WebAssembly.Exception JS
303
// API, which enables us to include stack traces
304
__throw_exception_with_stack_trace(&exception_header->unwindHeader);
305
#else
306
_Unwind_RaiseException(&exception_header->unwindHeader);
307
#endif
308
// This only happens when there is no handler, or some unexpected unwinding
309
// error happens.
310
failed_throw(exception_header);
311
}
312
313
314
// 2.5.3 Exception Handlers
315
/*
316
The adjusted pointer is computed by the personality routine during phase 1
317
and saved in the exception header (either __cxa_exception or
318
__cxa_dependent_exception).
319
320
Requires: exception is native
321
*/
322
void *__cxa_get_exception_ptr(void *unwind_exception) throw() {
323
#if defined(_LIBCXXABI_ARM_EHABI)
324
return reinterpret_cast<void*>(
325
static_cast<_Unwind_Control_Block*>(unwind_exception)->barrier_cache.bitpattern[0]);
326
#else
327
return cxa_exception_from_exception_unwind_exception(
328
static_cast<_Unwind_Exception*>(unwind_exception))->adjustedPtr;
329
#endif
330
}
331
332
#if defined(_LIBCXXABI_ARM_EHABI)
333
/*
334
The routine to be called before the cleanup. This will save __cxa_exception in
335
__cxa_eh_globals, so that __cxa_end_cleanup() can recover later.
336
*/
337
bool __cxa_begin_cleanup(void *unwind_arg) throw() {
338
_Unwind_Exception* unwind_exception = static_cast<_Unwind_Exception*>(unwind_arg);
339
__cxa_eh_globals* globals = __cxa_get_globals();
340
__cxa_exception* exception_header =
341
cxa_exception_from_exception_unwind_exception(unwind_exception);
342
343
if (__isOurExceptionClass(unwind_exception))
344
{
345
if (0 == exception_header->propagationCount)
346
{
347
exception_header->nextPropagatingException = globals->propagatingExceptions;
348
globals->propagatingExceptions = exception_header;
349
}
350
++exception_header->propagationCount;
351
}
352
else
353
{
354
// If the propagatingExceptions stack is not empty, since we can't
355
// chain the foreign exception, terminate it.
356
if (NULL != globals->propagatingExceptions)
357
std::terminate();
358
globals->propagatingExceptions = exception_header;
359
}
360
return true;
361
}
362
363
/*
364
The routine to be called after the cleanup has been performed. It will get the
365
propagating __cxa_exception from __cxa_eh_globals, and continue the stack
366
unwinding with _Unwind_Resume.
367
368
According to ARM EHABI 8.4.1, __cxa_end_cleanup() should not clobber any
369
register, thus we have to write this function in assembly so that we can save
370
{r1, r2, r3}. We don't have to save r0 because it is the return value and the
371
first argument to _Unwind_Resume(). The function also saves/restores r4 to
372
keep the stack aligned and to provide a temp register. _Unwind_Resume never
373
returns and we need to keep the original lr so just branch to it. When
374
targeting bare metal, the function also clobbers ip/r12 to hold the address of
375
_Unwind_Resume, which may be too far away for an ordinary branch.
376
*/
377
__attribute__((used)) static _Unwind_Exception *
378
__cxa_end_cleanup_impl()
379
{
380
__cxa_eh_globals* globals = __cxa_get_globals();
381
__cxa_exception* exception_header = globals->propagatingExceptions;
382
if (NULL == exception_header)
383
{
384
// It seems that __cxa_begin_cleanup() is not called properly.
385
// We have no choice but terminate the program now.
386
std::terminate();
387
}
388
389
if (__isOurExceptionClass(&exception_header->unwindHeader))
390
{
391
--exception_header->propagationCount;
392
if (0 == exception_header->propagationCount)
393
{
394
globals->propagatingExceptions = exception_header->nextPropagatingException;
395
exception_header->nextPropagatingException = NULL;
396
}
397
}
398
else
399
{
400
globals->propagatingExceptions = NULL;
401
}
402
return &exception_header->unwindHeader;
403
}
404
405
asm(" .pushsection .text.__cxa_end_cleanup,\"ax\",%progbits\n"
406
" .globl __cxa_end_cleanup\n"
407
" .type __cxa_end_cleanup,%function\n"
408
"__cxa_end_cleanup:\n"
409
#if defined(__ARM_FEATURE_BTI_DEFAULT)
410
" bti\n"
411
#endif
412
" push {r1, r2, r3, r4}\n"
413
" mov r4, lr\n"
414
" bl __cxa_end_cleanup_impl\n"
415
" mov lr, r4\n"
416
#if defined(LIBCXXABI_BAREMETAL)
417
" ldr r4, =_Unwind_Resume\n"
418
" mov ip, r4\n"
419
#endif
420
" pop {r1, r2, r3, r4}\n"
421
#if defined(LIBCXXABI_BAREMETAL)
422
" bx ip\n"
423
#else
424
" b _Unwind_Resume\n"
425
#endif
426
" .popsection");
427
#endif // defined(_LIBCXXABI_ARM_EHABI)
428
429
/*
430
This routine can catch foreign or native exceptions. If native, the exception
431
can be a primary or dependent variety. This routine may remain blissfully
432
ignorant of whether the native exception is primary or dependent.
433
434
If the exception is native:
435
* Increment's the exception's handler count.
436
* Push the exception on the stack of currently-caught exceptions if it is not
437
already there (from a rethrow).
438
* Decrements the uncaught_exception count.
439
* Returns the adjusted pointer to the exception object, which is stored in
440
the __cxa_exception by the personality routine.
441
442
If the exception is foreign, this means it did not originate from one of throw
443
routines. The foreign exception does not necessarily have a __cxa_exception
444
header. However we can catch it here with a catch (...), or with a call
445
to terminate or unexpected during unwinding.
446
* Do not try to increment the exception's handler count, we don't know where
447
it is.
448
* Push the exception on the stack of currently-caught exceptions only if the
449
stack is empty. The foreign exception has no way to link to the current
450
top of stack. If the stack is not empty, call terminate. Even with an
451
empty stack, this is hacked in by pushing a pointer to an imaginary
452
__cxa_exception block in front of the foreign exception. It would be better
453
if the __cxa_eh_globals structure had a stack of _Unwind_Exception, but it
454
doesn't. It has a stack of __cxa_exception (which has a next* in it).
455
* Do not decrement the uncaught_exception count because we didn't increment it
456
in __cxa_throw (or one of our rethrow functions).
457
* If we haven't terminated, assume the exception object is just past the
458
_Unwind_Exception and return a pointer to that.
459
*/
460
void*
461
__cxa_begin_catch(void* unwind_arg) throw()
462
{
463
_Unwind_Exception* unwind_exception = static_cast<_Unwind_Exception*>(unwind_arg);
464
bool native_exception = __isOurExceptionClass(unwind_exception);
465
__cxa_eh_globals* globals = __cxa_get_globals();
466
// exception_header is a hackish offset from a foreign exception, but it
467
// works as long as we're careful not to try to access any __cxa_exception
468
// parts.
469
__cxa_exception* exception_header =
470
cxa_exception_from_exception_unwind_exception
471
(
472
static_cast<_Unwind_Exception*>(unwind_exception)
473
);
474
475
#if defined(__MVS__)
476
// Remove the exception object from the linked list of exceptions that the z/OS unwinder
477
// maintains before adding it to the libc++abi list of caught exceptions.
478
// The libc++abi will manage the lifetime of the exception from this point forward.
479
_UnwindZOS_PopException();
480
#endif
481
482
if (native_exception)
483
{
484
// Increment the handler count, removing the flag about being rethrown
485
exception_header->handlerCount = exception_header->handlerCount < 0 ?
486
-exception_header->handlerCount + 1 : exception_header->handlerCount + 1;
487
// place the exception on the top of the stack if it's not already
488
// there by a previous rethrow
489
if (exception_header != globals->caughtExceptions)
490
{
491
exception_header->nextException = globals->caughtExceptions;
492
globals->caughtExceptions = exception_header;
493
}
494
globals->uncaughtExceptions -= 1; // Not atomically, since globals are thread-local
495
#if defined(_LIBCXXABI_ARM_EHABI)
496
return reinterpret_cast<void*>(exception_header->unwindHeader.barrier_cache.bitpattern[0]);
497
#else
498
return exception_header->adjustedPtr;
499
#endif
500
}
501
// Else this is a foreign exception
502
// If the caughtExceptions stack is not empty, terminate
503
if (globals->caughtExceptions != 0)
504
std::terminate();
505
// Push the foreign exception on to the stack
506
globals->caughtExceptions = exception_header;
507
return unwind_exception + 1;
508
}
509
510
511
/*
512
Upon exit for any reason, a handler must call:
513
void __cxa_end_catch ();
514
515
This routine can be called for either a native or foreign exception.
516
For a native exception:
517
* Locates the most recently caught exception and decrements its handler count.
518
* Removes the exception from the caught exception stack, if the handler count goes to zero.
519
* If the handler count goes down to zero, and the exception was not re-thrown
520
by throw, it locates the primary exception (which may be the same as the one
521
it's handling) and decrements its reference count. If that reference count
522
goes to zero, the function destroys the exception. In any case, if the current
523
exception is a dependent exception, it destroys that.
524
525
For a foreign exception:
526
* If it has been rethrown, there is nothing to do.
527
* Otherwise delete the exception and pop the catch stack to empty.
528
*/
529
void __cxa_end_catch() {
530
static_assert(sizeof(__cxa_exception) == sizeof(__cxa_dependent_exception),
531
"sizeof(__cxa_exception) must be equal to "
532
"sizeof(__cxa_dependent_exception)");
533
static_assert(__builtin_offsetof(__cxa_exception, referenceCount) ==
534
__builtin_offsetof(__cxa_dependent_exception,
535
primaryException),
536
"the layout of __cxa_exception must match the layout of "
537
"__cxa_dependent_exception");
538
static_assert(__builtin_offsetof(__cxa_exception, handlerCount) ==
539
__builtin_offsetof(__cxa_dependent_exception, handlerCount),
540
"the layout of __cxa_exception must match the layout of "
541
"__cxa_dependent_exception");
542
__cxa_eh_globals* globals = __cxa_get_globals_fast(); // __cxa_get_globals called in __cxa_begin_catch
543
__cxa_exception* exception_header = globals->caughtExceptions;
544
// If we've rethrown a foreign exception, then globals->caughtExceptions
545
// will have been made an empty stack by __cxa_rethrow() and there is
546
// nothing more to be done. Do nothing!
547
if (NULL != exception_header)
548
{
549
bool native_exception = __isOurExceptionClass(&exception_header->unwindHeader);
550
if (native_exception)
551
{
552
// This is a native exception
553
if (exception_header->handlerCount < 0)
554
{
555
// The exception has been rethrown by __cxa_rethrow, so don't delete it
556
if (0 == incrementHandlerCount(exception_header))
557
{
558
// Remove from the chain of uncaught exceptions
559
globals->caughtExceptions = exception_header->nextException;
560
// but don't destroy
561
}
562
// Keep handlerCount negative in case there are nested catch's
563
// that need to be told that this exception is rethrown. Don't
564
// erase this rethrow flag until the exception is recaught.
565
}
566
else
567
{
568
// The native exception has not been rethrown
569
if (0 == decrementHandlerCount(exception_header))
570
{
571
// Remove from the chain of uncaught exceptions
572
globals->caughtExceptions = exception_header->nextException;
573
// Destroy this exception, being careful to distinguish
574
// between dependent and primary exceptions
575
if (isDependentException(&exception_header->unwindHeader))
576
{
577
// Reset exception_header to primaryException and deallocate the dependent exception
578
__cxa_dependent_exception* dep_exception_header =
579
reinterpret_cast<__cxa_dependent_exception*>(exception_header);
580
exception_header =
581
cxa_exception_from_thrown_object(dep_exception_header->primaryException);
582
__cxa_free_dependent_exception(dep_exception_header);
583
}
584
// Destroy the primary exception only if its referenceCount goes to 0
585
// (this decrement must be atomic)
586
__cxa_decrement_exception_refcount(thrown_object_from_cxa_exception(exception_header));
587
}
588
}
589
}
590
else
591
{
592
// The foreign exception has not been rethrown. Pop the stack
593
// and delete it. If there are nested catch's and they try
594
// to touch a foreign exception in any way, that is undefined
595
// behavior. They likely can't since the only way to catch
596
// a foreign exception is with catch (...)!
597
_Unwind_DeleteException(&globals->caughtExceptions->unwindHeader);
598
globals->caughtExceptions = 0;
599
}
600
}
601
}
602
603
void __cxa_call_terminate(void* unwind_arg) throw() {
604
__cxa_begin_catch(unwind_arg);
605
std::terminate();
606
}
607
608
// Note: exception_header may be masquerading as a __cxa_dependent_exception
609
// and that's ok. exceptionType is there too.
610
// However watch out for foreign exceptions. Return null for them.
611
std::type_info *__cxa_current_exception_type() {
612
// get the current exception
613
__cxa_eh_globals *globals = __cxa_get_globals_fast();
614
if (NULL == globals)
615
return NULL; // If there have never been any exceptions, there are none now.
616
__cxa_exception *exception_header = globals->caughtExceptions;
617
if (NULL == exception_header)
618
return NULL; // No current exception
619
if (!__isOurExceptionClass(&exception_header->unwindHeader))
620
return NULL;
621
return exception_header->exceptionType;
622
}
623
624
// 2.5.4 Rethrowing Exceptions
625
/* This routine can rethrow native or foreign exceptions.
626
If the exception is native:
627
* marks the exception object on top of the caughtExceptions stack
628
(in an implementation-defined way) as being rethrown.
629
* If the caughtExceptions stack is empty, it calls terminate()
630
(see [C++FDIS] [except.throw], 15.1.8).
631
* It then calls _Unwind_RaiseException which should not return
632
(terminate if it does).
633
Note: exception_header may be masquerading as a __cxa_dependent_exception
634
and that's ok.
635
*/
636
void __cxa_rethrow() {
637
__cxa_eh_globals* globals = __cxa_get_globals();
638
__cxa_exception* exception_header = globals->caughtExceptions;
639
if (NULL == exception_header)
640
std::terminate(); // throw; called outside of a exception handler
641
bool native_exception = __isOurExceptionClass(&exception_header->unwindHeader);
642
if (native_exception)
643
{
644
// Mark the exception as being rethrown (reverse the effects of __cxa_begin_catch)
645
exception_header->handlerCount = -exception_header->handlerCount;
646
globals->uncaughtExceptions += 1;
647
// __cxa_end_catch will remove this exception from the caughtExceptions stack if necessary
648
}
649
else // this is a foreign exception
650
{
651
// The only way to communicate to __cxa_end_catch that we've rethrown
652
// a foreign exception, so don't delete us, is to pop the stack here
653
// which must be empty afterwards. Then __cxa_end_catch will do
654
// nothing
655
globals->caughtExceptions = 0;
656
}
657
#ifdef __USING_SJLJ_EXCEPTIONS__
658
_Unwind_SjLj_RaiseException(&exception_header->unwindHeader);
659
#elif defined(__EMSCRIPTEN__) && defined(__WASM_EXCEPTIONS__) && !defined(NDEBUG)
660
// In debug mode, call a JS library function to use WebAssembly.Exception JS
661
// API, which enables us to include stack traces
662
__throw_exception_with_stack_trace(&exception_header->unwindHeader);
663
#else
664
_Unwind_RaiseException(&exception_header->unwindHeader);
665
#endif
666
667
// If we get here, some kind of unwinding error has occurred.
668
// There is some weird code generation bug happening with
669
// Apple clang version 4.0 (tags/Apple/clang-418.0.2) (based on LLVM 3.1svn)
670
// If we call failed_throw here. Turns up with -O2 or higher, and -Os.
671
__cxa_begin_catch(&exception_header->unwindHeader);
672
if (native_exception)
673
std::__terminate(exception_header->terminateHandler);
674
// Foreign exception: can't get exception_header->terminateHandler
675
std::terminate();
676
}
677
678
/*
679
If thrown_object is not null, atomically increment the referenceCount field
680
of the __cxa_exception header associated with the thrown object referred to
681
by thrown_object.
682
683
Requires: If thrown_object is not NULL, it is a native exception.
684
*/
685
void
686
__cxa_increment_exception_refcount(void *thrown_object) throw() {
687
if (thrown_object != NULL )
688
{
689
__cxa_exception* exception_header = cxa_exception_from_thrown_object(thrown_object);
690
std::__libcpp_atomic_add(&exception_header->referenceCount, size_t(1));
691
}
692
}
693
694
/*
695
If thrown_object is not null, atomically decrement the referenceCount field
696
of the __cxa_exception header associated with the thrown object referred to
697
by thrown_object. If the referenceCount drops to zero, destroy and
698
deallocate the exception.
699
700
Requires: If thrown_object is not NULL, it is a native exception.
701
*/
702
_LIBCXXABI_NO_CFI
703
void __cxa_decrement_exception_refcount(void *thrown_object) throw() {
704
if (thrown_object != NULL )
705
{
706
__cxa_exception* exception_header = cxa_exception_from_thrown_object(thrown_object);
707
if (std::__libcpp_atomic_add(&exception_header->referenceCount, size_t(-1)) == 0)
708
{
709
if (NULL != exception_header->exceptionDestructor)
710
exception_header->exceptionDestructor(thrown_object);
711
__cxa_free_exception(thrown_object);
712
}
713
}
714
}
715
716
/*
717
Returns a pointer to the thrown object (if any) at the top of the
718
caughtExceptions stack. Atomically increment the exception's referenceCount.
719
If there is no such thrown object or if the thrown object is foreign,
720
returns null.
721
722
We can use __cxa_get_globals_fast here to get the globals because if there have
723
been no exceptions thrown, ever, on this thread, we can return NULL without
724
the need to allocate the exception-handling globals.
725
*/
726
void *__cxa_current_primary_exception() throw() {
727
// get the current exception
728
__cxa_eh_globals* globals = __cxa_get_globals_fast();
729
if (NULL == globals)
730
return NULL; // If there are no globals, there is no exception
731
__cxa_exception* exception_header = globals->caughtExceptions;
732
if (NULL == exception_header)
733
return NULL; // No current exception
734
if (!__isOurExceptionClass(&exception_header->unwindHeader))
735
return NULL; // Can't capture a foreign exception (no way to refcount it)
736
if (isDependentException(&exception_header->unwindHeader)) {
737
__cxa_dependent_exception* dep_exception_header =
738
reinterpret_cast<__cxa_dependent_exception*>(exception_header);
739
exception_header = cxa_exception_from_thrown_object(dep_exception_header->primaryException);
740
}
741
void* thrown_object = thrown_object_from_cxa_exception(exception_header);
742
__cxa_increment_exception_refcount(thrown_object);
743
return thrown_object;
744
}
745
746
/*
747
If reason isn't _URC_FOREIGN_EXCEPTION_CAUGHT, then the terminateHandler
748
stored in exc is called. Otherwise the referenceCount stored in the
749
primary exception is decremented, destroying the primary if necessary.
750
Finally the dependent exception is destroyed.
751
*/
752
static
753
void
754
dependent_exception_cleanup(_Unwind_Reason_Code reason, _Unwind_Exception* unwind_exception)
755
{
756
__cxa_dependent_exception* dep_exception_header =
757
reinterpret_cast<__cxa_dependent_exception*>(unwind_exception + 1) - 1;
758
if (_URC_FOREIGN_EXCEPTION_CAUGHT != reason)
759
std::__terminate(dep_exception_header->terminateHandler);
760
__cxa_decrement_exception_refcount(dep_exception_header->primaryException);
761
__cxa_free_dependent_exception(dep_exception_header);
762
}
763
764
/*
765
If thrown_object is not null, allocate, initialize and throw a dependent
766
exception.
767
*/
768
void
769
__cxa_rethrow_primary_exception(void* thrown_object)
770
{
771
if ( thrown_object != NULL )
772
{
773
// thrown_object guaranteed to be native because
774
// __cxa_current_primary_exception returns NULL for foreign exceptions
775
__cxa_exception* exception_header = cxa_exception_from_thrown_object(thrown_object);
776
__cxa_dependent_exception* dep_exception_header =
777
static_cast<__cxa_dependent_exception*>(__cxa_allocate_dependent_exception());
778
dep_exception_header->primaryException = thrown_object;
779
__cxa_increment_exception_refcount(thrown_object);
780
dep_exception_header->exceptionType = exception_header->exceptionType;
781
dep_exception_header->unexpectedHandler = std::get_unexpected();
782
dep_exception_header->terminateHandler = std::get_terminate();
783
setDependentExceptionClass(&dep_exception_header->unwindHeader);
784
__cxa_get_globals()->uncaughtExceptions += 1;
785
dep_exception_header->unwindHeader.exception_cleanup = dependent_exception_cleanup;
786
#ifdef __USING_SJLJ_EXCEPTIONS__
787
_Unwind_SjLj_RaiseException(&dep_exception_header->unwindHeader);
788
#elif defined(__EMSCRIPTEN__) && defined(__WASM_EXCEPTIONS__) && !defined(NDEBUG)
789
// In debug mode, call a JS library function to use
790
// WebAssembly.Exception JS API, which enables us to include stack
791
// traces
792
__throw_exception_with_stack_trace(&dep_exception_header->unwindHeader);
793
#else
794
_Unwind_RaiseException(&dep_exception_header->unwindHeader);
795
#endif
796
// Some sort of unwinding error. Note that terminate is a handler.
797
__cxa_begin_catch(&dep_exception_header->unwindHeader);
798
}
799
// If we return client will call terminate()
800
}
801
802
bool
803
__cxa_uncaught_exception() throw() { return __cxa_uncaught_exceptions() != 0; }
804
805
unsigned int
806
__cxa_uncaught_exceptions() throw()
807
{
808
// This does not report foreign exceptions in flight
809
__cxa_eh_globals* globals = __cxa_get_globals_fast();
810
if (globals == 0)
811
return 0;
812
return globals->uncaughtExceptions;
813
}
814
815
} // extern "C"
816
817
} // abi
818
819