1 //===----------------------------------------------------------------------===//
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
8 // This file implements the "Exception Handling APIs"
9 // https://itanium-cxx-abi.github.io/cxx-abi/abi-eh.html
11 //===----------------------------------------------------------------------===//
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++
22 #if __has_feature(address_sanitizer)
23 #include <sanitizer/asan_interface.h>
26 // +---------------------------+-----------------------------+---------------+
27 // | __cxa_exception | _Unwind_Exception CLNGC++\0 | thrown object |
28 // +---------------------------+-----------------------------+---------------+
31 // +-------------------------------------------------------+
33 // +---------------------------+-----------------------------+
34 // | __cxa_dependent_exception | _Unwind_Exception CLNGC++\1 |
35 // +---------------------------+-----------------------------+
37 namespace __cxxabiv1
{
43 cxa_exception_from_thrown_object(void* thrown_object
)
45 return static_cast<__cxa_exception
*>(thrown_object
) - 1;
48 // Note: This is never called when exception_header is masquerading as a
49 // __cxa_dependent_exception.
53 thrown_object_from_cxa_exception(__cxa_exception
* exception_header
)
55 return static_cast<void*>(exception_header
+ 1);
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
64 cxa_exception_from_exception_unwind_exception(_Unwind_Exception
* unwind_exception
)
66 return cxa_exception_from_thrown_object(unwind_exception
+ 1 );
69 // Round s up to next multiple of a.
71 size_t aligned_allocation_size(size_t s
, size_t a
) {
72 return (s
+ a
- 1) & ~(a
- 1);
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
));
81 void __setExceptionClass(_Unwind_Exception
* unwind_exception
, uint64_t newValue
) {
82 ::memcpy(&unwind_exception
->exception_class
, &newValue
, sizeof(newValue
));
86 static void setOurExceptionClass(_Unwind_Exception
* unwind_exception
) {
87 __setExceptionClass(unwind_exception
, kOurExceptionClass
);
90 static void setDependentExceptionClass(_Unwind_Exception
* unwind_exception
) {
91 __setExceptionClass(unwind_exception
, kOurDependentExceptionClass
);
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.
101 ::memcpy(&exClass
, &unwind_exception
->exception_class
, sizeof(exClass
));
105 bool __isOurExceptionClass(const _Unwind_Exception
* unwind_exception
) {
106 return (__getExceptionClass(unwind_exception
) & get_vendor_and_language
) ==
107 (kOurExceptionClass
& get_vendor_and_language
);
110 static bool isDependentException(_Unwind_Exception
* unwind_exception
) {
111 return (__getExceptionClass(unwind_exception
) & 0xFF) == 0x01;
114 // This does not need to be atomic
115 static inline int incrementHandlerCount(__cxa_exception
*exception
) {
116 return ++exception
->handlerCount
;
119 // This does not need to be atomic
120 static inline int decrementHandlerCount(__cxa_exception
*exception
) {
121 return --exception
->handlerCount
;
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.
129 This is never called for a __cxa_dependent_exception.
133 exception_cleanup_func(_Unwind_Reason_Code reason
, _Unwind_Exception
* unwind_exception
)
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);
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.
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
);
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() {
163 } __attribute__((aligned
));
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");
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
);
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();
190 (char *)__aligned_malloc_with_fallback(header_offset
+ actual_size
);
191 if (NULL
== raw_buffer
)
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
);
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();
205 ((char *)cxa_exception_from_thrown_object(thrown_object
)) - header_offset
;
206 __aligned_free_with_fallback((void *)raw_buffer
);
210 // This function shall allocate a __cxa_dependent_exception and
211 // return a pointer to it. (Really to the object, not past its' end).
212 // Otherwise, it will work like __cxa_allocate_exception.
213 void * __cxa_allocate_dependent_exception () {
214 size_t actual_size
= sizeof(__cxa_dependent_exception
);
215 void *ptr
= __aligned_malloc_with_fallback(actual_size
);
218 ::memset(ptr
, 0, actual_size
);
223 // This function shall free a dependent_exception.
224 // It does not affect the reference count of the primary exception.
225 void __cxa_free_dependent_exception (void * dependent_exception
) {
226 __aligned_free_with_fallback(dependent_exception
);
230 // 2.4.3 Throwing the Exception Object
232 After constructing the exception object with the throw argument value,
233 the generated code calls the __cxa_throw runtime library routine. This
234 routine never returns.
236 The __cxa_throw routine will do the following:
238 * Obtain the __cxa_exception header from the thrown exception object address,
239 which can be computed as follows:
240 __cxa_exception *header = ((__cxa_exception *) thrown_exception - 1);
241 * Save the current unexpected_handler and terminate_handler in the __cxa_exception header.
242 * Save the tinfo and dest arguments in the __cxa_exception header.
243 * Set the exception_class field in the unwind header. This is a 64-bit value
244 representing the ASCII string "XXXXC++\0", where "XXXX" is a
245 vendor-dependent string. That is, for implementations conforming to this
246 ABI, the low-order 4 bytes of this 64-bit value will be "C++\0".
247 * Increment the uncaught_exception flag.
248 * Call _Unwind_RaiseException in the system unwind library, Its argument is the
249 pointer to the thrown exception, which __cxa_throw itself received as an argument.
250 __Unwind_RaiseException begins the process of stack unwinding, described
251 in Section 2.5. In special cases, such as an inability to find a
252 handler, _Unwind_RaiseException may return. In that case, __cxa_throw
253 will call terminate, assuming that there was no handler for the
257 __cxa_throw(void *thrown_object
, std::type_info
*tinfo
, void (*dest
)(void *)) {
258 __cxa_eh_globals
*globals
= __cxa_get_globals();
259 __cxa_exception
* exception_header
= cxa_exception_from_thrown_object(thrown_object
);
261 exception_header
->unexpectedHandler
= std::get_unexpected();
262 exception_header
->terminateHandler
= std::get_terminate();
263 exception_header
->exceptionType
= tinfo
;
264 exception_header
->exceptionDestructor
= dest
;
265 setOurExceptionClass(&exception_header
->unwindHeader
);
266 exception_header
->referenceCount
= 1; // This is a newly allocated exception, no need for thread safety.
267 globals
->uncaughtExceptions
+= 1; // Not atomically, since globals are thread-local
269 exception_header
->unwindHeader
.exception_cleanup
= exception_cleanup_func
;
271 #if __has_feature(address_sanitizer)
272 // Inform the ASan runtime that now might be a good time to clean stuff up.
273 __asan_handle_no_return();
276 #ifdef __USING_SJLJ_EXCEPTIONS__
277 _Unwind_SjLj_RaiseException(&exception_header
->unwindHeader
);
279 _Unwind_RaiseException(&exception_header
->unwindHeader
);
281 // This only happens when there is no handler, or some unexpected unwinding
283 failed_throw(exception_header
);
287 // 2.5.3 Exception Handlers
289 The adjusted pointer is computed by the personality routine during phase 1
290 and saved in the exception header (either __cxa_exception or
291 __cxa_dependent_exception).
293 Requires: exception is native
295 void *__cxa_get_exception_ptr(void *unwind_exception
) throw() {
296 #if defined(_LIBCXXABI_ARM_EHABI)
297 return reinterpret_cast<void*>(
298 static_cast<_Unwind_Control_Block
*>(unwind_exception
)->barrier_cache
.bitpattern
[0]);
300 return cxa_exception_from_exception_unwind_exception(
301 static_cast<_Unwind_Exception
*>(unwind_exception
))->adjustedPtr
;
305 #if defined(_LIBCXXABI_ARM_EHABI)
307 The routine to be called before the cleanup. This will save __cxa_exception in
308 __cxa_eh_globals, so that __cxa_end_cleanup() can recover later.
310 bool __cxa_begin_cleanup(void *unwind_arg
) throw() {
311 _Unwind_Exception
* unwind_exception
= static_cast<_Unwind_Exception
*>(unwind_arg
);
312 __cxa_eh_globals
* globals
= __cxa_get_globals();
313 __cxa_exception
* exception_header
=
314 cxa_exception_from_exception_unwind_exception(unwind_exception
);
316 if (__isOurExceptionClass(unwind_exception
))
318 if (0 == exception_header
->propagationCount
)
320 exception_header
->nextPropagatingException
= globals
->propagatingExceptions
;
321 globals
->propagatingExceptions
= exception_header
;
323 ++exception_header
->propagationCount
;
327 // If the propagatingExceptions stack is not empty, since we can't
328 // chain the foreign exception, terminate it.
329 if (NULL
!= globals
->propagatingExceptions
)
331 globals
->propagatingExceptions
= exception_header
;
337 The routine to be called after the cleanup has been performed. It will get the
338 propagating __cxa_exception from __cxa_eh_globals, and continue the stack
339 unwinding with _Unwind_Resume.
341 According to ARM EHABI 8.4.1, __cxa_end_cleanup() should not clobber any
342 register, thus we have to write this function in assembly so that we can save
343 {r1, r2, r3}. We don't have to save r0 because it is the return value and the
344 first argument to _Unwind_Resume(). In addition, we are saving lr in order to
345 align the stack to 16 bytes and lr will be used to identify the caller and its
346 frame information. _Unwind_Resume never return and we need to keep the original
347 lr so just branch to it.
349 __attribute__((used
)) static _Unwind_Exception
*
350 __cxa_end_cleanup_impl()
352 __cxa_eh_globals
* globals
= __cxa_get_globals();
353 __cxa_exception
* exception_header
= globals
->propagatingExceptions
;
354 if (NULL
== exception_header
)
356 // It seems that __cxa_begin_cleanup() is not called properly.
357 // We have no choice but terminate the program now.
361 if (__isOurExceptionClass(&exception_header
->unwindHeader
))
363 --exception_header
->propagationCount
;
364 if (0 == exception_header
->propagationCount
)
366 globals
->propagatingExceptions
= exception_header
->nextPropagatingException
;
367 exception_header
->nextPropagatingException
= NULL
;
372 globals
->propagatingExceptions
= NULL
;
374 return &exception_header
->unwindHeader
;
377 asm(" .pushsection .text.__cxa_end_cleanup,\"ax\",%progbits\n"
378 " .globl __cxa_end_cleanup\n"
379 " .type __cxa_end_cleanup,%function\n"
380 "__cxa_end_cleanup:\n"
381 #if defined(__ARM_FEATURE_BTI_DEFAULT)
384 " push {r1, r2, r3, lr}\n"
385 " bl __cxa_end_cleanup_impl\n"
386 " pop {r1, r2, r3, r4}\n"
388 #if defined(LIBCXXABI_BAREMETAL)
389 " ldr r4, =_Unwind_Resume\n"
392 " b _Unwind_Resume\n"
395 #endif // defined(_LIBCXXABI_ARM_EHABI)
398 This routine can catch foreign or native exceptions. If native, the exception
399 can be a primary or dependent variety. This routine may remain blissfully
400 ignorant of whether the native exception is primary or dependent.
402 If the exception is native:
403 * Increment's the exception's handler count.
404 * Push the exception on the stack of currently-caught exceptions if it is not
405 already there (from a rethrow).
406 * Decrements the uncaught_exception count.
407 * Returns the adjusted pointer to the exception object, which is stored in
408 the __cxa_exception by the personality routine.
410 If the exception is foreign, this means it did not originate from one of throw
411 routines. The foreign exception does not necessarily have a __cxa_exception
412 header. However we can catch it here with a catch (...), or with a call
413 to terminate or unexpected during unwinding.
414 * Do not try to increment the exception's handler count, we don't know where
416 * Push the exception on the stack of currently-caught exceptions only if the
417 stack is empty. The foreign exception has no way to link to the current
418 top of stack. If the stack is not empty, call terminate. Even with an
419 empty stack, this is hacked in by pushing a pointer to an imaginary
420 __cxa_exception block in front of the foreign exception. It would be better
421 if the __cxa_eh_globals structure had a stack of _Unwind_Exception, but it
422 doesn't. It has a stack of __cxa_exception (which has a next* in it).
423 * Do not decrement the uncaught_exception count because we didn't increment it
424 in __cxa_throw (or one of our rethrow functions).
425 * If we haven't terminated, assume the exception object is just past the
426 _Unwind_Exception and return a pointer to that.
429 __cxa_begin_catch(void* unwind_arg
) throw()
431 _Unwind_Exception
* unwind_exception
= static_cast<_Unwind_Exception
*>(unwind_arg
);
432 bool native_exception
= __isOurExceptionClass(unwind_exception
);
433 __cxa_eh_globals
* globals
= __cxa_get_globals();
434 // exception_header is a hackish offset from a foreign exception, but it
435 // works as long as we're careful not to try to access any __cxa_exception
437 __cxa_exception
* exception_header
=
438 cxa_exception_from_exception_unwind_exception
440 static_cast<_Unwind_Exception
*>(unwind_exception
)
442 if (native_exception
)
444 // Increment the handler count, removing the flag about being rethrown
445 exception_header
->handlerCount
= exception_header
->handlerCount
< 0 ?
446 -exception_header
->handlerCount
+ 1 : exception_header
->handlerCount
+ 1;
447 // place the exception on the top of the stack if it's not already
448 // there by a previous rethrow
449 if (exception_header
!= globals
->caughtExceptions
)
451 exception_header
->nextException
= globals
->caughtExceptions
;
452 globals
->caughtExceptions
= exception_header
;
454 globals
->uncaughtExceptions
-= 1; // Not atomically, since globals are thread-local
455 #if defined(_LIBCXXABI_ARM_EHABI)
456 return reinterpret_cast<void*>(exception_header
->unwindHeader
.barrier_cache
.bitpattern
[0]);
458 return exception_header
->adjustedPtr
;
461 // Else this is a foreign exception
462 // If the caughtExceptions stack is not empty, terminate
463 if (globals
->caughtExceptions
!= 0)
465 // Push the foreign exception on to the stack
466 globals
->caughtExceptions
= exception_header
;
467 return unwind_exception
+ 1;
472 Upon exit for any reason, a handler must call:
473 void __cxa_end_catch ();
475 This routine can be called for either a native or foreign exception.
476 For a native exception:
477 * Locates the most recently caught exception and decrements its handler count.
478 * Removes the exception from the caught exception stack, if the handler count goes to zero.
479 * If the handler count goes down to zero, and the exception was not re-thrown
480 by throw, it locates the primary exception (which may be the same as the one
481 it's handling) and decrements its reference count. If that reference count
482 goes to zero, the function destroys the exception. In any case, if the current
483 exception is a dependent exception, it destroys that.
485 For a foreign exception:
486 * If it has been rethrown, there is nothing to do.
487 * Otherwise delete the exception and pop the catch stack to empty.
489 void __cxa_end_catch() {
490 static_assert(sizeof(__cxa_exception
) == sizeof(__cxa_dependent_exception
),
491 "sizeof(__cxa_exception) must be equal to "
492 "sizeof(__cxa_dependent_exception)");
493 static_assert(__builtin_offsetof(__cxa_exception
, referenceCount
) ==
494 __builtin_offsetof(__cxa_dependent_exception
,
496 "the layout of __cxa_exception must match the layout of "
497 "__cxa_dependent_exception");
498 static_assert(__builtin_offsetof(__cxa_exception
, handlerCount
) ==
499 __builtin_offsetof(__cxa_dependent_exception
, handlerCount
),
500 "the layout of __cxa_exception must match the layout of "
501 "__cxa_dependent_exception");
502 __cxa_eh_globals
* globals
= __cxa_get_globals_fast(); // __cxa_get_globals called in __cxa_begin_catch
503 __cxa_exception
* exception_header
= globals
->caughtExceptions
;
504 // If we've rethrown a foreign exception, then globals->caughtExceptions
505 // will have been made an empty stack by __cxa_rethrow() and there is
506 // nothing more to be done. Do nothing!
507 if (NULL
!= exception_header
)
509 bool native_exception
= __isOurExceptionClass(&exception_header
->unwindHeader
);
510 if (native_exception
)
512 // This is a native exception
513 if (exception_header
->handlerCount
< 0)
515 // The exception has been rethrown by __cxa_rethrow, so don't delete it
516 if (0 == incrementHandlerCount(exception_header
))
518 // Remove from the chain of uncaught exceptions
519 globals
->caughtExceptions
= exception_header
->nextException
;
522 // Keep handlerCount negative in case there are nested catch's
523 // that need to be told that this exception is rethrown. Don't
524 // erase this rethrow flag until the exception is recaught.
528 // The native exception has not been rethrown
529 if (0 == decrementHandlerCount(exception_header
))
531 // Remove from the chain of uncaught exceptions
532 globals
->caughtExceptions
= exception_header
->nextException
;
533 // Destroy this exception, being careful to distinguish
534 // between dependent and primary exceptions
535 if (isDependentException(&exception_header
->unwindHeader
))
537 // Reset exception_header to primaryException and deallocate the dependent exception
538 __cxa_dependent_exception
* dep_exception_header
=
539 reinterpret_cast<__cxa_dependent_exception
*>(exception_header
);
541 cxa_exception_from_thrown_object(dep_exception_header
->primaryException
);
542 __cxa_free_dependent_exception(dep_exception_header
);
544 // Destroy the primary exception only if its referenceCount goes to 0
545 // (this decrement must be atomic)
546 __cxa_decrement_exception_refcount(thrown_object_from_cxa_exception(exception_header
));
552 // The foreign exception has not been rethrown. Pop the stack
553 // and delete it. If there are nested catch's and they try
554 // to touch a foreign exception in any way, that is undefined
555 // behavior. They likely can't since the only way to catch
556 // a foreign exception is with catch (...)!
557 _Unwind_DeleteException(&globals
->caughtExceptions
->unwindHeader
);
558 globals
->caughtExceptions
= 0;
563 // Note: exception_header may be masquerading as a __cxa_dependent_exception
564 // and that's ok. exceptionType is there too.
565 // However watch out for foreign exceptions. Return null for them.
566 std::type_info
*__cxa_current_exception_type() {
567 // get the current exception
568 __cxa_eh_globals
*globals
= __cxa_get_globals_fast();
570 return NULL
; // If there have never been any exceptions, there are none now.
571 __cxa_exception
*exception_header
= globals
->caughtExceptions
;
572 if (NULL
== exception_header
)
573 return NULL
; // No current exception
574 if (!__isOurExceptionClass(&exception_header
->unwindHeader
))
576 return exception_header
->exceptionType
;
579 // 2.5.4 Rethrowing Exceptions
580 /* This routine can rethrow native or foreign exceptions.
581 If the exception is native:
582 * marks the exception object on top of the caughtExceptions stack
583 (in an implementation-defined way) as being rethrown.
584 * If the caughtExceptions stack is empty, it calls terminate()
585 (see [C++FDIS] [except.throw], 15.1.8).
586 * It then calls _Unwind_RaiseException which should not return
587 (terminate if it does).
588 Note: exception_header may be masquerading as a __cxa_dependent_exception
591 void __cxa_rethrow() {
592 __cxa_eh_globals
* globals
= __cxa_get_globals();
593 __cxa_exception
* exception_header
= globals
->caughtExceptions
;
594 if (NULL
== exception_header
)
595 std::terminate(); // throw; called outside of a exception handler
596 bool native_exception
= __isOurExceptionClass(&exception_header
->unwindHeader
);
597 if (native_exception
)
599 // Mark the exception as being rethrown (reverse the effects of __cxa_begin_catch)
600 exception_header
->handlerCount
= -exception_header
->handlerCount
;
601 globals
->uncaughtExceptions
+= 1;
602 // __cxa_end_catch will remove this exception from the caughtExceptions stack if necessary
604 else // this is a foreign exception
606 // The only way to communicate to __cxa_end_catch that we've rethrown
607 // a foreign exception, so don't delete us, is to pop the stack here
608 // which must be empty afterwards. Then __cxa_end_catch will do
610 globals
->caughtExceptions
= 0;
612 #ifdef __USING_SJLJ_EXCEPTIONS__
613 _Unwind_SjLj_RaiseException(&exception_header
->unwindHeader
);
615 _Unwind_RaiseException(&exception_header
->unwindHeader
);
618 // If we get here, some kind of unwinding error has occurred.
619 // There is some weird code generation bug happening with
620 // Apple clang version 4.0 (tags/Apple/clang-418.0.2) (based on LLVM 3.1svn)
621 // If we call failed_throw here. Turns up with -O2 or higher, and -Os.
622 __cxa_begin_catch(&exception_header
->unwindHeader
);
623 if (native_exception
)
624 std::__terminate(exception_header
->terminateHandler
);
625 // Foreign exception: can't get exception_header->terminateHandler
630 If thrown_object is not null, atomically increment the referenceCount field
631 of the __cxa_exception header associated with the thrown object referred to
634 Requires: If thrown_object is not NULL, it is a native exception.
637 __cxa_increment_exception_refcount(void *thrown_object
) throw() {
638 if (thrown_object
!= NULL
)
640 __cxa_exception
* exception_header
= cxa_exception_from_thrown_object(thrown_object
);
641 std::__libcpp_atomic_add(&exception_header
->referenceCount
, size_t(1));
646 If thrown_object is not null, atomically decrement the referenceCount field
647 of the __cxa_exception header associated with the thrown object referred to
648 by thrown_object. If the referenceCount drops to zero, destroy and
649 deallocate the exception.
651 Requires: If thrown_object is not NULL, it is a native exception.
654 void __cxa_decrement_exception_refcount(void *thrown_object
) throw() {
655 if (thrown_object
!= NULL
)
657 __cxa_exception
* exception_header
= cxa_exception_from_thrown_object(thrown_object
);
658 if (std::__libcpp_atomic_add(&exception_header
->referenceCount
, size_t(-1)) == 0)
660 if (NULL
!= exception_header
->exceptionDestructor
)
661 exception_header
->exceptionDestructor(thrown_object
);
662 __cxa_free_exception(thrown_object
);
668 Returns a pointer to the thrown object (if any) at the top of the
669 caughtExceptions stack. Atomically increment the exception's referenceCount.
670 If there is no such thrown object or if the thrown object is foreign,
673 We can use __cxa_get_globals_fast here to get the globals because if there have
674 been no exceptions thrown, ever, on this thread, we can return NULL without
675 the need to allocate the exception-handling globals.
677 void *__cxa_current_primary_exception() throw() {
678 // get the current exception
679 __cxa_eh_globals
* globals
= __cxa_get_globals_fast();
681 return NULL
; // If there are no globals, there is no exception
682 __cxa_exception
* exception_header
= globals
->caughtExceptions
;
683 if (NULL
== exception_header
)
684 return NULL
; // No current exception
685 if (!__isOurExceptionClass(&exception_header
->unwindHeader
))
686 return NULL
; // Can't capture a foreign exception (no way to refcount it)
687 if (isDependentException(&exception_header
->unwindHeader
)) {
688 __cxa_dependent_exception
* dep_exception_header
=
689 reinterpret_cast<__cxa_dependent_exception
*>(exception_header
);
690 exception_header
= cxa_exception_from_thrown_object(dep_exception_header
->primaryException
);
692 void* thrown_object
= thrown_object_from_cxa_exception(exception_header
);
693 __cxa_increment_exception_refcount(thrown_object
);
694 return thrown_object
;
698 If reason isn't _URC_FOREIGN_EXCEPTION_CAUGHT, then the terminateHandler
699 stored in exc is called. Otherwise the referenceCount stored in the
700 primary exception is decremented, destroying the primary if necessary.
701 Finally the dependent exception is destroyed.
705 dependent_exception_cleanup(_Unwind_Reason_Code reason
, _Unwind_Exception
* unwind_exception
)
707 __cxa_dependent_exception
* dep_exception_header
=
708 reinterpret_cast<__cxa_dependent_exception
*>(unwind_exception
+ 1) - 1;
709 if (_URC_FOREIGN_EXCEPTION_CAUGHT
!= reason
)
710 std::__terminate(dep_exception_header
->terminateHandler
);
711 __cxa_decrement_exception_refcount(dep_exception_header
->primaryException
);
712 __cxa_free_dependent_exception(dep_exception_header
);
716 If thrown_object is not null, allocate, initialize and throw a dependent
720 __cxa_rethrow_primary_exception(void* thrown_object
)
722 if ( thrown_object
!= NULL
)
724 // thrown_object guaranteed to be native because
725 // __cxa_current_primary_exception returns NULL for foreign exceptions
726 __cxa_exception
* exception_header
= cxa_exception_from_thrown_object(thrown_object
);
727 __cxa_dependent_exception
* dep_exception_header
=
728 static_cast<__cxa_dependent_exception
*>(__cxa_allocate_dependent_exception());
729 dep_exception_header
->primaryException
= thrown_object
;
730 __cxa_increment_exception_refcount(thrown_object
);
731 dep_exception_header
->exceptionType
= exception_header
->exceptionType
;
732 dep_exception_header
->unexpectedHandler
= std::get_unexpected();
733 dep_exception_header
->terminateHandler
= std::get_terminate();
734 setDependentExceptionClass(&dep_exception_header
->unwindHeader
);
735 __cxa_get_globals()->uncaughtExceptions
+= 1;
736 dep_exception_header
->unwindHeader
.exception_cleanup
= dependent_exception_cleanup
;
737 #ifdef __USING_SJLJ_EXCEPTIONS__
738 _Unwind_SjLj_RaiseException(&dep_exception_header
->unwindHeader
);
740 _Unwind_RaiseException(&dep_exception_header
->unwindHeader
);
742 // Some sort of unwinding error. Note that terminate is a handler.
743 __cxa_begin_catch(&dep_exception_header
->unwindHeader
);
745 // If we return client will call terminate()
749 __cxa_uncaught_exception() throw() { return __cxa_uncaught_exceptions() != 0; }
752 __cxa_uncaught_exceptions() throw()
754 // This does not report foreign exceptions in flight
755 __cxa_eh_globals
* globals
= __cxa_get_globals_fast();
758 return globals
->uncaughtExceptions
;