]> git.ipfire.org Git - thirdparty/gcc.git/blob - libstdc++-v3/libsupc++/cxxabi.h
Update copyright years.
[thirdparty/gcc.git] / libstdc++-v3 / libsupc++ / cxxabi.h
1 // ABI Support -*- C++ -*-
2
3 // Copyright (C) 2000-2016 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.
11 //
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.
16 //
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.
20
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/>.
25
26 // Written by Nathan Sidwell, Codesourcery LLC, <nathan@codesourcery.com>
27
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.
32
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. */
36
37 /** @file cxxabi.h
38 * The header provides an interface to the C++ ABI.
39 */
40
41 #ifndef _CXXABI_H
42 #define _CXXABI_H 1
43
44 #pragma GCC system_header
45
46 #pragma GCC visibility push(default)
47
48 #include <stddef.h>
49 #include <bits/c++config.h>
50 #include <bits/cxxabi_tweaks.h>
51 #include <bits/cxxabi_forced.h>
52
53 #ifndef _GLIBCXX_CDTOR_CALLABI
54 #define _GLIBCXX_CDTOR_CALLABI
55 #endif
56
57 #ifdef __cplusplus
58 namespace __cxxabiv1
59 {
60 extern "C"
61 {
62 #endif
63
64 typedef __cxa_cdtor_return_type (*__cxa_cdtor_type)(void *);
65
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);
71
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*));
77
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));
83
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);
89
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);
95
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);
100
101 void
102 __cxa_vec_cleanup(void* __array_address, size_t __element_count, size_t __s,
103 __cxa_cdtor_type __destructor) _GLIBCXX_NOTHROW;
104
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);
109
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*));
114
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));
119
120 int
121 __cxa_guard_acquire(__guard*);
122
123 void
124 __cxa_guard_release(__guard*) _GLIBCXX_NOTHROW;
125
126 void
127 __cxa_guard_abort(__guard*) _GLIBCXX_NOTHROW;
128
129 // DSO destruction.
130 int
131 __cxa_atexit(void (*)(void*), void*, void*) _GLIBCXX_NOTHROW;
132
133 int
134 __cxa_finalize(void*);
135
136 // TLS destruction.
137 int
138 __cxa_thread_atexit(void (*)(void*), void*, void *) _GLIBCXX_NOTHROW;
139
140 // Pure virtual functions.
141 void
142 __cxa_pure_virtual(void) __attribute__ ((__noreturn__));
143
144 void
145 __cxa_deleted_virtual(void) __attribute__ ((__noreturn__));
146
147 // Exception handling auxiliary.
148 void
149 __cxa_bad_cast() __attribute__((__noreturn__));
150
151 void
152 __cxa_bad_typeid() __attribute__((__noreturn__));
153
154 void
155 __cxa_throw_bad_array_new_length() __attribute__((__noreturn__));
156
157 /**
158 * @brief Demangling routine.
159 * ABI-mandated entry point in the C++ runtime library for demangling.
160 *
161 * @param __mangled_name A NUL-terminated character string
162 * containing the name to be demangled.
163 *
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.
170 *
171 * @param __length If @a __length is non-NULL, the length of the
172 * buffer containing the demangled name is placed in @a *__length.
173 *
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.
179 *
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.
183 *
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.
187 *
188 * See http://gcc.gnu.org/onlinedocs/libstdc++/manual/bk01pt12ch39.html
189 * for other examples of use.
190 *
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.
196 */
197 char*
198 __cxa_demangle(const char* __mangled_name, char* __output_buffer,
199 size_t* __length, int* __status);
200
201 #ifdef __cplusplus
202 }
203 } // namespace __cxxabiv1
204 #endif
205
206 #ifdef __cplusplus
207
208 #include <typeinfo>
209
210 namespace __cxxabiv1
211 {
212 // Type information for int, float etc.
213 class __fundamental_type_info : public std::type_info
214 {
215 public:
216 explicit
217 __fundamental_type_info(const char* __n) : std::type_info(__n) { }
218
219 virtual
220 ~__fundamental_type_info();
221 };
222
223 // Type information for array objects.
224 class __array_type_info : public std::type_info
225 {
226 public:
227 explicit
228 __array_type_info(const char* __n) : std::type_info(__n) { }
229
230 virtual
231 ~__array_type_info();
232 };
233
234 // Type information for functions (both member and non-member).
235 class __function_type_info : public std::type_info
236 {
237 public:
238 explicit
239 __function_type_info(const char* __n) : std::type_info(__n) { }
240
241 virtual
242 ~__function_type_info();
243
244 protected:
245 // Implementation defined member function.
246 virtual bool
247 __is_function_p() const;
248 };
249
250 // Type information for enumerations.
251 class __enum_type_info : public std::type_info
252 {
253 public:
254 explicit
255 __enum_type_info(const char* __n) : std::type_info(__n) { }
256
257 virtual
258 ~__enum_type_info();
259 };
260
261 // Common type information for simple pointers and pointers to member.
262 class __pbase_type_info : public std::type_info
263 {
264 public:
265 unsigned int __flags; // Qualification of the target object.
266 const std::type_info* __pointee; // Type of pointed to object.
267
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)
272 { }
273
274 virtual
275 ~__pbase_type_info();
276
277 // Implementation defined type.
278 enum __masks
279 {
280 __const_mask = 0x1,
281 __volatile_mask = 0x2,
282 __restrict_mask = 0x4,
283 __incomplete_mask = 0x8,
284 __incomplete_class_mask = 0x10,
285 __transaction_safe_mask = 0x20
286 };
287
288 protected:
289 __pbase_type_info(const __pbase_type_info&);
290
291 __pbase_type_info&
292 operator=(const __pbase_type_info&);
293
294 // Implementation defined member functions.
295 virtual bool
296 __do_catch(const std::type_info* __thr_type, void** __thr_obj,
297 unsigned int __outer) const;
298
299 inline virtual bool
300 __pointer_catch(const __pbase_type_info* __thr_type, void** __thr_obj,
301 unsigned __outer) const;
302 };
303
304 inline bool __pbase_type_info::
305 __pointer_catch (const __pbase_type_info *thrown_type,
306 void **thr_obj,
307 unsigned outer) const
308 {
309 return __pointee->__do_catch (thrown_type->__pointee, thr_obj, outer + 2);
310 }
311
312 // Type information for simple pointers.
313 class __pointer_type_info : public __pbase_type_info
314 {
315 public:
316 explicit
317 __pointer_type_info(const char* __n, int __quals,
318 const std::type_info* __type)
319 : __pbase_type_info (__n, __quals, __type) { }
320
321
322 virtual
323 ~__pointer_type_info();
324
325 protected:
326 // Implementation defined member functions.
327 virtual bool
328 __is_pointer_p() const;
329
330 virtual bool
331 __pointer_catch(const __pbase_type_info* __thr_type, void** __thr_obj,
332 unsigned __outer) const;
333 };
334
335 class __class_type_info;
336
337 // Type information for a pointer to member variable.
338 class __pointer_to_member_type_info : public __pbase_type_info
339 {
340 public:
341 __class_type_info* __context; // Class of the member.
342
343 explicit
344 __pointer_to_member_type_info(const char* __n, int __quals,
345 const std::type_info* __type,
346 __class_type_info* __klass)
347 : __pbase_type_info(__n, __quals, __type), __context(__klass) { }
348
349 virtual
350 ~__pointer_to_member_type_info();
351
352 protected:
353 __pointer_to_member_type_info(const __pointer_to_member_type_info&);
354
355 __pointer_to_member_type_info&
356 operator=(const __pointer_to_member_type_info&);
357
358 // Implementation defined member function.
359 virtual bool
360 __pointer_catch(const __pbase_type_info* __thr_type, void** __thr_obj,
361 unsigned __outer) const;
362 };
363
364 // Helper class for __vmi_class_type.
365 class __base_class_type_info
366 {
367 public:
368 const __class_type_info* __base_type; // Base class type.
369 #ifdef _GLIBCXX_LLP64
370 long long __offset_flags; // Offset and info.
371 #else
372 long __offset_flags; // Offset and info.
373 #endif
374
375 enum __offset_flags_masks
376 {
377 __virtual_mask = 0x1,
378 __public_mask = 0x2,
379 __hwm_bit = 2,
380 __offset_shift = 8 // Bits to shift offset.
381 };
382
383 // Implementation defined member functions.
384 bool
385 __is_virtual_p() const
386 { return __offset_flags & __virtual_mask; }
387
388 bool
389 __is_public_p() const
390 { return __offset_flags & __public_mask; }
391
392 ptrdiff_t
393 __offset() const
394 {
395 // This shift, being of a signed type, is implementation
396 // defined. GCC implements such shifts as arithmetic, which is
397 // what we want.
398 return static_cast<ptrdiff_t>(__offset_flags) >> __offset_shift;
399 }
400 };
401
402 // Type information for a class.
403 class __class_type_info : public std::type_info
404 {
405 public:
406 explicit
407 __class_type_info (const char *__n) : type_info(__n) { }
408
409 virtual
410 ~__class_type_info ();
411
412 // Implementation defined types.
413 // The type sub_kind tells us about how a base object is contained
414 // within a derived object. We often do this lazily, hence the
415 // UNKNOWN value. At other times we may use NOT_CONTAINED to mean
416 // not publicly contained.
417 enum __sub_kind
418 {
419 // We have no idea.
420 __unknown = 0,
421
422 // Not contained within us (in some circumstances this might
423 // mean not contained publicly)
424 __not_contained,
425
426 // Contained ambiguously.
427 __contained_ambig,
428
429 // Via a virtual path.
430 __contained_virtual_mask = __base_class_type_info::__virtual_mask,
431
432 // Via a public path.
433 __contained_public_mask = __base_class_type_info::__public_mask,
434
435 // Contained within us.
436 __contained_mask = 1 << __base_class_type_info::__hwm_bit,
437
438 __contained_private = __contained_mask,
439 __contained_public = __contained_mask | __contained_public_mask
440 };
441
442 struct __upcast_result;
443 struct __dyncast_result;
444
445 protected:
446 // Implementation defined member functions.
447 virtual bool
448 __do_upcast(const __class_type_info* __dst_type, void**__obj_ptr) const;
449
450 virtual bool
451 __do_catch(const type_info* __thr_type, void** __thr_obj,
452 unsigned __outer) const;
453
454 public:
455 // Helper for upcast. See if DST is us, or one of our bases.
456 // Return false if not found, true if found.
457 virtual bool
458 __do_upcast(const __class_type_info* __dst, const void* __obj,
459 __upcast_result& __restrict __result) const;
460
461 // Indicate whether SRC_PTR of type SRC_TYPE is contained publicly
462 // within OBJ_PTR. OBJ_PTR points to a base object of our type,
463 // which is the destination type. SRC2DST indicates how SRC
464 // objects might be contained within this type. If SRC_PTR is one
465 // of our SRC_TYPE bases, indicate the virtuality. Returns
466 // not_contained for non containment or private containment.
467 inline __sub_kind
468 __find_public_src(ptrdiff_t __src2dst, const void* __obj_ptr,
469 const __class_type_info* __src_type,
470 const void* __src_ptr) const;
471
472 // Helper for dynamic cast. ACCESS_PATH gives the access from the
473 // most derived object to this base. DST_TYPE indicates the
474 // desired type we want. OBJ_PTR points to a base of our type
475 // within the complete object. SRC_TYPE indicates the static type
476 // started from and SRC_PTR points to that base within the most
477 // derived object. Fill in RESULT with what we find. Return true
478 // if we have located an ambiguous match.
479 virtual bool
480 __do_dyncast(ptrdiff_t __src2dst, __sub_kind __access_path,
481 const __class_type_info* __dst_type, const void* __obj_ptr,
482 const __class_type_info* __src_type, const void* __src_ptr,
483 __dyncast_result& __result) const;
484
485 // Helper for find_public_subobj. SRC2DST indicates how SRC_TYPE
486 // bases are inherited by the type started from -- which is not
487 // necessarily the current type. The current type will be a base
488 // of the destination type. OBJ_PTR points to the current base.
489 virtual __sub_kind
490 __do_find_public_src(ptrdiff_t __src2dst, const void* __obj_ptr,
491 const __class_type_info* __src_type,
492 const void* __src_ptr) const;
493 };
494
495 // Type information for a class with a single non-virtual base.
496 class __si_class_type_info : public __class_type_info
497 {
498 public:
499 const __class_type_info* __base_type;
500
501 explicit
502 __si_class_type_info(const char *__n, const __class_type_info *__base)
503 : __class_type_info(__n), __base_type(__base) { }
504
505 virtual
506 ~__si_class_type_info();
507
508 protected:
509 __si_class_type_info(const __si_class_type_info&);
510
511 __si_class_type_info&
512 operator=(const __si_class_type_info&);
513
514 // Implementation defined member functions.
515 virtual bool
516 __do_dyncast(ptrdiff_t __src2dst, __sub_kind __access_path,
517 const __class_type_info* __dst_type, const void* __obj_ptr,
518 const __class_type_info* __src_type, const void* __src_ptr,
519 __dyncast_result& __result) const;
520
521 virtual __sub_kind
522 __do_find_public_src(ptrdiff_t __src2dst, const void* __obj_ptr,
523 const __class_type_info* __src_type,
524 const void* __sub_ptr) const;
525
526 virtual bool
527 __do_upcast(const __class_type_info*__dst, const void*__obj,
528 __upcast_result& __restrict __result) const;
529 };
530
531 // Type information for a class with multiple and/or virtual bases.
532 class __vmi_class_type_info : public __class_type_info
533 {
534 public:
535 unsigned int __flags; // Details about the class hierarchy.
536 unsigned int __base_count; // Number of direct bases.
537
538 // The array of bases uses the trailing array struct hack so this
539 // class is not constructable with a normal constructor. It is
540 // internally generated by the compiler.
541 __base_class_type_info __base_info[1]; // Array of bases.
542
543 explicit
544 __vmi_class_type_info(const char* __n, int ___flags)
545 : __class_type_info(__n), __flags(___flags), __base_count(0) { }
546
547 virtual
548 ~__vmi_class_type_info();
549
550 // Implementation defined types.
551 enum __flags_masks
552 {
553 __non_diamond_repeat_mask = 0x1, // Distinct instance of repeated base.
554 __diamond_shaped_mask = 0x2, // Diamond shaped multiple inheritance.
555 __flags_unknown_mask = 0x10
556 };
557
558 protected:
559 // Implementation defined member functions.
560 virtual bool
561 __do_dyncast(ptrdiff_t __src2dst, __sub_kind __access_path,
562 const __class_type_info* __dst_type, const void* __obj_ptr,
563 const __class_type_info* __src_type, const void* __src_ptr,
564 __dyncast_result& __result) const;
565
566 virtual __sub_kind
567 __do_find_public_src(ptrdiff_t __src2dst, const void* __obj_ptr,
568 const __class_type_info* __src_type,
569 const void* __src_ptr) const;
570
571 virtual bool
572 __do_upcast(const __class_type_info* __dst, const void* __obj,
573 __upcast_result& __restrict __result) const;
574 };
575
576 // Exception handling forward declarations.
577 struct __cxa_exception;
578 struct __cxa_refcounted_exception;
579 struct __cxa_dependent_exception;
580 struct __cxa_eh_globals;
581
582 extern "C"
583 {
584 // Dynamic cast runtime.
585
586 // src2dst has the following possible values
587 // >-1: src_type is a unique public non-virtual base of dst_type
588 // dst_ptr + src2dst == src_ptr
589 // -1: unspecified relationship
590 // -2: src_type is not a public base of dst_type
591 // -3: src_type is a multiple public non-virtual base of dst_type
592 void*
593 __dynamic_cast(const void* __src_ptr, // Starting object.
594 const __class_type_info* __src_type, // Static type of object.
595 const __class_type_info* __dst_type, // Desired target type.
596 ptrdiff_t __src2dst); // How src and dst are related.
597
598
599 // Exception handling runtime.
600
601 // The __cxa_eh_globals for the current thread can be obtained by using
602 // either of the following functions. The "fast" version assumes at least
603 // one prior call of __cxa_get_globals has been made from the current
604 // thread, so no initialization is necessary.
605 __cxa_eh_globals*
606 __cxa_get_globals() _GLIBCXX_NOTHROW __attribute__ ((__const__));
607
608 __cxa_eh_globals*
609 __cxa_get_globals_fast() _GLIBCXX_NOTHROW __attribute__ ((__const__));
610
611 // Allocate memory for the primary exception plus the thrown object.
612 void*
613 __cxa_allocate_exception(size_t) _GLIBCXX_NOTHROW;
614
615 // Free the space allocated for the primary exception.
616 void
617 __cxa_free_exception(void*) _GLIBCXX_NOTHROW;
618
619 // Throw the exception.
620 void
621 __cxa_throw(void*, std::type_info*, void (_GLIBCXX_CDTOR_CALLABI *) (void *))
622 __attribute__((__noreturn__));
623
624 // Used to implement exception handlers.
625 void*
626 __cxa_get_exception_ptr(void*) _GLIBCXX_NOTHROW __attribute__ ((__pure__));
627
628 void*
629 __cxa_begin_catch(void*) _GLIBCXX_NOTHROW;
630
631 void
632 __cxa_end_catch();
633
634 void
635 __cxa_rethrow() __attribute__((__noreturn__));
636
637 // Returns the type_info for the currently handled exception [15.3/8], or
638 // null if there is none.
639 std::type_info*
640 __cxa_current_exception_type() _GLIBCXX_NOTHROW __attribute__ ((__pure__));
641
642 // GNU Extensions.
643
644 // Allocate memory for a dependent exception.
645 __cxa_dependent_exception*
646 __cxa_allocate_dependent_exception() _GLIBCXX_NOTHROW;
647
648 // Free the space allocated for the dependent exception.
649 void
650 __cxa_free_dependent_exception(__cxa_dependent_exception*) _GLIBCXX_NOTHROW;
651
652 } // extern "C"
653
654 // A magic placeholder class that can be caught by reference
655 // to recognize foreign exceptions.
656 class __foreign_exception
657 {
658 virtual ~__foreign_exception() throw();
659 virtual void __pure_dummy() = 0; // prevent catch by value
660 };
661
662 } // namespace __cxxabiv1
663
664 /** @namespace abi
665 * @brief The cross-vendor C++ Application Binary Interface. A
666 * namespace alias to __cxxabiv1, but user programs should use the
667 * alias 'abi'.
668 *
669 * A brief overview of an ABI is given in the libstdc++ FAQ, question
670 * 5.8 (you may have a copy of the FAQ locally, or you can view the online
671 * version at http://gcc.gnu.org/onlinedocs/libstdc++/faq.html#5_8 ).
672 *
673 * GCC subscribes to a cross-vendor ABI for C++, sometimes
674 * called the IA64 ABI because it happens to be the native ABI for that
675 * platform. It is summarized at http://www.codesourcery.com/cxx-abi/
676 * along with the current specification.
677 *
678 * For users of GCC greater than or equal to 3.x, entry points are
679 * available in <cxxabi.h>, which notes, <em>'It is not normally
680 * necessary for user programs to include this header, or use the
681 * entry points directly. However, this header is available should
682 * that be needed.'</em>
683 */
684 namespace abi = __cxxabiv1;
685
686 namespace __gnu_cxx
687 {
688 /**
689 * @brief Exception thrown by __cxa_guard_acquire.
690 * @ingroup exceptions
691 *
692 * 6.7[stmt.dcl]/4: If control re-enters the declaration (recursively)
693 * while the object is being initialized, the behavior is undefined.
694 *
695 * Since we already have a library function to handle locking, we might
696 * as well check for this situation and throw an exception.
697 * We use the second byte of the guard variable to remember that we're
698 * in the middle of an initialization.
699 */
700 class recursive_init_error: public std::exception
701 {
702 public:
703 recursive_init_error() throw() { }
704 virtual ~recursive_init_error() throw ();
705 };
706 }
707 #endif // __cplusplus
708
709 #pragma GCC visibility pop
710
711 #endif // __CXXABI_H