libstdc++-v3/libsupc++/cxxabi.h

   1 // new abi support -*- C++ -*-
   2
   3 // Copyright (C) 2000, 2002, 2003 Free Software Foundation, Inc.
   4 //
   5 // This file is part of GNU CC.
   6 //
   7 // GNU CC 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 2, or (at your option)
  10 // any later version.
  11 //
  12 // GNU CC 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 // You should have received a copy of the GNU General Public License
  18 // along with GNU CC; see the file COPYING.  If not, write to
  19 // the Free Software Foundation, 59 Temple Place - Suite 330,
  20 // Boston, MA 02111-1307, USA.
  21
  22 // As a special exception, you may use this file as part of a free software
  23 // library without restriction.  Specifically, if other files instantiate
  24 // templates or use macros or inline functions from this file, or you compile
  25 // this file and link it with other files to produce an executable, this
  26 // file does not by itself cause the resulting executable to be covered by
  27 // the GNU General Public License.  This exception does not however
  28 // invalidate any other reasons why the executable file might be covered by
  29 // the GNU General Public License.
  30
  31 // Written by Nathan Sidwell, Codesourcery LLC, <nathan@codesourcery.com>
  32
  33 /* This file declares the new abi entry points into the runtime. It is not
  34    normally necessary for user programs to include this header, or use the
  35    entry points directly. However, this header is available should that be
  36    needed.
  37
  38    Some of the entry points are intended for both C and C++, thus this header
  39    is includable from both C and C++. Though the C++ specific parts are not
  40    available in C, naturally enough.  */
  41
  42 #ifndef __CXXABI_H
  43 #define __CXXABI_H 1
  44
  45 #ifdef __cplusplus
  46
  47 // We use the compiler builtins __SIZE_TYPE__ and __PTRDIFF_TYPE__ instead of
  48 // std::size_t and std::ptrdiff_t respectively. This makes us independent of
  49 // the conformance level of <cstddef> and whether -fhonor-std was supplied.
  50 // <cstddef> is not currently available during compiler building anyway.
  51 // Including <stddef.h> would be wrong, as that would rudely place size_t in
  52 // the global namespace.
  53
  54 #include <typeinfo>
  55
  56 namespace __cxxabiv1
  57 {
  58
  59 /* type information for int, float etc */
  60 class __fundamental_type_info
  61   : public std::type_info
  62 {
  63 public:
  64   virtual ~__fundamental_type_info ();
  65 public:
  66   explicit __fundamental_type_info (const char *__n)
  67     : std::type_info (__n)
  68     { }
  69 };
  70
  71 /* type information for array objects */
  72 class __array_type_info
  73   : public std::type_info
  74 {
  75 /* abi defined member functions */
  76 protected:
  77   virtual ~__array_type_info ();
  78 public:
  79   explicit __array_type_info (const char *__n)
  80     : std::type_info (__n)
  81     { }
  82 };
  83
  84 /* type information for functions (both member and non-member) */
  85 class __function_type_info
  86   : public std::type_info
  87 {
  88 /* abi defined member functions */
  89 public:
  90   virtual ~__function_type_info ();
  91 public:
  92   explicit __function_type_info (const char *__n)
  93     : std::type_info (__n)
  94     { }
  95
  96 /* implementation defined member functions */
  97 protected:
  98   virtual bool __is_function_p () const;
  99 };
 100
 101 /* type information for enumerations */
 102 class __enum_type_info
 103   : public std::type_info
 104 {
 105 /* abi defined member functions */
 106 public:
 107   virtual ~__enum_type_info ();
 108 public:
 109   explicit __enum_type_info (const char *__n)
 110     : std::type_info (__n)
 111     { }
 112 };
 113
 114 /* common type information for simple pointers and pointers to member */
 115 class __pbase_type_info
 116   : public std::type_info
 117 {
 118 /* abi defined member variables */
 119 public:
 120   unsigned int __flags; /* qualification of the target object */
 121   const std::type_info *__pointee;   /* type of pointed to object */
 122
 123 /* abi defined member functions */
 124 public:
 125   virtual ~__pbase_type_info ();
 126 public:
 127   explicit __pbase_type_info (const char *__n,
 128                                 int __quals,
 129                                 const std::type_info *__type)
 130     : std::type_info (__n), __flags (__quals), __pointee (__type)
 131     { }
 132
 133 /* implementation defined types */
 134 public:
 135   enum __masks {
 136     __const_mask = 0x1,
 137     __volatile_mask = 0x2,
 138     __restrict_mask = 0x4,
 139     __incomplete_mask = 0x8,
 140     __incomplete_class_mask = 0x10
 141   };
 142
 143 /* implementation defined member functions */
 144 protected:
 145   virtual bool __do_catch (const std::type_info *__thr_type,
 146                            void **__thr_obj,
 147                            unsigned __outer) const;
 148 protected:
 149   inline virtual bool __pointer_catch (const __pbase_type_info *__thr_type,
 150                                        void **__thr_obj,
 151                                        unsigned __outer) const;
 152 };
 153
 154 /* type information for simple pointers */
 155 class __pointer_type_info
 156   : public __pbase_type_info
 157 {
 158 /* abi defined member functions */
 159 public:
 160   virtual ~__pointer_type_info ();
 161 public:
 162   explicit __pointer_type_info (const char *__n,
 163                                 int __quals,
 164                                 const std::type_info *__type)
 165     : __pbase_type_info (__n, __quals, __type)
 166     { }
 167
 168 /* implementation defined member functions */
 169 protected:
 170   virtual bool __is_pointer_p () const;
 171
 172 protected:
 173   virtual bool __pointer_catch (const __pbase_type_info *__thr_type,
 174                                 void **__thr_obj,
 175                                 unsigned __outer) const;
 176 };
 177
 178 /* type information for a pointer to member variable */
 179 class __pointer_to_member_type_info
 180   : public __pbase_type_info
 181 {
 182 /* abi defined member variables */
 183 public:
 184   __class_type_info *__context;   /* class of the member */
 185
 186 /* abi defined member functions */
 187 public:
 188   virtual ~__pointer_to_member_type_info ();
 189 public:
 190   explicit __pointer_to_member_type_info (const char *__n,
 191                                           int __quals,
 192                                           const std::type_info *__type,
 193                                           __class_type_info *__klass)
 194     : __pbase_type_info (__n, __quals, __type), __context (__klass)
 195     { }
 196
 197 /* implementation defined member functions */
 198 protected:
 199   virtual bool __pointer_catch (const __pbase_type_info *__thr_type,
 200                                 void **__thr_obj,
 201                                 unsigned __outer) const;
 202 };
 203
 204 class __class_type_info;
 205
 206 /* helper class for __vmi_class_type */
 207 class __base_class_type_info
 208 {
 209 /* abi defined member variables */
 210 public:
 211   const __class_type_info* __base_type;    /* base class type */
 212   long __offset_flags;            /* offset and info */
 213
 214 /* implementation defined types */
 215 public:
 216   enum __offset_flags_masks {
 217     __virtual_mask = 0x1,
 218     __public_mask = 0x2,
 219     __hwm_bit = 2,
 220     __offset_shift = 8          /* bits to shift offset by */
 221   };
 222
 223 /* implementation defined member functions */
 224 public:
 225   bool __is_virtual_p () const
 226     { return __offset_flags & __virtual_mask; }
 227   bool __is_public_p () const
 228     { return __offset_flags & __public_mask; }
 229   __PTRDIFF_TYPE__ __offset () const
 230     {
 231       // This shift, being of a signed type, is implementation defined. GCC
 232       // implements such shifts as arithmetic, which is what we want.
 233       return static_cast<__PTRDIFF_TYPE__> (__offset_flags) >> __offset_shift;
 234     }
 235 };
 236
 237 /* type information for a class */
 238 class __class_type_info
 239   : public std::type_info
 240 {
 241 /* abi defined member functions */
 242 public:
 243   virtual ~__class_type_info ();
 244 public:
 245   explicit __class_type_info (const char *__n)
 246     : type_info (__n)
 247     { }
 248
 249 /* implementation defined types */
 250 public:
 251   /* sub_kind tells us about how a base object is contained within a derived
 252      object. We often do this lazily, hence the UNKNOWN value. At other times
 253      we may use NOT_CONTAINED to mean not publicly contained. */
 254   enum __sub_kind
 255   {
 256     __unknown = 0,              /* we have no idea */
 257     __not_contained,            /* not contained within us (in some */
 258                                 /* circumstances this might mean not contained */
 259                                 /* publicly) */
 260     __contained_ambig,          /* contained ambiguously */
 261
 262     __contained_virtual_mask = __base_class_type_info::__virtual_mask, /* via a virtual path */
 263     __contained_public_mask = __base_class_type_info::__public_mask,   /* via a public path */
 264     __contained_mask = 1 << __base_class_type_info::__hwm_bit,         /* contained within us */
 265
 266     __contained_private = __contained_mask,
 267     __contained_public = __contained_mask | __contained_public_mask
 268   };
 269
 270 public:
 271   struct __upcast_result;
 272   struct __dyncast_result;
 273
 274 /* implementation defined member functions */
 275 protected:
 276   virtual bool __do_upcast (const __class_type_info *__dst_type, void **__obj_ptr) const;
 277
 278 protected:
 279   virtual bool __do_catch (const type_info *__thr_type, void **__thr_obj,
 280                            unsigned __outer) const;
 281
 282
 283 public:
 284   /* Helper for upcast. See if DST is us, or one of our bases. */
 285   /* Return false if not found, true if found. */
 286   virtual bool __do_upcast (const __class_type_info *__dst,
 287                             const void *__obj,
 288                             __upcast_result &__restrict __result) const;
 289
 290 public:
 291   /* Indicate whether SRC_PTR of type SRC_TYPE is contained publicly within
 292      OBJ_PTR. OBJ_PTR points to a base object of our type, which is the
 293      destination type. SRC2DST indicates how SRC objects might be contained
 294      within this type.  If SRC_PTR is one of our SRC_TYPE bases, indicate the
 295      virtuality. Returns not_contained for non containment or private
 296      containment. */
 297   inline __sub_kind __find_public_src (__PTRDIFF_TYPE__ __src2dst,
 298                                        const void *__obj_ptr,
 299                                        const __class_type_info *__src_type,
 300                                        const void *__src_ptr) const;
 301
 302 public:
 303   /* dynamic cast helper. ACCESS_PATH gives the access from the most derived
 304      object to this base. DST_TYPE indicates the desired type we want. OBJ_PTR
 305      points to a base of our type within the complete object. SRC_TYPE
 306      indicates the static type started from and SRC_PTR points to that base
 307      within the most derived object. Fill in RESULT with what we find. Return
 308      true if we have located an ambiguous match. */
 309   virtual bool __do_dyncast (__PTRDIFF_TYPE__ __src2dst,
 310                              __sub_kind __access_path,
 311                              const __class_type_info *__dst_type,
 312                              const void *__obj_ptr,
 313                              const __class_type_info *__src_type,
 314                              const void *__src_ptr,
 315                              __dyncast_result &__result) const;
 316 public:
 317   /* Helper for find_public_subobj. SRC2DST indicates how SRC_TYPE bases are
 318      inherited by the type started from -- which is not necessarily the
 319      current type. The current type will be a base of the destination type.
 320      OBJ_PTR points to the current base. */
 321   virtual __sub_kind __do_find_public_src (__PTRDIFF_TYPE__ __src2dst,
 322                                            const void *__obj_ptr,
 323                                            const __class_type_info *__src_type,
 324                                            const void *__src_ptr) const;
 325 };
 326
 327 /* type information for a class with a single non-virtual base */
 328 class __si_class_type_info
 329   : public __class_type_info
 330 {
 331 /* abi defined member variables */
 332 public:
 333   const __class_type_info *__base_type;
 334
 335 /* abi defined member functions */
 336 public:
 337   virtual ~__si_class_type_info ();
 338 public:
 339   explicit __si_class_type_info (const char *__n,
 340                                  const __class_type_info *__base)
 341     : __class_type_info (__n), __base_type (__base)
 342     { }
 343
 344 /* implementation defined member functions */
 345 protected:
 346   virtual bool __do_dyncast (__PTRDIFF_TYPE__ __src2dst,
 347                              __sub_kind __access_path,
 348                              const __class_type_info *__dst_type,
 349                              const void *__obj_ptr,
 350                              const __class_type_info *__src_type,
 351                              const void *__src_ptr,
 352                              __dyncast_result &__result) const;
 353   virtual __sub_kind __do_find_public_src (__PTRDIFF_TYPE__ __src2dst,
 354                                            const void *__obj_ptr,
 355                                            const __class_type_info *__src_type,
 356                                            const void *__sub_ptr) const;
 357   virtual bool __do_upcast (const __class_type_info *__dst,
 358                             const void *__obj,
 359                             __upcast_result &__restrict __result) const;
 360 };
 361
 362 /* type information for a class with multiple and/or virtual bases */
 363 class __vmi_class_type_info : public __class_type_info {
 364 /* abi defined member variables */
 365 public:
 366   unsigned int __flags;         /* details about the class hierarchy */
 367   unsigned int __base_count;    /* number of direct bases */
 368   __base_class_type_info __base_info[1]; /* array of bases */
 369   /* The array of bases uses the trailing array struct hack
 370      so this class is not constructable with a normal constructor. It is
 371      internally generated by the compiler. */
 372
 373 /* abi defined member functions */
 374 public:
 375   virtual ~__vmi_class_type_info ();
 376 public:
 377   explicit __vmi_class_type_info (const char *__n,
 378                                   int ___flags)
 379     : __class_type_info (__n), __flags (___flags), __base_count (0)
 380     { }
 381
 382 /* implementation defined types */
 383 public:
 384   enum __flags_masks {
 385     __non_diamond_repeat_mask = 0x1,   /* distinct instance of repeated base */
 386     __diamond_shaped_mask = 0x2,       /* diamond shaped multiple inheritance */
 387     __flags_unknown_mask = 0x10
 388   };
 389
 390 /* implementation defined member functions */
 391 protected:
 392   virtual bool __do_dyncast (__PTRDIFF_TYPE__ __src2dst,
 393                              __sub_kind __access_path,
 394                              const __class_type_info *__dst_type,
 395                              const void *__obj_ptr,
 396                              const __class_type_info *__src_type,
 397                              const void *__src_ptr,
 398                              __dyncast_result &__result) const;
 399   virtual __sub_kind __do_find_public_src (__PTRDIFF_TYPE__ __src2dst,
 400                                            const void *__obj_ptr,
 401                                            const __class_type_info *__src_type,
 402                                            const void *__src_ptr) const;
 403   virtual bool __do_upcast (const __class_type_info *__dst,
 404                             const void *__obj,
 405                             __upcast_result &__restrict __result) const;
 406 };
 407
 408 /* dynamic cast runtime */
 409 extern "C"
 410 void *__dynamic_cast (const void *__src_ptr,    /* object started from */
 411                       const __class_type_info *__src_type, /* static type of object */
 412                       const __class_type_info *__dst_type, /* desired target type */
 413                       __PTRDIFF_TYPE__ __src2dst); /* how src and dst are related */
 414
 415     /* src2dst has the following possible values
 416        >= 0: src_type is a unique public non-virtual base of dst_type
 417              dst_ptr + src2dst == src_ptr
 418        -1: unspecified relationship
 419        -2: src_type is not a public base of dst_type
 420        -3: src_type is a multiple public non-virtual base of dst_type */
 421
 422 /* array ctor/dtor routines */
 423
 424 /* allocate and construct array */
 425 extern "C"
 426 void *__cxa_vec_new (__SIZE_TYPE__ __element_count,
 427                      __SIZE_TYPE__ __element_size,
 428                      __SIZE_TYPE__ __padding_size,
 429                      void (*__constructor) (void *),
 430                      void (*__destructor) (void *));
 431
 432 extern "C"
 433 void *__cxa_vec_new2 (__SIZE_TYPE__ __element_count,
 434                       __SIZE_TYPE__ __element_size,
 435                       __SIZE_TYPE__ __padding_size,
 436                       void (*__constructor) (void *),
 437                       void (*__destructor) (void *),
 438                       void *(*__alloc) (__SIZE_TYPE__),
 439                       void (*__dealloc) (void *));
 440
 441 extern "C"
 442 void *__cxa_vec_new3 (__SIZE_TYPE__ __element_count,
 443                       __SIZE_TYPE__ __element_size,
 444                       __SIZE_TYPE__ __padding_size,
 445                       void (*__constructor) (void *),
 446                       void (*__destructor) (void *),
 447                       void *(*__alloc) (__SIZE_TYPE__),
 448                       void (*__dealloc) (void *, __SIZE_TYPE__));
 449
 450 /* construct array */
 451 extern "C"
 452 void __cxa_vec_ctor (void *__array_address,
 453                      __SIZE_TYPE__ __element_count,
 454                      __SIZE_TYPE__ __element_size,
 455                      void (*__constructor) (void *),
 456                      void (*__destructor) (void *));
 457
 458 extern "C"
 459 void __cxa_vec_cctor (void *dest_array,
 460                       void *src_array,
 461                       __SIZE_TYPE__ element_count,
 462                       __SIZE_TYPE__ element_size,
 463                       void (*constructor) (void *, void *),
 464                       void (*destructor) (void *));
 465
 466 /* destruct array */
 467 extern "C"
 468 void __cxa_vec_dtor (void *__array_address,
 469                      __SIZE_TYPE__ __element_count,
 470                      __SIZE_TYPE__ __element_size,
 471                      void (*__destructor) (void *));
 472
 473 /* destruct array */
 474 extern "C"
 475 void __cxa_vec_cleanup (void *__array_address,
 476                         __SIZE_TYPE__ __element_count,
 477                         __SIZE_TYPE__ __element_size,
 478                         void (*__destructor) (void *));
 479
 480 /* destruct and release array */
 481 extern "C"
 482 void __cxa_vec_delete (void *__array_address,
 483                        __SIZE_TYPE__ __element_size,
 484                        __SIZE_TYPE__ __padding_size,
 485                        void (*__destructor) (void *));
 486
 487 extern "C"
 488 void __cxa_vec_delete2 (void *__array_address,
 489                         __SIZE_TYPE__ __element_size,
 490                         __SIZE_TYPE__ __padding_size,
 491                         void (*__destructor) (void *),
 492                         void (*__dealloc) (void *));
 493
 494 extern "C"
 495 void __cxa_vec_delete3 (void *__array_address,
 496                         __SIZE_TYPE__ __element_size,
 497                         __SIZE_TYPE__ __padding_size,
 498                         void (*__destructor) (void *),
 499                         void (*__dealloc) (void *, __SIZE_TYPE__));
 500
 501 /* guard variables */
 502
 503 /* The ABI requires a 64-bit type.  */
 504 __extension__ typedef int __guard __attribute__((mode (__DI__)));
 505
 506 extern "C"
 507 int __cxa_guard_acquire (__guard *);
 508
 509 extern "C"
 510 void __cxa_guard_release (__guard *);
 511
 512 extern "C"
 513 void __cxa_guard_abort (__guard *);
 514
 515 /* pure virtual functions */
 516
 517 extern "C" void
 518 __cxa_pure_virtual (void);
 519
 520 /* exception handling */
 521
 522 extern "C" void
 523 __cxa_bad_cast ();
 524
 525 extern "C" void
 526 __cxa_bad_typeid ();
 527
 528 /* DSO destruction */
 529
 530 extern "C" int
 531 __cxa_atexit (void (*)(void *), void *, void *);
 532
 533 extern "C" int
 534 __cxa_finalize (void *);
 535
 536 /* demangling routines */
 537
 538 extern "C"
 539 char *__cxa_demangle (const char *__mangled_name,
 540                       char *__output_buffer,
 541                       __SIZE_TYPE__ *__length,
 542                       int *__status);
 543
 544 // Returns the type_info for the currently handled exception [15.3/8], or
 545 // null if there is none.
 546 extern "C"
 547 std::type_info *__cxa_current_exception_type ();
 548
 549 } /* namespace __cxxabiv1 */
 550
 551 /* User programs should use the alias `abi'. */
 552 namespace abi = __cxxabiv1;
 553
 554 #else
 555 #endif /* __cplusplus */
 556
 557
 558 #endif /* __CXXABI_H */