blob: e717bc725ec76ed5a34650ffee7c4400eb312008 [file] [log] [blame]
Marshall Clowe2dcb752011-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"
10// http://www.codesourcery.com/public/cxx-abi/abi-eh.html
11//
12//===----------------------------------------------------------------------===//
13
14#include "cxxabi.h"
15
16#include <exception> // for std::terminate
17#include <cstdlib> // for malloc, free
18#include <string> // for memset
19#include <pthread.h>
20
21#include "cxa_exception.hpp"
Howard Hinnant5ec91832011-12-07 21:16:40 +000022#include "cxa_handlers.hpp"
Marshall Clowe2dcb752011-07-20 15:04:39 +000023
24namespace __cxxabiv1 {
Marshall Clow87694492011-08-09 15:09:41 +000025static const uint64_t kOurExceptionClass = 0x434C4E47432B2B00; // CLNGC++\0
26static const uint64_t kOurDependentExceptionClass = 0x434C4E47432B2B01; // CLNGC++\1
27
Marshall Clowe2dcb752011-07-20 15:04:39 +000028// Utility routines
Howard Hinnant5ec91832011-12-07 21:16:40 +000029static inline __cxa_exception *exception_from_thrown_object(void *p) throw() {
Marshall Clow9b454bc2011-08-15 18:06:47 +000030 return ((__cxa_exception *) p) - 1;
31}
Marshall Clowe2dcb752011-07-20 15:04:39 +000032
Howard Hinnant5ec91832011-12-07 21:16:40 +000033static inline void * thrown_object_from_exception(void *p) throw() {
Marshall Clow9b454bc2011-08-15 18:06:47 +000034 return (void *) (((__cxa_exception *) p) + 1 );
35}
Marshall Clowe2dcb752011-07-20 15:04:39 +000036
Howard Hinnant5ec91832011-12-07 21:16:40 +000037static inline size_t object_size_from_exception_size(size_t size) throw() {
Marshall Clowe2dcb752011-07-20 15:04:39 +000038 return size + sizeof (__cxa_exception);
Marshall Clow9b454bc2011-08-15 18:06:47 +000039}
Marshall Clowe2dcb752011-07-20 15:04:39 +000040
Marshall Clow87694492011-08-09 15:09:41 +000041// Get the exception object from the unwind pointer.
42// Relies on the structure layout, where the unwind pointer is right in
43// front of the user's exception object
44static __cxa_exception *
Marshall Clow9b454bc2011-08-15 18:06:47 +000045exception_from_exception_object(void *ptr) throw() {
46 _Unwind_Exception *p = reinterpret_cast<_Unwind_Exception *>(ptr);
47 return exception_from_thrown_object(p + 1 );
48}
Marshall Clow87694492011-08-09 15:09:41 +000049
Marshall Clow9b454bc2011-08-15 18:06:47 +000050static void setExceptionClass(_Unwind_Exception *unwind) throw() {
Marshall Clow87694492011-08-09 15:09:41 +000051 unwind->exception_class = kOurExceptionClass;
Marshall Clow9b454bc2011-08-15 18:06:47 +000052}
Marshall Clow87694492011-08-09 15:09:41 +000053
Marshall Clow9b454bc2011-08-15 18:06:47 +000054static void setDependentExceptionClass(_Unwind_Exception *unwind) throw() {
Marshall Clow87694492011-08-09 15:09:41 +000055 unwind->exception_class = kOurDependentExceptionClass;
Marshall Clow9b454bc2011-08-15 18:06:47 +000056}
Marshall Clow87694492011-08-09 15:09:41 +000057
58// Is it one of ours?
Marshall Clow9b454bc2011-08-15 18:06:47 +000059static bool isOurExceptionClass(_Unwind_Exception *unwind) throw() {
60 return(unwind->exception_class == kOurExceptionClass)||
61 (unwind->exception_class == kOurDependentExceptionClass);
62}
Marshall Clow87694492011-08-09 15:09:41 +000063
Marshall Clow9b454bc2011-08-15 18:06:47 +000064static bool isDependentException(_Unwind_Exception *unwind) throw() {
65 return (unwind->exception_class & 0xFF) == 0x01;
66}
67
Howard Hinnant6ccae152011-12-08 19:35:18 +000068// This does not need to be atomic
69static inline int incrementHandlerCount(__cxa_exception *exception) throw() {
70 return ++exception->handlerCount;
Marshall Clow9b454bc2011-08-15 18:06:47 +000071}
72
Howard Hinnant6ccae152011-12-08 19:35:18 +000073// This does not need to be atomic
74static inline int decrementHandlerCount(__cxa_exception *exception) throw() {
75 return --exception->handlerCount;
Marshall Clow9b454bc2011-08-15 18:06:47 +000076}
Marshall Clow87694492011-08-09 15:09:41 +000077
Marshall Clowe2dcb752011-07-20 15:04:39 +000078#include "fallback_malloc.cpp"
79
80// Allocate some memory from _somewhere_
Marshall Clow9b454bc2011-08-15 18:06:47 +000081static void *do_malloc(size_t size) throw() {
82 void *ptr = std::malloc(size);
83 if (NULL == ptr) // if malloc fails, fall back to emergency stash
84 ptr = fallback_malloc(size);
Marshall Clowe2dcb752011-07-20 15:04:39 +000085 return ptr;
Marshall Clow9b454bc2011-08-15 18:06:47 +000086}
Marshall Clowe2dcb752011-07-20 15:04:39 +000087
88// Didn't know you could "return <expression>" from a void function, did you?
89// Well, you can, if the type of the expression is "void" also.
Marshall Clow9b454bc2011-08-15 18:06:47 +000090static void do_free(void *ptr) throw() {
91 return is_fallback_ptr(ptr) ? fallback_free(ptr) : std::free(ptr);
92}
Marshall Clowe2dcb752011-07-20 15:04:39 +000093
Howard Hinnant5ec91832011-12-07 21:16:40 +000094/*
Marshall Clow87694492011-08-09 15:09:41 +000095 If reason isn't _URC_FOREIGN_EXCEPTION_CAUGHT, then the terminateHandler
96 stored in exc is called. Otherwise the exceptionDestructor stored in
97 exc is called, and then the memory for the exception is deallocated.
98*/
Marshall Clow9b454bc2011-08-15 18:06:47 +000099static void exception_cleanup_func(_Unwind_Reason_Code reason, struct _Unwind_Exception* exc) {
100 __cxa_exception *exception = exception_from_exception_object(exc);
101 if (_URC_FOREIGN_EXCEPTION_CAUGHT != reason)
Howard Hinnant5ec91832011-12-07 21:16:40 +0000102 std::__terminate(exception->terminateHandler);
Marshall Clow87694492011-08-09 15:09:41 +0000103
Marshall Clow9b454bc2011-08-15 18:06:47 +0000104 void * thrown_object = thrown_object_from_exception(exception);
105 if (NULL != exception->exceptionDestructor)
106 exception->exceptionDestructor(thrown_object);
107 __cxa_free_exception(thrown_object);
108}
Marshall Clow87694492011-08-09 15:09:41 +0000109
Marshall Clow9b454bc2011-08-15 18:06:47 +0000110static LIBCXXABI_NORETURN void failed_throw(__cxa_exception *exception) throw() {
Marshall Clow87694492011-08-09 15:09:41 +0000111// Section 2.5.3 says:
112// * For purposes of this ABI, several things are considered exception handlers:
113// ** A terminate() call due to a throw.
114// and
115// * Upon entry, Following initialization of the catch parameter,
116// a handler must call:
Marshall Clow9b454bc2011-08-15 18:06:47 +0000117// * void *__cxa_begin_catch(void *exceptionObject );
118 (void) __cxa_begin_catch(&exception->unwindHeader);
Howard Hinnant5ec91832011-12-07 21:16:40 +0000119 std::__terminate(exception->terminateHandler);
Marshall Clow9b454bc2011-08-15 18:06:47 +0000120}
Marshall Clowe2dcb752011-07-20 15:04:39 +0000121
122extern "C" {
123
124// Allocate a __cxa_exception object, and zero-fill it.
125// Reserve "thrown_size" bytes on the end for the user's exception
126// object. Zero-fill the object. If memory can't be allocated, call
127// std::terminate. Return a pointer to the memory to be used for the
128// user's exception object.
129void * __cxa_allocate_exception (size_t thrown_size) throw() {
Marshall Clow9b454bc2011-08-15 18:06:47 +0000130 size_t actual_size = object_size_from_exception_size(thrown_size);
131 void *ptr = do_malloc(actual_size);
132 if (NULL == ptr)
133 std::terminate();
134 std::memset(ptr, 0, actual_size);
135 return thrown_object_from_exception(ptr);
136}
Marshall Clowe2dcb752011-07-20 15:04:39 +0000137
138
139// Free a __cxa_exception object allocated with __cxa_allocate_exception.
140void __cxa_free_exception (void * thrown_exception) throw() {
Marshall Clow9b454bc2011-08-15 18:06:47 +0000141 do_free(exception_from_thrown_object(thrown_exception));
142}
Marshall Clowe2dcb752011-07-20 15:04:39 +0000143
144
145// This function shall allocate a __cxa_dependent_exception and
146// return a pointer to it. (Really to the object, not past its' end).
147// Otherwise, it will work like __cxa_allocate_exception.
148void * __cxa_allocate_dependent_exception () throw() {
Marshall Clow9b454bc2011-08-15 18:06:47 +0000149 size_t actual_size = sizeof(__cxa_dependent_exception);
150 void *ptr = do_malloc(actual_size);
151 if (NULL == ptr)
152 std::terminate();
153 std::memset(ptr, 0, actual_size);
Marshall Clowe2dcb752011-07-20 15:04:39 +0000154 return ptr;
Marshall Clow9b454bc2011-08-15 18:06:47 +0000155}
Marshall Clowe2dcb752011-07-20 15:04:39 +0000156
157
158// This function shall free a dependent_exception.
159// It does not affect the reference count of the primary exception.
160void __cxa_free_dependent_exception (void * dependent_exception) throw() {
Marshall Clow9b454bc2011-08-15 18:06:47 +0000161 do_free(dependent_exception);
162}
Marshall Clowe2dcb752011-07-20 15:04:39 +0000163
Marshall Clow87694492011-08-09 15:09:41 +0000164
165// 2.4.3 Throwing the Exception Object
166/*
167After constructing the exception object with the throw argument value,
168the generated code calls the __cxa_throw runtime library routine. This
169routine never returns.
170
171The __cxa_throw routine will do the following:
172
173* Obtain the __cxa_exception header from the thrown exception object address,
174which can be computed as follows:
175 __cxa_exception *header = ((__cxa_exception *) thrown_exception - 1);
176* Save the current unexpected_handler and terminate_handler in the __cxa_exception header.
177* Save the tinfo and dest arguments in the __cxa_exception header.
178* Set the exception_class field in the unwind header. This is a 64-bit value
179representing the ASCII string "XXXXC++\0", where "XXXX" is a
180vendor-dependent string. That is, for implementations conforming to this
181ABI, the low-order 4 bytes of this 64-bit value will be "C++\0".
182* Increment the uncaught_exception flag.
183* Call _Unwind_RaiseException in the system unwind library, Its argument is the
184pointer to the thrown exception, which __cxa_throw itself received as an argument.
185__Unwind_RaiseException begins the process of stack unwinding, described
186in Section 2.5. In special cases, such as an inability to find a
187handler, _Unwind_RaiseException may return. In that case, __cxa_throw
188will call terminate, assuming that there was no handler for the
189exception.
190*/
191LIBCXXABI_NORETURN void
192__cxa_throw(void * thrown_exception, std::type_info * tinfo, void (*dest)(void *)) {
Marshall Clow9b454bc2011-08-15 18:06:47 +0000193 __cxa_eh_globals *globals = __cxa_get_globals();
194 __cxa_exception *exception = exception_from_thrown_object(thrown_exception);
Howard Hinnant6ccae152011-12-08 19:35:18 +0000195
Howard Hinnantdfb34fc2011-12-06 19:02:03 +0000196 exception->unexpectedHandler = std::get_unexpected();
197 exception->terminateHandler = std::get_terminate();
Marshall Clow87694492011-08-09 15:09:41 +0000198 exception->exceptionType = tinfo;
199 exception->exceptionDestructor = dest;
Marshall Clow9b454bc2011-08-15 18:06:47 +0000200 setExceptionClass(&exception->unwindHeader);
Marshall Clow87694492011-08-09 15:09:41 +0000201 exception->referenceCount = 1; // This is a newly allocated exception, no need for thread safety.
202 globals->uncaughtExceptions += 1; // Not atomically, since globals are thread-local
203
204 exception->unwindHeader.exception_cleanup = exception_cleanup_func;
Howard Hinnant6ccae152011-12-08 19:35:18 +0000205#if __arm__
206 _Unwind_SjLj_RaiseException(&exception->unwindHeader);
207#else
Marshall Clow9b454bc2011-08-15 18:06:47 +0000208 _Unwind_RaiseException(&exception->unwindHeader);
Howard Hinnant6ccae152011-12-08 19:35:18 +0000209#endif
Marshall Clow87694492011-08-09 15:09:41 +0000210// If we get here, some kind of unwinding error has occurred.
Marshall Clow9b454bc2011-08-15 18:06:47 +0000211 failed_throw(exception);
212}
Marshall Clow87694492011-08-09 15:09:41 +0000213
214
215// 2.5.3 Exception Handlers
216extern void * __cxa_get_exception_ptr(void * exceptionObject) throw() {
Marshall Clow9b454bc2011-08-15 18:06:47 +0000217 return exception_from_exception_object(exceptionObject);
218}
Marshall Clow87694492011-08-09 15:09:41 +0000219
220
221/*
222This routine:
223* Increment's the exception's handler count.
224* Places the exception on the stack of currently-caught exceptions if it is not
225 already there, linking the exception to the previous top of the stack.
226* Decrements the uncaught_exception count.
227* Returns the adjusted pointer to the exception object.
228*/
229void * __cxa_begin_catch(void * exceptionObject) throw() {
Marshall Clow9b454bc2011-08-15 18:06:47 +0000230 __cxa_eh_globals *globals = __cxa_get_globals();
231 __cxa_exception *exception = exception_from_exception_object(exceptionObject);
Marshall Clow87694492011-08-09 15:09:41 +0000232
Howard Hinnant6ccae152011-12-08 19:35:18 +0000233// TODO: Handle foreign exceptions? How?
234
Marshall Clow87694492011-08-09 15:09:41 +0000235// Increment the handler count, removing the flag about being rethrown
Marshall Clow87694492011-08-09 15:09:41 +0000236 exception->handlerCount = exception->handlerCount < 0 ?
237 -exception->handlerCount + 1 : exception->handlerCount + 1;
238
239// place the exception on the top of the stack if it's not there.
Marshall Clow9b454bc2011-08-15 18:06:47 +0000240 if (exception != globals->caughtExceptions) {
Marshall Clow87694492011-08-09 15:09:41 +0000241 exception->nextException = globals->caughtExceptions;
242 globals->caughtExceptions = exception;
Marshall Clow9b454bc2011-08-15 18:06:47 +0000243 }
Marshall Clow87694492011-08-09 15:09:41 +0000244
245 globals->uncaughtExceptions -= 1; // Not atomically, since globals are thread-local
Marshall Clow9b454bc2011-08-15 18:06:47 +0000246 return thrown_object_from_exception(exception);
247}
Marshall Clow87694492011-08-09 15:09:41 +0000248
249
250/*
251Upon exit for any reason, a handler must call:
252 void __cxa_end_catch ();
253
254This routine:
255* Locates the most recently caught exception and decrements its handler count.
256* Removes the exception from the caught exception stack, if the handler count goes to zero.
Howard Hinnant6ccae152011-12-08 19:35:18 +0000257* If the handler count goes down to zero, and the exception was not re-thrown
258 by throw, it locates the primary exception (which may be the same as the one
259 it's handling) and decrements its reference count. If that reference count
260 goes to zero, the function destroys the exception. In any case, if the current
261 exception is a dependent exception, it destroys that.
Marshall Clow87694492011-08-09 15:09:41 +0000262*/
263void __cxa_end_catch() {
Howard Hinnant6ccae152011-12-08 19:35:18 +0000264 __cxa_eh_globals *globals = __cxa_get_globals_fast(); // __cxa_get_globals called in __cxa_begin_catch
Marshall Clow87694492011-08-09 15:09:41 +0000265 __cxa_exception *current_exception = globals->caughtExceptions;
266
Marshall Clow9b454bc2011-08-15 18:06:47 +0000267 if (NULL != current_exception) {
Howard Hinnant58926c92011-12-12 19:11:42 +0000268 // TODO: Handle foreign exceptions? How?
Marshall Clow9b454bc2011-08-15 18:06:47 +0000269 if (current_exception->handlerCount < 0) {
Marshall Clow87694492011-08-09 15:09:41 +0000270 // The exception has been rethrown
Marshall Clow9b454bc2011-08-15 18:06:47 +0000271 if (0 == incrementHandlerCount(current_exception)) {
Howard Hinnant6ccae152011-12-08 19:35:18 +0000272 // Remove from the chain of uncaught exceptions
Marshall Clow87694492011-08-09 15:09:41 +0000273 globals->caughtExceptions = current_exception->nextException;
Howard Hinnant6ccae152011-12-08 19:35:18 +0000274 // but don't destroy
275 }
Marshall Clow9b454bc2011-08-15 18:06:47 +0000276 }
Howard Hinnant6ccae152011-12-08 19:35:18 +0000277 else { // The exception has not been rethrown
Marshall Clow9b454bc2011-08-15 18:06:47 +0000278 if (0 == decrementHandlerCount(current_exception)) {
Howard Hinnant6ccae152011-12-08 19:35:18 +0000279 // Remove from the chain of uncaught exceptions
Marshall Clow87694492011-08-09 15:09:41 +0000280 globals->caughtExceptions = current_exception->nextException;
Howard Hinnant6ccae152011-12-08 19:35:18 +0000281 if (isDependentException(&current_exception->unwindHeader)) {
282 // Reset current_exception to primaryException and deallocate the dependent exception
283 __cxa_dependent_exception* deh =
284 reinterpret_cast<__cxa_dependent_exception*>(current_exception + 1) - 1;
285 current_exception = static_cast<__cxa_exception*>(deh->primaryException) - 1;
286 __cxa_free_dependent_exception(deh);
287 }
288 // Destroy the primary exception only if its referenceCount goes to 0
289 // (this decrement must be atomic)
290 if (__sync_sub_and_fetch(&current_exception->referenceCount, size_t(1)) == 0)
291 {
292 void* thrown_object = thrown_object_from_exception(current_exception);
293 if (NULL != current_exception->exceptionDestructor)
294 current_exception->exceptionDestructor(thrown_object);
295 __cxa_free_exception(thrown_object);
Marshall Clow87694492011-08-09 15:09:41 +0000296 }
Marshall Clow9b454bc2011-08-15 18:06:47 +0000297 }
298 }
Marshall Clow87694492011-08-09 15:09:41 +0000299 }
Marshall Clow9b454bc2011-08-15 18:06:47 +0000300}
Marshall Clow87694492011-08-09 15:09:41 +0000301
302
303std::type_info * __cxa_current_exception_type() {
304// get the current exception
Marshall Clow9b454bc2011-08-15 18:06:47 +0000305 __cxa_eh_globals *globals = __cxa_get_globals();
Marshall Clow87694492011-08-09 15:09:41 +0000306 __cxa_exception *current_exception = globals->caughtExceptions;
Marshall Clow9b454bc2011-08-15 18:06:47 +0000307 if (NULL == current_exception)
Marshall Clow87694492011-08-09 15:09:41 +0000308 return NULL; // No current exception
Howard Hinnant7fcad542011-12-12 18:16:10 +0000309 if (isDependentException(&current_exception->unwindHeader)) {
310 __cxa_dependent_exception* deh =
311 reinterpret_cast<__cxa_dependent_exception*>(current_exception + 1) - 1;
312 current_exception = static_cast<__cxa_exception*>(deh->primaryException) - 1;
313 }
Marshall Clow87694492011-08-09 15:09:41 +0000314 return current_exception->exceptionType;
Marshall Clow9b454bc2011-08-15 18:06:47 +0000315}
Marshall Clow87694492011-08-09 15:09:41 +0000316
317// 2.5.4 Rethrowing Exceptions
318/* This routine
319* marks the exception object on top of the caughtExceptions stack
320 (in an implementation-defined way) as being rethrown.
321* If the caughtExceptions stack is empty, it calls terminate()
322 (see [C++FDIS] [except.throw], 15.1.8).
Howard Hinnant58926c92011-12-12 19:11:42 +0000323* It then calls _Unwind_Resume_or_Rethrow which should not return
324 (terminate if it does).
Marshall Clow87694492011-08-09 15:09:41 +0000325*/
326extern LIBCXXABI_NORETURN void __cxa_rethrow() {
Marshall Clow9b454bc2011-08-15 18:06:47 +0000327 __cxa_eh_globals *globals = __cxa_get_globals();
Howard Hinnant58926c92011-12-12 19:11:42 +0000328 __cxa_exception *exception = globals->caughtExceptions;
Marshall Clow87694492011-08-09 15:09:41 +0000329
Marshall Clow9b454bc2011-08-15 18:06:47 +0000330 if (NULL == exception) // there's no current exception!
Marshall Clow87694492011-08-09 15:09:41 +0000331 std::terminate ();
332
Howard Hinnant58926c92011-12-12 19:11:42 +0000333// TODO: Handle foreign exceptions? How?
334
335// Mark the exception as being rethrown (reverse the effects of __cxa_begin_catch)
336 exception->handlerCount = -exception->handlerCount;
337 globals->uncaughtExceptions += 1;
338// __cxa_end_catch will remove this exception from the caughtExceptions stack if necessary
Marshall Clow87694492011-08-09 15:09:41 +0000339
340#if __arm__
Marshall Clow9b454bc2011-08-15 18:06:47 +0000341 (void) _Unwind_SjLj_Resume_or_Rethrow(&exception->unwindHeader);
Marshall Clow87694492011-08-09 15:09:41 +0000342#else
Marshall Clow9b454bc2011-08-15 18:06:47 +0000343 (void) _Unwind_Resume_or_Rethrow (&exception->unwindHeader);
Marshall Clow87694492011-08-09 15:09:41 +0000344#endif
345
346// If we get here, some kind of unwinding error has occurred.
Marshall Clow9b454bc2011-08-15 18:06:47 +0000347 failed_throw(exception);
348}
Marshall Clow87694492011-08-09 15:09:41 +0000349
Marshall Clowe2dcb752011-07-20 15:04:39 +0000350} // extern "C"
351
352} // abi