PR c++/64359
[official-gcc.git] / libstdc++-v3 / libsupc++ / cxxabi.h
blob36048f33dc03cf53d80e50dac3a9fb93a0c96bce
1 // ABI Support -*- C++ -*-
3 // Copyright (C) 2000-2014 Free Software Foundation, Inc.
4 //
5 // This file is part of GCC.
6 //
7 // GCC is free software; you can redistribute it and/or modify
8 // it under the terms of the GNU General Public License as published by
9 // the Free Software Foundation; either version 3, or (at your option)
10 // any later version.
12 // GCC is distributed in the hope that it will be useful,
13 // but WITHOUT ANY WARRANTY; without even the implied warranty of
14 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 // GNU General Public License for more details.
17 // Under Section 7 of GPL version 3, you are granted additional
18 // permissions described in the GCC Runtime Library Exception, version
19 // 3.1, as published by the Free Software Foundation.
21 // You should have received a copy of the GNU General Public License and
22 // a copy of the GCC Runtime Library Exception along with this program;
23 // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
24 // <http://www.gnu.org/licenses/>.
26 // Written by Nathan Sidwell, Codesourcery LLC, <nathan@codesourcery.com>
28 /* This file declares the new abi entry points into the runtime. It is not
29 normally necessary for user programs to include this header, or use the
30 entry points directly. However, this header is available should that be
31 needed.
33 Some of the entry points are intended for both C and C++, thus this header
34 is includable from both C and C++. Though the C++ specific parts are not
35 available in C, naturally enough. */
37 /** @file cxxabi.h
38 * The header provides an interface to the C++ ABI.
41 #ifndef _CXXABI_H
42 #define _CXXABI_H 1
44 #pragma GCC system_header
46 #pragma GCC visibility push(default)
48 #include <stddef.h>
49 #include <bits/c++config.h>
50 #include <bits/cxxabi_tweaks.h>
51 #include <bits/cxxabi_forced.h>
53 #ifndef _GLIBCXX_CDTOR_CALLABI
54 #define _GLIBCXX_CDTOR_CALLABI
55 #endif
57 #ifdef __cplusplus
58 namespace __cxxabiv1
60 extern "C"
62 #endif
64 typedef __cxa_cdtor_return_type (*__cxa_cdtor_type)(void *);
66 // Allocate array.
67 void*
68 __cxa_vec_new(size_t __element_count, size_t __element_size,
69 size_t __padding_size, __cxa_cdtor_type __constructor,
70 __cxa_cdtor_type __destructor);
72 void*
73 __cxa_vec_new2(size_t __element_count, size_t __element_size,
74 size_t __padding_size, __cxa_cdtor_type __constructor,
75 __cxa_cdtor_type __destructor, void *(*__alloc) (size_t),
76 void (*__dealloc) (void*));
78 void*
79 __cxa_vec_new3(size_t __element_count, size_t __element_size,
80 size_t __padding_size, __cxa_cdtor_type __constructor,
81 __cxa_cdtor_type __destructor, void *(*__alloc) (size_t),
82 void (*__dealloc) (void*, size_t));
84 // Construct array.
85 __cxa_vec_ctor_return_type
86 __cxa_vec_ctor(void* __array_address, size_t __element_count,
87 size_t __element_size, __cxa_cdtor_type __constructor,
88 __cxa_cdtor_type __destructor);
90 __cxa_vec_ctor_return_type
91 __cxa_vec_cctor(void* __dest_array, void* __src_array,
92 size_t __element_count, size_t __element_size,
93 __cxa_cdtor_return_type (*__constructor) (void*, void*),
94 __cxa_cdtor_type __destructor);
96 // Destruct array.
97 void
98 __cxa_vec_dtor(void* __array_address, size_t __element_count,
99 size_t __element_size, __cxa_cdtor_type __destructor);
101 void
102 __cxa_vec_cleanup(void* __array_address, size_t __element_count, size_t __s,
103 __cxa_cdtor_type __destructor) _GLIBCXX_NOTHROW;
105 // Destruct and release array.
106 void
107 __cxa_vec_delete(void* __array_address, size_t __element_size,
108 size_t __padding_size, __cxa_cdtor_type __destructor);
110 void
111 __cxa_vec_delete2(void* __array_address, size_t __element_size,
112 size_t __padding_size, __cxa_cdtor_type __destructor,
113 void (*__dealloc) (void*));
115 void
116 __cxa_vec_delete3(void* __array_address, size_t __element_size,
117 size_t __padding_size, __cxa_cdtor_type __destructor,
118 void (*__dealloc) (void*, size_t));
121 __cxa_guard_acquire(__guard*);
123 void
124 __cxa_guard_release(__guard*) _GLIBCXX_NOTHROW;
126 void
127 __cxa_guard_abort(__guard*) _GLIBCXX_NOTHROW;
129 // DSO destruction.
131 __cxa_atexit(void (*)(void*), void*, void*) _GLIBCXX_NOTHROW;
134 __cxa_finalize(void*);
136 // TLS destruction.
138 __cxa_thread_atexit(void (*)(void*), void*, void *) _GLIBCXX_NOTHROW;
140 // Pure virtual functions.
141 void
142 __cxa_pure_virtual(void) __attribute__ ((__noreturn__));
144 void
145 __cxa_deleted_virtual(void) __attribute__ ((__noreturn__));
147 // Exception handling auxiliary.
148 void
149 __cxa_bad_cast() __attribute__((__noreturn__));
151 void
152 __cxa_bad_typeid() __attribute__((__noreturn__));
154 void
155 __cxa_throw_bad_array_new_length() __attribute__((__noreturn__));
158 * @brief Demangling routine.
159 * ABI-mandated entry point in the C++ runtime library for demangling.
161 * @param __mangled_name A NUL-terminated character string
162 * containing the name to be demangled.
164 * @param __output_buffer A region of memory, allocated with
165 * malloc, of @a *__length bytes, into which the demangled name is
166 * stored. If @a __output_buffer is not long enough, it is
167 * expanded using realloc. @a __output_buffer may instead be NULL;
168 * in that case, the demangled name is placed in a region of memory
169 * allocated with malloc.
171 * @param __length If @a __length is non-NULL, the length of the
172 * buffer containing the demangled name is placed in @a *__length.
174 * @param __status @a *__status is set to one of the following values:
175 * 0: The demangling operation succeeded.
176 * -1: A memory allocation failure occurred.
177 * -2: @a mangled_name is not a valid name under the C++ ABI mangling rules.
178 * -3: One of the arguments is invalid.
180 * @return A pointer to the start of the NUL-terminated demangled
181 * name, or NULL if the demangling fails. The caller is
182 * responsible for deallocating this memory using @c free.
184 * The demangling is performed using the C++ ABI mangling rules,
185 * with GNU extensions. For example, this function is used in
186 * __gnu_cxx::__verbose_terminate_handler.
188 * See http://gcc.gnu.org/onlinedocs/libstdc++/manual/bk01pt12ch39.html
189 * for other examples of use.
191 * @note The same demangling functionality is available via
192 * libiberty (@c <libiberty/demangle.h> and @c libiberty.a) in GCC
193 * 3.1 and later, but that requires explicit installation (@c
194 * --enable-install-libiberty) and uses a different API, although
195 * the ABI is unchanged.
197 char*
198 __cxa_demangle(const char* __mangled_name, char* __output_buffer,
199 size_t* __length, int* __status);
201 #ifdef __cplusplus
203 } // namespace __cxxabiv1
204 #endif
206 #ifdef __cplusplus
208 #include <typeinfo>
210 namespace __cxxabiv1
212 // Type information for int, float etc.
213 class __fundamental_type_info : public std::type_info
215 public:
216 explicit
217 __fundamental_type_info(const char* __n) : std::type_info(__n) { }
219 virtual
220 ~__fundamental_type_info();
223 // Type information for array objects.
224 class __array_type_info : public std::type_info
226 public:
227 explicit
228 __array_type_info(const char* __n) : std::type_info(__n) { }
230 virtual
231 ~__array_type_info();
234 // Type information for functions (both member and non-member).
235 class __function_type_info : public std::type_info
237 public:
238 explicit
239 __function_type_info(const char* __n) : std::type_info(__n) { }
241 virtual
242 ~__function_type_info();
244 protected:
245 // Implementation defined member function.
246 virtual bool
247 __is_function_p() const;
250 // Type information for enumerations.
251 class __enum_type_info : public std::type_info
253 public:
254 explicit
255 __enum_type_info(const char* __n) : std::type_info(__n) { }
257 virtual
258 ~__enum_type_info();
261 // Common type information for simple pointers and pointers to member.
262 class __pbase_type_info : public std::type_info
264 public:
265 unsigned int __flags; // Qualification of the target object.
266 const std::type_info* __pointee; // Type of pointed to object.
268 explicit
269 __pbase_type_info(const char* __n, int __quals,
270 const std::type_info* __type)
271 : std::type_info(__n), __flags(__quals), __pointee(__type)
274 virtual
275 ~__pbase_type_info();
277 // Implementation defined type.
278 enum __masks
280 __const_mask = 0x1,
281 __volatile_mask = 0x2,
282 __restrict_mask = 0x4,
283 __incomplete_mask = 0x8,
284 __incomplete_class_mask = 0x10
287 protected:
288 __pbase_type_info(const __pbase_type_info&);
290 __pbase_type_info&
291 operator=(const __pbase_type_info&);
293 // Implementation defined member functions.
294 virtual bool
295 __do_catch(const std::type_info* __thr_type, void** __thr_obj,
296 unsigned int __outer) const;
298 inline virtual bool
299 __pointer_catch(const __pbase_type_info* __thr_type, void** __thr_obj,
300 unsigned __outer) const;
303 inline bool __pbase_type_info::
304 __pointer_catch (const __pbase_type_info *thrown_type,
305 void **thr_obj,
306 unsigned outer) const
308 return __pointee->__do_catch (thrown_type->__pointee, thr_obj, outer + 2);
311 // Type information for simple pointers.
312 class __pointer_type_info : public __pbase_type_info
314 public:
315 explicit
316 __pointer_type_info(const char* __n, int __quals,
317 const std::type_info* __type)
318 : __pbase_type_info (__n, __quals, __type) { }
321 virtual
322 ~__pointer_type_info();
324 protected:
325 // Implementation defined member functions.
326 virtual bool
327 __is_pointer_p() const;
329 virtual bool
330 __pointer_catch(const __pbase_type_info* __thr_type, void** __thr_obj,
331 unsigned __outer) const;
334 class __class_type_info;
336 // Type information for a pointer to member variable.
337 class __pointer_to_member_type_info : public __pbase_type_info
339 public:
340 __class_type_info* __context; // Class of the member.
342 explicit
343 __pointer_to_member_type_info(const char* __n, int __quals,
344 const std::type_info* __type,
345 __class_type_info* __klass)
346 : __pbase_type_info(__n, __quals, __type), __context(__klass) { }
348 virtual
349 ~__pointer_to_member_type_info();
351 protected:
352 __pointer_to_member_type_info(const __pointer_to_member_type_info&);
354 __pointer_to_member_type_info&
355 operator=(const __pointer_to_member_type_info&);
357 // Implementation defined member function.
358 virtual bool
359 __pointer_catch(const __pbase_type_info* __thr_type, void** __thr_obj,
360 unsigned __outer) const;
363 // Helper class for __vmi_class_type.
364 class __base_class_type_info
366 public:
367 const __class_type_info* __base_type; // Base class type.
368 #ifdef _GLIBCXX_LLP64
369 long long __offset_flags; // Offset and info.
370 #else
371 long __offset_flags; // Offset and info.
372 #endif
374 enum __offset_flags_masks
376 __virtual_mask = 0x1,
377 __public_mask = 0x2,
378 __hwm_bit = 2,
379 __offset_shift = 8 // Bits to shift offset.
382 // Implementation defined member functions.
383 bool
384 __is_virtual_p() const
385 { return __offset_flags & __virtual_mask; }
387 bool
388 __is_public_p() const
389 { return __offset_flags & __public_mask; }
391 ptrdiff_t
392 __offset() const
394 // This shift, being of a signed type, is implementation
395 // defined. GCC implements such shifts as arithmetic, which is
396 // what we want.
397 return static_cast<ptrdiff_t>(__offset_flags) >> __offset_shift;
401 // Type information for a class.
402 class __class_type_info : public std::type_info
404 public:
405 explicit
406 __class_type_info (const char *__n) : type_info(__n) { }
408 virtual
409 ~__class_type_info ();
411 // Implementation defined types.
412 // The type sub_kind tells us about how a base object is contained
413 // within a derived object. We often do this lazily, hence the
414 // UNKNOWN value. At other times we may use NOT_CONTAINED to mean
415 // not publicly contained.
416 enum __sub_kind
418 // We have no idea.
419 __unknown = 0,
421 // Not contained within us (in some circumstances this might
422 // mean not contained publicly)
423 __not_contained,
425 // Contained ambiguously.
426 __contained_ambig,
428 // Via a virtual path.
429 __contained_virtual_mask = __base_class_type_info::__virtual_mask,
431 // Via a public path.
432 __contained_public_mask = __base_class_type_info::__public_mask,
434 // Contained within us.
435 __contained_mask = 1 << __base_class_type_info::__hwm_bit,
437 __contained_private = __contained_mask,
438 __contained_public = __contained_mask | __contained_public_mask
441 struct __upcast_result;
442 struct __dyncast_result;
444 protected:
445 // Implementation defined member functions.
446 virtual bool
447 __do_upcast(const __class_type_info* __dst_type, void**__obj_ptr) const;
449 virtual bool
450 __do_catch(const type_info* __thr_type, void** __thr_obj,
451 unsigned __outer) const;
453 public:
454 // Helper for upcast. See if DST is us, or one of our bases.
455 // Return false if not found, true if found.
456 virtual bool
457 __do_upcast(const __class_type_info* __dst, const void* __obj,
458 __upcast_result& __restrict __result) const;
460 // Indicate whether SRC_PTR of type SRC_TYPE is contained publicly
461 // within OBJ_PTR. OBJ_PTR points to a base object of our type,
462 // which is the destination type. SRC2DST indicates how SRC
463 // objects might be contained within this type. If SRC_PTR is one
464 // of our SRC_TYPE bases, indicate the virtuality. Returns
465 // not_contained for non containment or private containment.
466 inline __sub_kind
467 __find_public_src(ptrdiff_t __src2dst, const void* __obj_ptr,
468 const __class_type_info* __src_type,
469 const void* __src_ptr) const;
471 // Helper for dynamic cast. ACCESS_PATH gives the access from the
472 // most derived object to this base. DST_TYPE indicates the
473 // desired type we want. OBJ_PTR points to a base of our type
474 // within the complete object. SRC_TYPE indicates the static type
475 // started from and SRC_PTR points to that base within the most
476 // derived object. Fill in RESULT with what we find. Return true
477 // if we have located an ambiguous match.
478 virtual bool
479 __do_dyncast(ptrdiff_t __src2dst, __sub_kind __access_path,
480 const __class_type_info* __dst_type, const void* __obj_ptr,
481 const __class_type_info* __src_type, const void* __src_ptr,
482 __dyncast_result& __result) const;
484 // Helper for find_public_subobj. SRC2DST indicates how SRC_TYPE
485 // bases are inherited by the type started from -- which is not
486 // necessarily the current type. The current type will be a base
487 // of the destination type. OBJ_PTR points to the current base.
488 virtual __sub_kind
489 __do_find_public_src(ptrdiff_t __src2dst, const void* __obj_ptr,
490 const __class_type_info* __src_type,
491 const void* __src_ptr) const;
494 // Type information for a class with a single non-virtual base.
495 class __si_class_type_info : public __class_type_info
497 public:
498 const __class_type_info* __base_type;
500 explicit
501 __si_class_type_info(const char *__n, const __class_type_info *__base)
502 : __class_type_info(__n), __base_type(__base) { }
504 virtual
505 ~__si_class_type_info();
507 protected:
508 __si_class_type_info(const __si_class_type_info&);
510 __si_class_type_info&
511 operator=(const __si_class_type_info&);
513 // Implementation defined member functions.
514 virtual bool
515 __do_dyncast(ptrdiff_t __src2dst, __sub_kind __access_path,
516 const __class_type_info* __dst_type, const void* __obj_ptr,
517 const __class_type_info* __src_type, const void* __src_ptr,
518 __dyncast_result& __result) const;
520 virtual __sub_kind
521 __do_find_public_src(ptrdiff_t __src2dst, const void* __obj_ptr,
522 const __class_type_info* __src_type,
523 const void* __sub_ptr) const;
525 virtual bool
526 __do_upcast(const __class_type_info*__dst, const void*__obj,
527 __upcast_result& __restrict __result) const;
530 // Type information for a class with multiple and/or virtual bases.
531 class __vmi_class_type_info : public __class_type_info
533 public:
534 unsigned int __flags; // Details about the class hierarchy.
535 unsigned int __base_count; // Number of direct bases.
537 // The array of bases uses the trailing array struct hack so this
538 // class is not constructable with a normal constructor. It is
539 // internally generated by the compiler.
540 __base_class_type_info __base_info[1]; // Array of bases.
542 explicit
543 __vmi_class_type_info(const char* __n, int ___flags)
544 : __class_type_info(__n), __flags(___flags), __base_count(0) { }
546 virtual
547 ~__vmi_class_type_info();
549 // Implementation defined types.
550 enum __flags_masks
552 __non_diamond_repeat_mask = 0x1, // Distinct instance of repeated base.
553 __diamond_shaped_mask = 0x2, // Diamond shaped multiple inheritance.
554 __flags_unknown_mask = 0x10
557 protected:
558 // Implementation defined member functions.
559 virtual bool
560 __do_dyncast(ptrdiff_t __src2dst, __sub_kind __access_path,
561 const __class_type_info* __dst_type, const void* __obj_ptr,
562 const __class_type_info* __src_type, const void* __src_ptr,
563 __dyncast_result& __result) const;
565 virtual __sub_kind
566 __do_find_public_src(ptrdiff_t __src2dst, const void* __obj_ptr,
567 const __class_type_info* __src_type,
568 const void* __src_ptr) const;
570 virtual bool
571 __do_upcast(const __class_type_info* __dst, const void* __obj,
572 __upcast_result& __restrict __result) const;
575 // Exception handling forward declarations.
576 struct __cxa_exception;
577 struct __cxa_refcounted_exception;
578 struct __cxa_dependent_exception;
579 struct __cxa_eh_globals;
581 extern "C"
583 // Dynamic cast runtime.
585 // src2dst has the following possible values
586 // >-1: src_type is a unique public non-virtual base of dst_type
587 // dst_ptr + src2dst == src_ptr
588 // -1: unspecified relationship
589 // -2: src_type is not a public base of dst_type
590 // -3: src_type is a multiple public non-virtual base of dst_type
591 void*
592 __dynamic_cast(const void* __src_ptr, // Starting object.
593 const __class_type_info* __src_type, // Static type of object.
594 const __class_type_info* __dst_type, // Desired target type.
595 ptrdiff_t __src2dst); // How src and dst are related.
598 // Exception handling runtime.
600 // The __cxa_eh_globals for the current thread can be obtained by using
601 // either of the following functions. The "fast" version assumes at least
602 // one prior call of __cxa_get_globals has been made from the current
603 // thread, so no initialization is necessary.
604 __cxa_eh_globals*
605 __cxa_get_globals() _GLIBCXX_NOTHROW __attribute__ ((__const__));
607 __cxa_eh_globals*
608 __cxa_get_globals_fast() _GLIBCXX_NOTHROW __attribute__ ((__const__));
610 // Allocate memory for the primary exception plus the thrown object.
611 void*
612 __cxa_allocate_exception(size_t) _GLIBCXX_NOTHROW;
614 // Free the space allocated for the primary exception.
615 void
616 __cxa_free_exception(void*) _GLIBCXX_NOTHROW;
618 // Throw the exception.
619 void
620 __cxa_throw(void*, std::type_info*, void (_GLIBCXX_CDTOR_CALLABI *) (void *))
621 __attribute__((__noreturn__));
623 // Used to implement exception handlers.
624 void*
625 __cxa_get_exception_ptr(void*) _GLIBCXX_NOTHROW __attribute__ ((__pure__));
627 void*
628 __cxa_begin_catch(void*) _GLIBCXX_NOTHROW;
630 void
631 __cxa_end_catch();
633 void
634 __cxa_rethrow() __attribute__((__noreturn__));
636 // Returns the type_info for the currently handled exception [15.3/8], or
637 // null if there is none.
638 std::type_info*
639 __cxa_current_exception_type() _GLIBCXX_NOTHROW __attribute__ ((__pure__));
641 // GNU Extensions.
643 // Allocate memory for a dependent exception.
644 __cxa_dependent_exception*
645 __cxa_allocate_dependent_exception() _GLIBCXX_NOTHROW;
647 // Free the space allocated for the dependent exception.
648 void
649 __cxa_free_dependent_exception(__cxa_dependent_exception*) _GLIBCXX_NOTHROW;
651 } // extern "C"
653 // A magic placeholder class that can be caught by reference
654 // to recognize foreign exceptions.
655 class __foreign_exception
657 virtual ~__foreign_exception() throw();
658 virtual void __pure_dummy() = 0; // prevent catch by value
661 } // namespace __cxxabiv1
663 /** @namespace abi
664 * @brief The cross-vendor C++ Application Binary Interface. A
665 * namespace alias to __cxxabiv1, but user programs should use the
666 * alias 'abi'.
668 * A brief overview of an ABI is given in the libstdc++ FAQ, question
669 * 5.8 (you may have a copy of the FAQ locally, or you can view the online
670 * version at http://gcc.gnu.org/onlinedocs/libstdc++/faq.html#5_8 ).
672 * GCC subscribes to a cross-vendor ABI for C++, sometimes
673 * called the IA64 ABI because it happens to be the native ABI for that
674 * platform. It is summarized at http://www.codesourcery.com/cxx-abi/
675 * along with the current specification.
677 * For users of GCC greater than or equal to 3.x, entry points are
678 * available in <cxxabi.h>, which notes, <em>'It is not normally
679 * necessary for user programs to include this header, or use the
680 * entry points directly. However, this header is available should
681 * that be needed.'</em>
683 namespace abi = __cxxabiv1;
685 namespace __gnu_cxx
688 * @brief Exception thrown by __cxa_guard_acquire.
689 * @ingroup exceptions
691 * 6.7[stmt.dcl]/4: If control re-enters the declaration (recursively)
692 * while the object is being initialized, the behavior is undefined.
694 * Since we already have a library function to handle locking, we might
695 * as well check for this situation and throw an exception.
696 * We use the second byte of the guard variable to remember that we're
697 * in the middle of an initialization.
699 class recursive_init_error: public std::exception
701 public:
702 recursive_init_error() throw() { }
703 virtual ~recursive_init_error() throw ();
706 #endif // __cplusplus
708 #pragma GCC visibility pop
710 #endif // __CXXABI_H