blob: d5230cdc7d95751a8d66436c1d02b480a89b3f8d [file] [log] [blame]
Marshall Clow47c29eb2011-07-20 15:04:39 +00001//===------------------------- cxa_exception.cpp --------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is dual licensed under the MIT and the University of Illinois Open
6// Source Licenses. See LICENSE.TXT for details.
7//
8//
9// This file implements the "Exception Handling APIs"
Jonathan Roelofsc82e02d2014-02-12 04:49:09 +000010// http://mentorembedded.github.io/cxx-abi/abi-eh.html
Marshall Clow47c29eb2011-07-20 15:04:39 +000011//
12//===----------------------------------------------------------------------===//
13
14#include "cxxabi.h"
15
16#include <exception> // for std::terminate
Howard Hinnant6c33e762013-06-17 18:10:34 +000017#include <cstring> // for memset
Marshall Clow47c29eb2011-07-20 15:04:39 +000018#include "cxa_exception.hpp"
Howard Hinnante8fcf832011-12-07 21:16:40 +000019#include "cxa_handlers.hpp"
Igor Kudrinace65722016-10-07 08:48:28 +000020#include "fallback_malloc.h"
Marshall Clow47c29eb2011-07-20 15:04:39 +000021
Petr Hosek05e2ac52017-09-13 23:35:07 +000022#if __has_feature(address_sanitizer)
Eric Fiselier05ba3282017-09-14 22:37:34 +000023extern "C" void __asan_handle_no_return(void);
Petr Hosek05e2ac52017-09-13 23:35:07 +000024#endif
25
Howard Hinnanta36fb302012-01-22 19:14:27 +000026// +---------------------------+-----------------------------+---------------+
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
Marshall Clow47c29eb2011-07-20 15:04:39 +000037namespace __cxxabiv1 {
Howard Hinnant2a70c102012-01-24 18:15:20 +000038
Marshall Clow47c29eb2011-07-20 15:04:39 +000039// Utility routines
Howard Hinnanta36fb302012-01-22 19:14:27 +000040static
41inline
42__cxa_exception*
Howard Hinnant7da9b962012-01-30 16:07:00 +000043cxa_exception_from_thrown_object(void* thrown_object)
Howard Hinnanta36fb302012-01-22 19:14:27 +000044{
45 return static_cast<__cxa_exception*>(thrown_object) - 1;
Marshall Clow7ac31262011-08-15 18:06:47 +000046}
Marshall Clow47c29eb2011-07-20 15:04:39 +000047
Howard Hinnanta36fb302012-01-22 19:14:27 +000048// Note: This is never called when exception_header is masquerading as a
49// __cxa_dependent_exception.
50static
51inline
52void*
Howard Hinnant7da9b962012-01-30 16:07:00 +000053thrown_object_from_cxa_exception(__cxa_exception* exception_header)
Howard Hinnanta36fb302012-01-22 19:14:27 +000054{
55 return static_cast<void*>(exception_header + 1);
Marshall Clow7ac31262011-08-15 18:06:47 +000056}
Marshall Clow47c29eb2011-07-20 15:04:39 +000057
Marshall Clow7c4652f2011-08-09 15:09:41 +000058// 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
Howard Hinnanta36fb302012-01-22 19:14:27 +000061static
62inline
63__cxa_exception*
Howard Hinnant7da9b962012-01-30 16:07:00 +000064cxa_exception_from_exception_unwind_exception(_Unwind_Exception* unwind_exception)
Howard Hinnanta36fb302012-01-22 19:14:27 +000065{
66 return cxa_exception_from_thrown_object(unwind_exception + 1 );
Marshall Clow7ac31262011-08-15 18:06:47 +000067}
Marshall Clow7c4652f2011-08-09 15:09:41 +000068
Eric Fiselieraad05942017-03-04 02:04:45 +000069// Round s up to next multiple of a.
70static inline
71size_t aligned_allocation_size(size_t s, size_t a) {
72 return (s + a - 1) & ~(a - 1);
73}
74
75static inline
76size_t cxa_exception_size_from_exception_thrown_size(size_t size) {
77 return aligned_allocation_size(size + sizeof (__cxa_exception),
78 alignof(__cxa_exception));
Marshall Clow7ac31262011-08-15 18:06:47 +000079}
Marshall Clow7c4652f2011-08-09 15:09:41 +000080
Howard Hinnant7da9b962012-01-30 16:07:00 +000081static void setExceptionClass(_Unwind_Exception* unwind_exception) {
Howard Hinnanta36fb302012-01-22 19:14:27 +000082 unwind_exception->exception_class = kOurExceptionClass;
83}
84
Howard Hinnant7da9b962012-01-30 16:07:00 +000085static void setDependentExceptionClass(_Unwind_Exception* unwind_exception) {
Howard Hinnanta36fb302012-01-22 19:14:27 +000086 unwind_exception->exception_class = kOurDependentExceptionClass;
Marshall Clow7ac31262011-08-15 18:06:47 +000087}
Marshall Clow7c4652f2011-08-09 15:09:41 +000088
89// Is it one of ours?
Howard Hinnant7da9b962012-01-30 16:07:00 +000090static bool isOurExceptionClass(const _Unwind_Exception* unwind_exception) {
Howard Hinnant7ab185e2012-02-01 18:15:15 +000091 return (unwind_exception->exception_class & get_vendor_and_language) ==
92 (kOurExceptionClass & get_vendor_and_language);
Marshall Clow7ac31262011-08-15 18:06:47 +000093}
Marshall Clow7c4652f2011-08-09 15:09:41 +000094
Howard Hinnant7da9b962012-01-30 16:07:00 +000095static bool isDependentException(_Unwind_Exception* unwind_exception) {
Howard Hinnanta36fb302012-01-22 19:14:27 +000096 return (unwind_exception->exception_class & 0xFF) == 0x01;
Marshall Clow7ac31262011-08-15 18:06:47 +000097}
98
Howard Hinnant6eb54ad2011-12-08 19:35:18 +000099// This does not need to be atomic
Howard Hinnant7da9b962012-01-30 16:07:00 +0000100static inline int incrementHandlerCount(__cxa_exception *exception) {
Howard Hinnant6eb54ad2011-12-08 19:35:18 +0000101 return ++exception->handlerCount;
Marshall Clow7ac31262011-08-15 18:06:47 +0000102}
103
Howard Hinnant6eb54ad2011-12-08 19:35:18 +0000104// This does not need to be atomic
Howard Hinnant7da9b962012-01-30 16:07:00 +0000105static inline int decrementHandlerCount(__cxa_exception *exception) {
Howard Hinnant6eb54ad2011-12-08 19:35:18 +0000106 return --exception->handlerCount;
Marshall Clow7ac31262011-08-15 18:06:47 +0000107}
Marshall Clow7c4652f2011-08-09 15:09:41 +0000108
Howard Hinnante8fcf832011-12-07 21:16:40 +0000109/*
Marshall Clow7c4652f2011-08-09 15:09:41 +0000110 If reason isn't _URC_FOREIGN_EXCEPTION_CAUGHT, then the terminateHandler
111 stored in exc is called. Otherwise the exceptionDestructor stored in
112 exc is called, and then the memory for the exception is deallocated.
Howard Hinnanta36fb302012-01-22 19:14:27 +0000113
114 This is never called for a __cxa_dependent_exception.
Marshall Clow7c4652f2011-08-09 15:09:41 +0000115*/
Howard Hinnanta36fb302012-01-22 19:14:27 +0000116static
117void
118exception_cleanup_func(_Unwind_Reason_Code reason, _Unwind_Exception* unwind_exception)
119{
120 __cxa_exception* exception_header = cxa_exception_from_exception_unwind_exception(unwind_exception);
Marshall Clow7ac31262011-08-15 18:06:47 +0000121 if (_URC_FOREIGN_EXCEPTION_CAUGHT != reason)
Howard Hinnanta36fb302012-01-22 19:14:27 +0000122 std::__terminate(exception_header->terminateHandler);
Howard Hinnant8dd7a482012-02-01 18:44:21 +0000123 // Just in case there exists a dependent exception that is pointing to this,
124 // check the reference count and only destroy this if that count goes to zero.
125 __cxa_decrement_exception_refcount(unwind_exception + 1);
Marshall Clow7ac31262011-08-15 18:06:47 +0000126}
Marshall Clow7c4652f2011-08-09 15:09:41 +0000127
Eric Fiselier9e2169e2017-03-01 02:23:54 +0000128static _LIBCXXABI_NORETURN void failed_throw(__cxa_exception* exception_header) {
Marshall Clow7c4652f2011-08-09 15:09:41 +0000129// Section 2.5.3 says:
130// * For purposes of this ABI, several things are considered exception handlers:
131// ** A terminate() call due to a throw.
132// and
133// * Upon entry, Following initialization of the catch parameter,
134// a handler must call:
Marshall Clow7ac31262011-08-15 18:06:47 +0000135// * void *__cxa_begin_catch(void *exceptionObject );
Howard Hinnanta36fb302012-01-22 19:14:27 +0000136 (void) __cxa_begin_catch(&exception_header->unwindHeader);
137 std::__terminate(exception_header->terminateHandler);
Marshall Clow7ac31262011-08-15 18:06:47 +0000138}
Marshall Clow47c29eb2011-07-20 15:04:39 +0000139
Akira Hatanakaa3f273a2017-11-28 00:36:29 +0000140// Return the offset of the __cxa_exception header from the start of the
141// allocated buffer. If __cxa_exception's alignment is smaller than the maximum
142// useful alignment for the target machine, padding has to be inserted before
143// the header to ensure the thrown object that follows the header is
144// sufficiently aligned. This happens if _Unwind_exception isn't double-word
145// aligned (on Darwin, for example).
146static size_t get_cxa_exception_offset() {
147 struct S {
148 } __attribute__((aligned));
149
150 // Compute the maximum alignment for the target machine.
151 constexpr size_t alignment = std::alignment_of<S>::value;
152 constexpr size_t excp_size = sizeof(__cxa_exception);
153 constexpr size_t aligned_size =
154 (excp_size + alignment - 1) / alignment * alignment;
155 constexpr size_t offset = aligned_size - excp_size;
156 static_assert((offset == 0 ||
157 std::alignment_of<_Unwind_Exception>::value < alignment),
158 "offset is non-zero only if _Unwind_Exception isn't aligned");
159 return offset;
160}
161
Marshall Clow47c29eb2011-07-20 15:04:39 +0000162extern "C" {
163
164// Allocate a __cxa_exception object, and zero-fill it.
165// Reserve "thrown_size" bytes on the end for the user's exception
166// object. Zero-fill the object. If memory can't be allocated, call
167// std::terminate. Return a pointer to the memory to be used for the
168// user's exception object.
Shoaib Meenai54227ae2017-03-01 03:55:57 +0000169void *__cxa_allocate_exception(size_t thrown_size) throw() {
Howard Hinnanta36fb302012-01-22 19:14:27 +0000170 size_t actual_size = cxa_exception_size_from_exception_thrown_size(thrown_size);
Akira Hatanakaa3f273a2017-11-28 00:36:29 +0000171
172 // Allocate extra space before the __cxa_exception header to ensure the
173 // start of the thrown object is sufficiently aligned.
174 size_t header_offset = get_cxa_exception_offset();
175 char *raw_buffer =
176 (char *)__aligned_malloc_with_fallback(header_offset + actual_size);
177 if (NULL == raw_buffer)
Marshall Clow7ac31262011-08-15 18:06:47 +0000178 std::terminate();
Akira Hatanakaa3f273a2017-11-28 00:36:29 +0000179 __cxa_exception *exception_header =
180 static_cast<__cxa_exception *>((void *)(raw_buffer + header_offset));
Howard Hinnanta36fb302012-01-22 19:14:27 +0000181 std::memset(exception_header, 0, actual_size);
182 return thrown_object_from_cxa_exception(exception_header);
Marshall Clow7ac31262011-08-15 18:06:47 +0000183}
Marshall Clow47c29eb2011-07-20 15:04:39 +0000184
185
186// Free a __cxa_exception object allocated with __cxa_allocate_exception.
Shoaib Meenai54227ae2017-03-01 03:55:57 +0000187void __cxa_free_exception(void *thrown_object) throw() {
Akira Hatanakaa3f273a2017-11-28 00:36:29 +0000188 // Compute the size of the padding before the header.
189 size_t header_offset = get_cxa_exception_offset();
190 char *raw_buffer =
191 ((char *)cxa_exception_from_thrown_object(thrown_object)) - header_offset;
192 __aligned_free_with_fallback((void *)raw_buffer);
Marshall Clow7ac31262011-08-15 18:06:47 +0000193}
Marshall Clow47c29eb2011-07-20 15:04:39 +0000194
195
196// This function shall allocate a __cxa_dependent_exception and
197// return a pointer to it. (Really to the object, not past its' end).
198// Otherwise, it will work like __cxa_allocate_exception.
Howard Hinnant7da9b962012-01-30 16:07:00 +0000199void * __cxa_allocate_dependent_exception () {
Marshall Clow7ac31262011-08-15 18:06:47 +0000200 size_t actual_size = sizeof(__cxa_dependent_exception);
Eric Fiselieraad05942017-03-04 02:04:45 +0000201 void *ptr = __aligned_malloc_with_fallback(actual_size);
Marshall Clow7ac31262011-08-15 18:06:47 +0000202 if (NULL == ptr)
203 std::terminate();
204 std::memset(ptr, 0, actual_size);
Marshall Clow47c29eb2011-07-20 15:04:39 +0000205 return ptr;
Marshall Clow7ac31262011-08-15 18:06:47 +0000206}
Marshall Clow47c29eb2011-07-20 15:04:39 +0000207
208
209// This function shall free a dependent_exception.
210// It does not affect the reference count of the primary exception.
Howard Hinnant7da9b962012-01-30 16:07:00 +0000211void __cxa_free_dependent_exception (void * dependent_exception) {
Eric Fiselieraad05942017-03-04 02:04:45 +0000212 __aligned_free_with_fallback(dependent_exception);
Marshall Clow7ac31262011-08-15 18:06:47 +0000213}
Marshall Clow47c29eb2011-07-20 15:04:39 +0000214
Marshall Clow7c4652f2011-08-09 15:09:41 +0000215
216// 2.4.3 Throwing the Exception Object
217/*
218After constructing the exception object with the throw argument value,
219the generated code calls the __cxa_throw runtime library routine. This
220routine never returns.
221
222The __cxa_throw routine will do the following:
223
224* Obtain the __cxa_exception header from the thrown exception object address,
225which can be computed as follows:
226 __cxa_exception *header = ((__cxa_exception *) thrown_exception - 1);
227* Save the current unexpected_handler and terminate_handler in the __cxa_exception header.
228* Save the tinfo and dest arguments in the __cxa_exception header.
229* Set the exception_class field in the unwind header. This is a 64-bit value
230representing the ASCII string "XXXXC++\0", where "XXXX" is a
231vendor-dependent string. That is, for implementations conforming to this
232ABI, the low-order 4 bytes of this 64-bit value will be "C++\0".
233* Increment the uncaught_exception flag.
234* Call _Unwind_RaiseException in the system unwind library, Its argument is the
235pointer to the thrown exception, which __cxa_throw itself received as an argument.
236__Unwind_RaiseException begins the process of stack unwinding, described
237in Section 2.5. In special cases, such as an inability to find a
238handler, _Unwind_RaiseException may return. In that case, __cxa_throw
239will call terminate, assuming that there was no handler for the
240exception.
241*/
Shoaib Meenai54227ae2017-03-01 03:55:57 +0000242void
Saleem Abdulrasoolb4ec5792015-12-04 02:14:58 +0000243__cxa_throw(void *thrown_object, std::type_info *tinfo, void (*dest)(void *)) {
Marshall Clow7ac31262011-08-15 18:06:47 +0000244 __cxa_eh_globals *globals = __cxa_get_globals();
Howard Hinnanta36fb302012-01-22 19:14:27 +0000245 __cxa_exception* exception_header = cxa_exception_from_thrown_object(thrown_object);
Howard Hinnant6eb54ad2011-12-08 19:35:18 +0000246
Howard Hinnanta36fb302012-01-22 19:14:27 +0000247 exception_header->unexpectedHandler = std::get_unexpected();
248 exception_header->terminateHandler = std::get_terminate();
249 exception_header->exceptionType = tinfo;
250 exception_header->exceptionDestructor = dest;
251 setExceptionClass(&exception_header->unwindHeader);
252 exception_header->referenceCount = 1; // This is a newly allocated exception, no need for thread safety.
Marshall Clow7c4652f2011-08-09 15:09:41 +0000253 globals->uncaughtExceptions += 1; // Not atomically, since globals are thread-local
254
Howard Hinnanta36fb302012-01-22 19:14:27 +0000255 exception_header->unwindHeader.exception_cleanup = exception_cleanup_func;
Petr Hosek05e2ac52017-09-13 23:35:07 +0000256
Eric Fiselier05ba3282017-09-14 22:37:34 +0000257#if __has_feature(address_sanitizer)
Petr Hosek05e2ac52017-09-13 23:35:07 +0000258 // Inform the ASan runtime that now might be a good time to clean stuff up.
259 __asan_handle_no_return();
260#endif
261
Dan Alberta1fce462015-02-05 01:33:15 +0000262#ifdef __USING_SJLJ_EXCEPTIONS__
Howard Hinnanta36fb302012-01-22 19:14:27 +0000263 _Unwind_SjLj_RaiseException(&exception_header->unwindHeader);
Howard Hinnant6eb54ad2011-12-08 19:35:18 +0000264#else
Howard Hinnanta36fb302012-01-22 19:14:27 +0000265 _Unwind_RaiseException(&exception_header->unwindHeader);
Howard Hinnant6eb54ad2011-12-08 19:35:18 +0000266#endif
Howard Hinnant978bfde2012-01-28 00:34:46 +0000267 // This only happens when there is no handler, or some unexpected unwinding
268 // error happens.
Howard Hinnanta36fb302012-01-22 19:14:27 +0000269 failed_throw(exception_header);
Marshall Clow7ac31262011-08-15 18:06:47 +0000270}
Marshall Clow7c4652f2011-08-09 15:09:41 +0000271
272
273// 2.5.3 Exception Handlers
Howard Hinnanta36fb302012-01-22 19:14:27 +0000274/*
275The adjusted pointer is computed by the personality routine during phase 1
276 and saved in the exception header (either __cxa_exception or
277 __cxa_dependent_exception).
Howard Hinnant7da9b962012-01-30 16:07:00 +0000278
279 Requires: exception is native
Howard Hinnanta36fb302012-01-22 19:14:27 +0000280*/
Saleem Abdulrasool77a304b2015-12-04 02:14:41 +0000281void *__cxa_get_exception_ptr(void *unwind_exception) throw() {
Ranjeet Singh2ecb4ee2017-03-01 11:42:01 +0000282#if defined(_LIBCXXABI_ARM_EHABI)
Logan Chien05d51bc2014-05-10 00:42:10 +0000283 return reinterpret_cast<void*>(
Dan Albertda5a6b12015-02-05 23:48:06 +0000284 static_cast<_Unwind_Control_Block*>(unwind_exception)->barrier_cache.bitpattern[0]);
Logan Chien05d51bc2014-05-10 00:42:10 +0000285#else
Dan Albertda5a6b12015-02-05 23:48:06 +0000286 return cxa_exception_from_exception_unwind_exception(
287 static_cast<_Unwind_Exception*>(unwind_exception))->adjustedPtr;
Logan Chien05d51bc2014-05-10 00:42:10 +0000288#endif
Marshall Clow7ac31262011-08-15 18:06:47 +0000289}
Logan Chien05d51bc2014-05-10 00:42:10 +0000290
Ranjeet Singh2ecb4ee2017-03-01 11:42:01 +0000291#if defined(_LIBCXXABI_ARM_EHABI)
Logan Chien05d51bc2014-05-10 00:42:10 +0000292/*
293The routine to be called before the cleanup. This will save __cxa_exception in
294__cxa_eh_globals, so that __cxa_end_cleanup() can recover later.
295*/
Saleem Abdulrasool77a304b2015-12-04 02:14:41 +0000296bool __cxa_begin_cleanup(void *unwind_arg) throw() {
Logan Chien05d51bc2014-05-10 00:42:10 +0000297 _Unwind_Exception* unwind_exception = static_cast<_Unwind_Exception*>(unwind_arg);
298 __cxa_eh_globals* globals = __cxa_get_globals();
299 __cxa_exception* exception_header =
300 cxa_exception_from_exception_unwind_exception(unwind_exception);
301
302 if (isOurExceptionClass(unwind_exception))
303 {
304 if (0 == exception_header->propagationCount)
305 {
306 exception_header->nextPropagatingException = globals->propagatingExceptions;
307 globals->propagatingExceptions = exception_header;
308 }
309 ++exception_header->propagationCount;
310 }
311 else
312 {
313 // If the propagatingExceptions stack is not empty, since we can't
314 // chain the foreign exception, terminate it.
315 if (NULL != globals->propagatingExceptions)
316 std::terminate();
317 globals->propagatingExceptions = exception_header;
318 }
319 return true;
320}
321
322/*
323The routine to be called after the cleanup has been performed. It will get the
324propagating __cxa_exception from __cxa_eh_globals, and continue the stack
325unwinding with _Unwind_Resume.
326
327According to ARM EHABI 8.4.1, __cxa_end_cleanup() should not clobber any
328register, thus we have to write this function in assembly so that we can save
329{r1, r2, r3}. We don't have to save r0 because it is the return value and the
330first argument to _Unwind_Resume(). In addition, we are saving r4 in order to
331align the stack to 16 bytes, even though it is a callee-save register.
332*/
333__attribute__((used)) static _Unwind_Exception *
334__cxa_end_cleanup_impl()
335{
336 __cxa_eh_globals* globals = __cxa_get_globals();
337 __cxa_exception* exception_header = globals->propagatingExceptions;
338 if (NULL == exception_header)
339 {
340 // It seems that __cxa_begin_cleanup() is not called properly.
341 // We have no choice but terminate the program now.
342 std::terminate();
343 }
344
345 if (isOurExceptionClass(&exception_header->unwindHeader))
346 {
347 --exception_header->propagationCount;
348 if (0 == exception_header->propagationCount)
349 {
350 globals->propagatingExceptions = exception_header->nextPropagatingException;
351 exception_header->nextPropagatingException = NULL;
352 }
353 }
354 else
355 {
356 globals->propagatingExceptions = NULL;
357 }
358 return &exception_header->unwindHeader;
359}
360
361asm (
Logan Chienf67395c2015-12-22 14:38:30 +0000362 " .pushsection .text.__cxa_end_cleanup,\"ax\",%progbits\n"
Logan Chien05d51bc2014-05-10 00:42:10 +0000363 " .globl __cxa_end_cleanup\n"
364 " .type __cxa_end_cleanup,%function\n"
365 "__cxa_end_cleanup:\n"
366 " push {r1, r2, r3, r4}\n"
367 " bl __cxa_end_cleanup_impl\n"
368 " pop {r1, r2, r3, r4}\n"
369 " bl _Unwind_Resume\n"
370 " bl abort\n"
371 " .popsection"
372);
Ranjeet Singh2ecb4ee2017-03-01 11:42:01 +0000373#endif // defined(_LIBCXXABI_ARM_EHABI)
Marshall Clow7c4652f2011-08-09 15:09:41 +0000374
Marshall Clow7c4652f2011-08-09 15:09:41 +0000375/*
Howard Hinnant7da9b962012-01-30 16:07:00 +0000376This routine can catch foreign or native exceptions. If native, the exception
377can be a primary or dependent variety. This routine may remain blissfully
378ignorant of whether the native exception is primary or dependent.
379
380If the exception is native:
Marshall Clow7c4652f2011-08-09 15:09:41 +0000381* Increment's the exception's handler count.
Howard Hinnant7da9b962012-01-30 16:07:00 +0000382* Push the exception on the stack of currently-caught exceptions if it is not
383 already there (from a rethrow).
Marshall Clow7c4652f2011-08-09 15:09:41 +0000384* Decrements the uncaught_exception count.
Howard Hinnant7da9b962012-01-30 16:07:00 +0000385* Returns the adjusted pointer to the exception object, which is stored in
386 the __cxa_exception by the personality routine.
387
388If the exception is foreign, this means it did not originate from one of throw
389routines. The foreign exception does not necessarily have a __cxa_exception
390header. However we can catch it here with a catch (...), or with a call
391to terminate or unexpected during unwinding.
392* Do not try to increment the exception's handler count, we don't know where
393 it is.
394* Push the exception on the stack of currently-caught exceptions only if the
395 stack is empty. The foreign exception has no way to link to the current
396 top of stack. If the stack is not empty, call terminate. Even with an
397 empty stack, this is hacked in by pushing a pointer to an imaginary
398 __cxa_exception block in front of the foreign exception. It would be better
399 if the __cxa_eh_globals structure had a stack of _Unwind_Exception, but it
400 doesn't. It has a stack of __cxa_exception (which has a next* in it).
401* Do not decrement the uncaught_exception count because we didn't increment it
402 in __cxa_throw (or one of our rethrow functions).
403* If we haven't terminated, assume the exception object is just past the
404 _Unwind_Exception and return a pointer to that.
Marshall Clow7c4652f2011-08-09 15:09:41 +0000405*/
Howard Hinnanta36fb302012-01-22 19:14:27 +0000406void*
Howard Hinnant7da9b962012-01-30 16:07:00 +0000407__cxa_begin_catch(void* unwind_arg) throw()
Howard Hinnanta36fb302012-01-22 19:14:27 +0000408{
Howard Hinnant7da9b962012-01-30 16:07:00 +0000409 _Unwind_Exception* unwind_exception = static_cast<_Unwind_Exception*>(unwind_arg);
410 bool native_exception = isOurExceptionClass(unwind_exception);
411 __cxa_eh_globals* globals = __cxa_get_globals();
412 // exception_header is a hackish offset from a foreign exception, but it
413 // works as long as we're careful not to try to access any __cxa_exception
414 // parts.
Howard Hinnanta36fb302012-01-22 19:14:27 +0000415 __cxa_exception* exception_header =
416 cxa_exception_from_exception_unwind_exception
417 (
418 static_cast<_Unwind_Exception*>(unwind_exception)
419 );
Howard Hinnant7da9b962012-01-30 16:07:00 +0000420 if (native_exception)
421 {
422 // Increment the handler count, removing the flag about being rethrown
423 exception_header->handlerCount = exception_header->handlerCount < 0 ?
424 -exception_header->handlerCount + 1 : exception_header->handlerCount + 1;
425 // place the exception on the top of the stack if it's not already
426 // there by a previous rethrow
427 if (exception_header != globals->caughtExceptions)
428 {
429 exception_header->nextException = globals->caughtExceptions;
430 globals->caughtExceptions = exception_header;
431 }
432 globals->uncaughtExceptions -= 1; // Not atomically, since globals are thread-local
Ranjeet Singh2ecb4ee2017-03-01 11:42:01 +0000433#if defined(_LIBCXXABI_ARM_EHABI)
Logan Chien05d51bc2014-05-10 00:42:10 +0000434 return reinterpret_cast<void*>(exception_header->unwindHeader.barrier_cache.bitpattern[0]);
435#else
Howard Hinnant7da9b962012-01-30 16:07:00 +0000436 return exception_header->adjustedPtr;
Logan Chien05d51bc2014-05-10 00:42:10 +0000437#endif
Marshall Clow7ac31262011-08-15 18:06:47 +0000438 }
Howard Hinnant7da9b962012-01-30 16:07:00 +0000439 // Else this is a foreign exception
440 // If the caughtExceptions stack is not empty, terminate
441 if (globals->caughtExceptions != 0)
442 std::terminate();
443 // Push the foreign exception on to the stack
444 globals->caughtExceptions = exception_header;
445 return unwind_exception + 1;
Marshall Clow7ac31262011-08-15 18:06:47 +0000446}
Marshall Clow7c4652f2011-08-09 15:09:41 +0000447
448
449/*
450Upon exit for any reason, a handler must call:
451 void __cxa_end_catch ();
452
Howard Hinnant7da9b962012-01-30 16:07:00 +0000453This routine can be called for either a native or foreign exception.
454For a native exception:
Marshall Clow7c4652f2011-08-09 15:09:41 +0000455* Locates the most recently caught exception and decrements its handler count.
456* Removes the exception from the caught exception stack, if the handler count goes to zero.
Howard Hinnant6eb54ad2011-12-08 19:35:18 +0000457* If the handler count goes down to zero, and the exception was not re-thrown
458 by throw, it locates the primary exception (which may be the same as the one
459 it's handling) and decrements its reference count. If that reference count
460 goes to zero, the function destroys the exception. In any case, if the current
461 exception is a dependent exception, it destroys that.
Howard Hinnant7da9b962012-01-30 16:07:00 +0000462
463For a foreign exception:
464* If it has been rethrown, there is nothing to do.
465* Otherwise delete the exception and pop the catch stack to empty.
Marshall Clow7c4652f2011-08-09 15:09:41 +0000466*/
Shoaib Meenai54227ae2017-03-01 03:55:57 +0000467void __cxa_end_catch() {
Nico Weberd6e23362014-06-25 23:52:07 +0000468 static_assert(sizeof(__cxa_exception) == sizeof(__cxa_dependent_exception),
469 "sizeof(__cxa_exception) must be equal to "
470 "sizeof(__cxa_dependent_exception)");
Saleem Abdulrasool4c91e382015-11-18 05:33:38 +0000471 static_assert(__builtin_offsetof(__cxa_exception, referenceCount) ==
472 __builtin_offsetof(__cxa_dependent_exception,
473 primaryException),
474 "the layout of __cxa_exception must match the layout of "
475 "__cxa_dependent_exception");
476 static_assert(__builtin_offsetof(__cxa_exception, handlerCount) ==
477 __builtin_offsetof(__cxa_dependent_exception, handlerCount),
478 "the layout of __cxa_exception must match the layout of "
479 "__cxa_dependent_exception");
Howard Hinnant7da9b962012-01-30 16:07:00 +0000480 __cxa_eh_globals* globals = __cxa_get_globals_fast(); // __cxa_get_globals called in __cxa_begin_catch
481 __cxa_exception* exception_header = globals->caughtExceptions;
482 // If we've rethrown a foreign exception, then globals->caughtExceptions
483 // will have been made an empty stack by __cxa_rethrow() and there is
484 // nothing more to be done. Do nothing!
485 if (NULL != exception_header)
486 {
487 bool native_exception = isOurExceptionClass(&exception_header->unwindHeader);
488 if (native_exception)
489 {
490 // This is a native exception
491 if (exception_header->handlerCount < 0)
492 {
493 // The exception has been rethrown by __cxa_rethrow, so don't delete it
494 if (0 == incrementHandlerCount(exception_header))
495 {
496 // Remove from the chain of uncaught exceptions
497 globals->caughtExceptions = exception_header->nextException;
498 // but don't destroy
Howard Hinnant6eb54ad2011-12-08 19:35:18 +0000499 }
Howard Hinnant7da9b962012-01-30 16:07:00 +0000500 // Keep handlerCount negative in case there are nested catch's
501 // that need to be told that this exception is rethrown. Don't
502 // erase this rethrow flag until the exception is recaught.
503 }
504 else
505 {
506 // The native exception has not been rethrown
507 if (0 == decrementHandlerCount(exception_header))
508 {
509 // Remove from the chain of uncaught exceptions
510 globals->caughtExceptions = exception_header->nextException;
511 // Destroy this exception, being careful to distinguish
512 // between dependent and primary exceptions
513 if (isDependentException(&exception_header->unwindHeader))
514 {
515 // Reset exception_header to primaryException and deallocate the dependent exception
516 __cxa_dependent_exception* dep_exception_header =
517 reinterpret_cast<__cxa_dependent_exception*>(exception_header);
518 exception_header =
519 cxa_exception_from_thrown_object(dep_exception_header->primaryException);
520 __cxa_free_dependent_exception(dep_exception_header);
521 }
522 // Destroy the primary exception only if its referenceCount goes to 0
523 // (this decrement must be atomic)
524 __cxa_decrement_exception_refcount(thrown_object_from_cxa_exception(exception_header));
525 }
Marshall Clow7ac31262011-08-15 18:06:47 +0000526 }
527 }
Howard Hinnant7da9b962012-01-30 16:07:00 +0000528 else
529 {
530 // The foreign exception has not been rethrown. Pop the stack
531 // and delete it. If there are nested catch's and they try
532 // to touch a foreign exception in any way, that is undefined
533 // behavior. They likely can't since the only way to catch
534 // a foreign exception is with catch (...)!
535 _Unwind_DeleteException(&globals->caughtExceptions->unwindHeader);
536 globals->caughtExceptions = 0;
537 }
Marshall Clow7c4652f2011-08-09 15:09:41 +0000538 }
Marshall Clow7ac31262011-08-15 18:06:47 +0000539}
Marshall Clow7c4652f2011-08-09 15:09:41 +0000540
Howard Hinnanta36fb302012-01-22 19:14:27 +0000541// Note: exception_header may be masquerading as a __cxa_dependent_exception
542// and that's ok. exceptionType is there too.
Howard Hinnant7da9b962012-01-30 16:07:00 +0000543// However watch out for foreign exceptions. Return null for them.
Shoaib Meenai54227ae2017-03-01 03:55:57 +0000544std::type_info *__cxa_current_exception_type() {
Marshall Clow7c4652f2011-08-09 15:09:41 +0000545// get the current exception
Marshall Clow64e00972011-12-22 15:45:05 +0000546 __cxa_eh_globals *globals = __cxa_get_globals_fast();
547 if (NULL == globals)
548 return NULL; // If there have never been any exceptions, there are none now.
Howard Hinnanta36fb302012-01-22 19:14:27 +0000549 __cxa_exception *exception_header = globals->caughtExceptions;
550 if (NULL == exception_header)
Marshall Clow7c4652f2011-08-09 15:09:41 +0000551 return NULL; // No current exception
Howard Hinnant7da9b962012-01-30 16:07:00 +0000552 if (!isOurExceptionClass(&exception_header->unwindHeader))
553 return NULL;
Howard Hinnanta36fb302012-01-22 19:14:27 +0000554 return exception_header->exceptionType;
Marshall Clow7ac31262011-08-15 18:06:47 +0000555}
Marshall Clow7c4652f2011-08-09 15:09:41 +0000556
557// 2.5.4 Rethrowing Exceptions
Howard Hinnant7da9b962012-01-30 16:07:00 +0000558/* This routine can rethrow native or foreign exceptions.
559If the exception is native:
Marshall Clow7c4652f2011-08-09 15:09:41 +0000560* marks the exception object on top of the caughtExceptions stack
561 (in an implementation-defined way) as being rethrown.
562* If the caughtExceptions stack is empty, it calls terminate()
563 (see [C++FDIS] [except.throw], 15.1.8).
Howard Hinnant7da9b962012-01-30 16:07:00 +0000564* It then calls _Unwind_RaiseException which should not return
Howard Hinnantd4028fe2011-12-12 19:11:42 +0000565 (terminate if it does).
Howard Hinnanta36fb302012-01-22 19:14:27 +0000566 Note: exception_header may be masquerading as a __cxa_dependent_exception
567 and that's ok.
Marshall Clow7c4652f2011-08-09 15:09:41 +0000568*/
Shoaib Meenai54227ae2017-03-01 03:55:57 +0000569void __cxa_rethrow() {
Howard Hinnant7da9b962012-01-30 16:07:00 +0000570 __cxa_eh_globals* globals = __cxa_get_globals();
Howard Hinnant7da9b962012-01-30 16:07:00 +0000571 __cxa_exception* exception_header = globals->caughtExceptions;
572 if (NULL == exception_header)
573 std::terminate(); // throw; called outside of a exception handler
574 bool native_exception = isOurExceptionClass(&exception_header->unwindHeader);
575 if (native_exception)
576 {
Howard Hinnant7da9b962012-01-30 16:07:00 +0000577 // Mark the exception as being rethrown (reverse the effects of __cxa_begin_catch)
578 exception_header->handlerCount = -exception_header->handlerCount;
579 globals->uncaughtExceptions += 1;
580 // __cxa_end_catch will remove this exception from the caughtExceptions stack if necessary
581 }
582 else // this is a foreign exception
583 {
584 // The only way to communicate to __cxa_end_catch that we've rethrown
585 // a foreign exception, so don't delete us, is to pop the stack here
586 // which must be empty afterwards. Then __cxa_end_catch will do
587 // nothing
588 globals->caughtExceptions = 0;
589 }
Dan Alberta1fce462015-02-05 01:33:15 +0000590#ifdef __USING_SJLJ_EXCEPTIONS__
Howard Hinnant7f9d2132012-02-29 22:14:19 +0000591 _Unwind_SjLj_RaiseException(&exception_header->unwindHeader);
Marshall Clow7c4652f2011-08-09 15:09:41 +0000592#else
Howard Hinnant7f9d2132012-02-29 22:14:19 +0000593 _Unwind_RaiseException(&exception_header->unwindHeader);
Marshall Clow7c4652f2011-08-09 15:09:41 +0000594#endif
595
Howard Hinnant7da9b962012-01-30 16:07:00 +0000596 // If we get here, some kind of unwinding error has occurred.
597 // There is some weird code generation bug happening with
598 // Apple clang version 4.0 (tags/Apple/clang-418.0.2) (based on LLVM 3.1svn)
599 // If we call failed_throw here. Turns up with -O2 or higher, and -Os.
600 __cxa_begin_catch(&exception_header->unwindHeader);
601 if (native_exception)
602 std::__terminate(exception_header->terminateHandler);
603 // Foreign exception: can't get exception_header->terminateHandler
604 std::terminate();
Marshall Clow7ac31262011-08-15 18:06:47 +0000605}
Marshall Clow7c4652f2011-08-09 15:09:41 +0000606
Howard Hinnant1b0aed92011-12-21 23:32:11 +0000607/*
Howard Hinnant7da9b962012-01-30 16:07:00 +0000608 If thrown_object is not null, atomically increment the referenceCount field
609 of the __cxa_exception header associated with the thrown object referred to
610 by thrown_object.
611
612 Requires: If thrown_object is not NULL, it is a native exception.
Howard Hinnant1b0aed92011-12-21 23:32:11 +0000613*/
Shoaib Meenai54227ae2017-03-01 03:55:57 +0000614void
Saleem Abdulrasoolb4ec5792015-12-04 02:14:58 +0000615__cxa_increment_exception_refcount(void *thrown_object) throw() {
Howard Hinnanta36fb302012-01-22 19:14:27 +0000616 if (thrown_object != NULL )
Howard Hinnant1b0aed92011-12-21 23:32:11 +0000617 {
Howard Hinnanta36fb302012-01-22 19:14:27 +0000618 __cxa_exception* exception_header = cxa_exception_from_thrown_object(thrown_object);
619 __sync_add_and_fetch(&exception_header->referenceCount, 1);
Howard Hinnant1b0aed92011-12-21 23:32:11 +0000620 }
621}
622
623/*
Howard Hinnant7da9b962012-01-30 16:07:00 +0000624 If thrown_object is not null, atomically decrement the referenceCount field
625 of the __cxa_exception header associated with the thrown object referred to
626 by thrown_object. If the referenceCount drops to zero, destroy and
627 deallocate the exception.
628
629 Requires: If thrown_object is not NULL, it is a native exception.
Howard Hinnant1b0aed92011-12-21 23:32:11 +0000630*/
Shoaib Meenai54227ae2017-03-01 03:55:57 +0000631void
Saleem Abdulrasoolb4ec5792015-12-04 02:14:58 +0000632__cxa_decrement_exception_refcount(void *thrown_object) throw() {
Howard Hinnant1b0aed92011-12-21 23:32:11 +0000633 if (thrown_object != NULL )
634 {
Howard Hinnanta36fb302012-01-22 19:14:27 +0000635 __cxa_exception* exception_header = cxa_exception_from_thrown_object(thrown_object);
636 if (__sync_sub_and_fetch(&exception_header->referenceCount, size_t(1)) == 0)
Howard Hinnant1b0aed92011-12-21 23:32:11 +0000637 {
Howard Hinnanta36fb302012-01-22 19:14:27 +0000638 if (NULL != exception_header->exceptionDestructor)
639 exception_header->exceptionDestructor(thrown_object);
Howard Hinnant1b0aed92011-12-21 23:32:11 +0000640 __cxa_free_exception(thrown_object);
641 }
642 }
643}
644
645/*
646 Returns a pointer to the thrown object (if any) at the top of the
Howard Hinnant6d00fef2013-02-15 15:48:49 +0000647 caughtExceptions stack. Atomically increment the exception's referenceCount.
Howard Hinnant7da9b962012-01-30 16:07:00 +0000648 If there is no such thrown object or if the thrown object is foreign,
649 returns null.
Marshall Clow0acbd982012-01-04 22:18:10 +0000650
651 We can use __cxa_get_globals_fast here to get the globals because if there have
652 been no exceptions thrown, ever, on this thread, we can return NULL without
653 the need to allocate the exception-handling globals.
Howard Hinnant1b0aed92011-12-21 23:32:11 +0000654*/
Shoaib Meenai54227ae2017-03-01 03:55:57 +0000655void *__cxa_current_primary_exception() throw() {
Howard Hinnant1b0aed92011-12-21 23:32:11 +0000656// get the current exception
Marshall Clowaeed3a92012-01-03 23:26:09 +0000657 __cxa_eh_globals* globals = __cxa_get_globals_fast();
Marshall Clow62edc012012-01-03 23:10:20 +0000658 if (NULL == globals)
Marshall Clow2bce81b2012-01-04 14:56:09 +0000659 return NULL; // If there are no globals, there is no exception
Howard Hinnanta36fb302012-01-22 19:14:27 +0000660 __cxa_exception* exception_header = globals->caughtExceptions;
661 if (NULL == exception_header)
Howard Hinnant1b0aed92011-12-21 23:32:11 +0000662 return NULL; // No current exception
Howard Hinnant7da9b962012-01-30 16:07:00 +0000663 if (!isOurExceptionClass(&exception_header->unwindHeader))
664 return NULL; // Can't capture a foreign exception (no way to refcount it)
Howard Hinnanta36fb302012-01-22 19:14:27 +0000665 if (isDependentException(&exception_header->unwindHeader)) {
666 __cxa_dependent_exception* dep_exception_header =
667 reinterpret_cast<__cxa_dependent_exception*>(exception_header);
668 exception_header = cxa_exception_from_thrown_object(dep_exception_header->primaryException);
Howard Hinnant1b0aed92011-12-21 23:32:11 +0000669 }
Howard Hinnanta36fb302012-01-22 19:14:27 +0000670 void* thrown_object = thrown_object_from_cxa_exception(exception_header);
Howard Hinnant1b0aed92011-12-21 23:32:11 +0000671 __cxa_increment_exception_refcount(thrown_object);
672 return thrown_object;
673}
674
675/*
676 If reason isn't _URC_FOREIGN_EXCEPTION_CAUGHT, then the terminateHandler
677 stored in exc is called. Otherwise the referenceCount stored in the
678 primary exception is decremented, destroying the primary if necessary.
679 Finally the dependent exception is destroyed.
680*/
681static
682void
Howard Hinnanta36fb302012-01-22 19:14:27 +0000683dependent_exception_cleanup(_Unwind_Reason_Code reason, _Unwind_Exception* unwind_exception)
Howard Hinnant1b0aed92011-12-21 23:32:11 +0000684{
Howard Hinnanta36fb302012-01-22 19:14:27 +0000685 __cxa_dependent_exception* dep_exception_header =
686 reinterpret_cast<__cxa_dependent_exception*>(unwind_exception + 1) - 1;
Howard Hinnant1b0aed92011-12-21 23:32:11 +0000687 if (_URC_FOREIGN_EXCEPTION_CAUGHT != reason)
Howard Hinnanta36fb302012-01-22 19:14:27 +0000688 std::__terminate(dep_exception_header->terminateHandler);
689 __cxa_decrement_exception_refcount(dep_exception_header->primaryException);
690 __cxa_free_dependent_exception(dep_exception_header);
Howard Hinnant1b0aed92011-12-21 23:32:11 +0000691}
692
693/*
Howard Hinnant6d00fef2013-02-15 15:48:49 +0000694 If thrown_object is not null, allocate, initialize and throw a dependent
Howard Hinnant1b0aed92011-12-21 23:32:11 +0000695 exception.
696*/
697void
698__cxa_rethrow_primary_exception(void* thrown_object)
699{
700 if ( thrown_object != NULL )
701 {
Howard Hinnant7da9b962012-01-30 16:07:00 +0000702 // thrown_object guaranteed to be native because
703 // __cxa_current_primary_exception returns NULL for foreign exceptions
Howard Hinnanta36fb302012-01-22 19:14:27 +0000704 __cxa_exception* exception_header = cxa_exception_from_thrown_object(thrown_object);
705 __cxa_dependent_exception* dep_exception_header =
706 static_cast<__cxa_dependent_exception*>(__cxa_allocate_dependent_exception());
707 dep_exception_header->primaryException = thrown_object;
Howard Hinnant1b0aed92011-12-21 23:32:11 +0000708 __cxa_increment_exception_refcount(thrown_object);
Howard Hinnanta36fb302012-01-22 19:14:27 +0000709 dep_exception_header->exceptionType = exception_header->exceptionType;
710 dep_exception_header->unexpectedHandler = std::get_unexpected();
711 dep_exception_header->terminateHandler = std::get_terminate();
712 setDependentExceptionClass(&dep_exception_header->unwindHeader);
Howard Hinnantdd47ca42011-12-21 23:48:05 +0000713 __cxa_get_globals()->uncaughtExceptions += 1;
Howard Hinnanta36fb302012-01-22 19:14:27 +0000714 dep_exception_header->unwindHeader.exception_cleanup = dependent_exception_cleanup;
Dan Alberta1fce462015-02-05 01:33:15 +0000715#ifdef __USING_SJLJ_EXCEPTIONS__
Howard Hinnanta36fb302012-01-22 19:14:27 +0000716 _Unwind_SjLj_RaiseException(&dep_exception_header->unwindHeader);
Howard Hinnant1b0aed92011-12-21 23:32:11 +0000717#else
Howard Hinnanta36fb302012-01-22 19:14:27 +0000718 _Unwind_RaiseException(&dep_exception_header->unwindHeader);
Howard Hinnant1b0aed92011-12-21 23:32:11 +0000719#endif
720 // Some sort of unwinding error. Note that terminate is a handler.
Howard Hinnanta36fb302012-01-22 19:14:27 +0000721 __cxa_begin_catch(&dep_exception_header->unwindHeader);
Howard Hinnant1b0aed92011-12-21 23:32:11 +0000722 }
723 // If we return client will call terminate()
724}
725
Howard Hinnantca6514d2012-01-24 00:01:31 +0000726bool
Marshall Clow5013d7c2015-06-02 13:03:17 +0000727__cxa_uncaught_exception() throw() { return __cxa_uncaught_exceptions() != 0; }
728
729unsigned int
730__cxa_uncaught_exceptions() throw()
Howard Hinnantca6514d2012-01-24 00:01:31 +0000731{
Howard Hinnant7da9b962012-01-30 16:07:00 +0000732 // This does not report foreign exceptions in flight
Howard Hinnantca6514d2012-01-24 00:01:31 +0000733 __cxa_eh_globals* globals = __cxa_get_globals_fast();
734 if (globals == 0)
Marshall Clow5013d7c2015-06-02 13:03:17 +0000735 return 0;
736 return globals->uncaughtExceptions;
Howard Hinnantca6514d2012-01-24 00:01:31 +0000737}
738
Marshall Clow47c29eb2011-07-20 15:04:39 +0000739} // extern "C"
740
Marshall Clow47c29eb2011-07-20 15:04:39 +0000741} // abi