]>
Commit | Line | Data |
---|---|---|
06bd10fb | 1 | // RTTI support internals for -*- C++ -*- |
83ffe9cd | 2 | // Copyright (C) 1994-2023 Free Software Foundation, Inc. |
aefb3380 | 3 | |
ce120bb2 MK |
4 | // This file is part of GCC. |
5 | // | |
6 | // GCC is free software; you can redistribute it and/or modify | |
7 | // it under the terms of the GNU General Public License as published by | |
748086b7 | 8 | // the Free Software Foundation; either version 3, or (at your option) |
ce120bb2 MK |
9 | // any later version. |
10 | ||
11 | // GCC is distributed in the hope that it will be useful, | |
12 | // but WITHOUT ANY WARRANTY; without even the implied warranty of | |
13 | // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
14 | // GNU General Public License for more details. | |
15 | ||
748086b7 JJ |
16 | // Under Section 7 of GPL version 3, you are granted additional |
17 | // permissions described in the GCC Runtime Library Exception, version | |
18 | // 3.1, as published by the Free Software Foundation. | |
ce120bb2 | 19 | |
748086b7 JJ |
20 | // You should have received a copy of the GNU General Public License and |
21 | // a copy of the GCC Runtime Library Exception along with this program; | |
22 | // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see | |
23 | // <http://www.gnu.org/licenses/>. | |
ce120bb2 | 24 | |
06bd10fb | 25 | #include "typeinfo" |
6b76f569 | 26 | #include <cstddef> |
06bd10fb BK |
27 | |
28 | // Class declarations shared between the typeinfo implementation files. | |
29 | ||
06bd10fb | 30 | #include <cxxabi.h> |
bd994a48 MM |
31 | |
32 | namespace __cxxabiv1 { | |
33 | ||
bd994a48 MM |
34 | namespace { |
35 | ||
36 | using namespace std; | |
37 | using namespace abi; | |
38 | ||
39 | // Initial part of a vtable, this structure is used with offsetof, so we don't | |
40 | // have to keep alignments consistent manually. | |
41 | struct vtable_prefix | |
42 | { | |
43 | // Offset to most derived object. | |
44 | ptrdiff_t whole_object; | |
45 | ||
46 | // Additional padding if necessary. | |
47 | #ifdef _GLIBCXX_VTABLE_PADDING | |
48 | ptrdiff_t padding1; | |
49 | #endif | |
50 | ||
51 | // Pointer to most derived type_info. | |
52 | const __class_type_info *whole_type; | |
53 | ||
54 | // Additional padding if necessary. | |
55 | #ifdef _GLIBCXX_VTABLE_PADDING | |
56 | ptrdiff_t padding2; | |
57 | #endif | |
58 | ||
59 | // What a class's vptr points to. | |
60 | const void *origin; | |
61 | }; | |
62 | ||
63 | template <typename T> | |
64 | inline const T * | |
65 | adjust_pointer (const void *base, ptrdiff_t offset) | |
66 | { | |
67 | return reinterpret_cast <const T *> | |
68 | (reinterpret_cast <const char *> (base) + offset); | |
69 | } | |
70 | ||
71 | // ADDR is a pointer to an object. Convert it to a pointer to a base, | |
72 | // using OFFSET. IS_VIRTUAL is true, if we are getting a virtual base. | |
73 | inline void const * | |
74 | convert_to_base (void const *addr, bool is_virtual, ptrdiff_t offset) | |
75 | { | |
76 | if (is_virtual) | |
77 | { | |
78 | const void *vtable = *static_cast <const void *const *> (addr); | |
79 | ||
80 | offset = *adjust_pointer<ptrdiff_t> (vtable, offset); | |
81 | } | |
82 | ||
83 | return adjust_pointer<void> (addr, offset); | |
84 | } | |
85 | ||
86 | // some predicate functions for __class_type_info::__sub_kind | |
87 | inline bool contained_p (__class_type_info::__sub_kind access_path) | |
88 | { | |
89 | return access_path >= __class_type_info::__contained_mask; | |
90 | } | |
91 | inline bool public_p (__class_type_info::__sub_kind access_path) | |
92 | { | |
93 | return access_path & __class_type_info::__contained_public_mask; | |
94 | } | |
95 | inline bool virtual_p (__class_type_info::__sub_kind access_path) | |
96 | { | |
97 | return (access_path & __class_type_info::__contained_virtual_mask); | |
98 | } | |
99 | inline bool contained_public_p (__class_type_info::__sub_kind access_path) | |
100 | { | |
101 | return ((access_path & __class_type_info::__contained_public) | |
102 | == __class_type_info::__contained_public); | |
103 | } | |
104 | inline bool contained_nonpublic_p (__class_type_info::__sub_kind access_path) | |
105 | { | |
106 | return ((access_path & __class_type_info::__contained_public) | |
107 | == __class_type_info::__contained_mask); | |
108 | } | |
109 | inline bool contained_nonvirtual_p (__class_type_info::__sub_kind access_path) | |
110 | { | |
111 | return ((access_path & (__class_type_info::__contained_mask | |
112 | | __class_type_info::__contained_virtual_mask)) | |
113 | == __class_type_info::__contained_mask); | |
114 | } | |
115 | ||
116 | static const __class_type_info *const nonvirtual_base_type = | |
117 | static_cast <const __class_type_info *> (0) + 1; | |
118 | ||
119 | } // namespace | |
120 | ||
121 | // __upcast_result is used to hold information during traversal of a class | |
122 | // hierarchy when catch matching. | |
123 | struct __class_type_info::__upcast_result | |
124 | { | |
125 | const void *dst_ptr; // pointer to caught object | |
126 | __sub_kind part2dst; // path from current base to target | |
127 | int src_details; // hints about the source type hierarchy | |
128 | const __class_type_info *base_type; // where we found the target, | |
129 | // if in vbase the __class_type_info of vbase | |
130 | // if a non-virtual base then 1 | |
131 | // else NULL | |
132 | __upcast_result (int d) | |
133 | :dst_ptr (NULL), part2dst (__unknown), src_details (d), base_type (NULL) | |
134 | {} | |
135 | }; | |
136 | ||
137 | // __dyncast_result is used to hold information during traversal of a class | |
138 | // hierarchy when dynamic casting. | |
139 | struct __class_type_info::__dyncast_result | |
140 | { | |
141 | const void *dst_ptr; // pointer to target object or NULL | |
142 | __sub_kind whole2dst; // path from most derived object to target | |
143 | __sub_kind whole2src; // path from most derived object to sub object | |
144 | __sub_kind dst2src; // path from target to sub object | |
145 | int whole_details; // details of the whole class hierarchy | |
146 | ||
147 | __dyncast_result (int details_ = __vmi_class_type_info::__flags_unknown_mask) | |
148 | :dst_ptr (NULL), whole2dst (__unknown), | |
149 | whole2src (__unknown), dst2src (__unknown), | |
150 | whole_details (details_) | |
151 | {} | |
152 | ||
153 | protected: | |
154 | __dyncast_result(const __dyncast_result&); | |
155 | ||
156 | __dyncast_result& | |
157 | operator=(const __dyncast_result&); | |
158 | }; | |
159 | ||
160 | inline __class_type_info::__sub_kind __class_type_info:: | |
161 | __find_public_src (ptrdiff_t src2dst, | |
162 | const void *obj_ptr, | |
163 | const __class_type_info *src_type, | |
164 | const void *src_ptr) const | |
165 | { | |
166 | if (src2dst >= 0) | |
167 | return adjust_pointer <void> (obj_ptr, src2dst) == src_ptr | |
168 | ? __contained_public : __not_contained; | |
169 | if (src2dst == -2) | |
170 | return __not_contained; | |
171 | return __do_find_public_src (src2dst, obj_ptr, src_type, src_ptr); | |
172 | } | |
173 | ||
174 | } |