1 //===----------------------- private_typeinfo.cpp -------------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 
9 #include "private_typeinfo.h"
10 
11 // The flag _LIBCXX_DYNAMIC_FALLBACK is used to make dynamic_cast more
12 // forgiving when type_info's mistakenly have hidden visibility and thus
13 // multiple type_infos can exist for a single type.
14 //
15 // When _LIBCXX_DYNAMIC_FALLBACK is defined, and only in the case where
16 // there is a detected inconsistency in the type_info hierarchy during a
17 // dynamic_cast, then the equality operation will fall back to using strcmp
18 // on type_info names to determine type_info equality.
19 //
20 // This change happens *only* under dynamic_cast, and only when
21 // dynamic_cast is faced with the choice:  abort, or possibly give back the
22 // wrong answer.  If when the dynamic_cast is done with this fallback
23 // algorithm and an inconsistency is still detected, dynamic_cast will call
24 // abort with an appropriate message.
25 //
26 // The current implementation of _LIBCXX_DYNAMIC_FALLBACK requires a
27 // printf-like function called syslog:
28 //
29 //     void syslog(int facility_priority, const char* format, ...);
30 //
31 // If you want this functionality but your platform doesn't have syslog,
32 // just implement it in terms of fprintf(stderr, ...).
33 //
34 // _LIBCXX_DYNAMIC_FALLBACK is currently off by default.
35 
36 
37 #include <string.h>
38 
39 
40 #ifdef _LIBCXX_DYNAMIC_FALLBACK
41 #include "abort_message.h"
42 #include <sys/syslog.h>
43 #endif
44 
45 // On Windows, typeids are different between DLLs and EXEs, so comparing
46 // type_info* will work for typeids from the same compiled file but fail
47 // for typeids from a DLL and an executable. Among other things, exceptions
48 // are not caught by handlers since can_catch() returns false.
49 //
50 // Defining _LIBCXX_DYNAMIC_FALLBACK does not help since can_catch() calls
51 // is_equal() with use_strcmp=false so the string names are not compared.
52 
53 #ifdef _WIN32
54 #include <string.h>
55 #endif
56 
57 static inline
58 bool
59 is_equal(const std::type_info* x, const std::type_info* y, bool use_strcmp)
60 {
61     // Use std::type_info's default comparison unless we've explicitly asked
62     // for strcmp.
63     if (!use_strcmp)
64         return *x == *y;
65     // Still allow pointer equality to short circut.
66     return x == y || strcmp(x->name(), y->name()) == 0;
67 }
68 
69 namespace __cxxabiv1
70 {
71 
72 // __shim_type_info
73 
74 __shim_type_info::~__shim_type_info()
75 {
76 }
77 
78 void __shim_type_info::noop1() const {}
79 void __shim_type_info::noop2() const {}
80 
81 // __fundamental_type_info
82 
83 // This miraculously (compiler magic) emits the type_info's for:
84 //   1. all of the fundamental types
85 //   2. pointers to all of the fundamental types
86 //   3. pointers to all of the const fundamental types
87 __fundamental_type_info::~__fundamental_type_info()
88 {
89 }
90 
91 // __array_type_info
92 
93 __array_type_info::~__array_type_info()
94 {
95 }
96 
97 // __function_type_info
98 
99 __function_type_info::~__function_type_info()
100 {
101 }
102 
103 // __enum_type_info
104 
105 __enum_type_info::~__enum_type_info()
106 {
107 }
108 
109 // __class_type_info
110 
111 __class_type_info::~__class_type_info()
112 {
113 }
114 
115 // __si_class_type_info
116 
117 __si_class_type_info::~__si_class_type_info()
118 {
119 }
120 
121 // __vmi_class_type_info
122 
123 __vmi_class_type_info::~__vmi_class_type_info()
124 {
125 }
126 
127 // __pbase_type_info
128 
129 __pbase_type_info::~__pbase_type_info()
130 {
131 }
132 
133 // __pointer_type_info
134 
135 __pointer_type_info::~__pointer_type_info()
136 {
137 }
138 
139 // __pointer_to_member_type_info
140 
141 __pointer_to_member_type_info::~__pointer_to_member_type_info()
142 {
143 }
144 
145 // can_catch
146 
147 // A handler is a match for an exception object of type E if
148 //   1. The handler is of type cv T or cv T& and E and T are the same type
149 //      (ignoring the top-level cv-qualifiers), or
150 //   2. the handler is of type cv T or cv T& and T is an unambiguous public
151 //       base class of E, or
152 //   3. the handler is of type cv1 T* cv2 and E is a pointer type that can be
153 //      converted to the type of the handler by either or both of
154 //      A. a standard pointer conversion (4.10) not involving conversions to
155 //         pointers to private or protected or ambiguous classes
156 //      B. a qualification conversion
157 //   4. the handler is a pointer or pointer to member type and E is
158 //      std::nullptr_t.
159 
160 // adjustedPtr:
161 //
162 // catch (A& a) : adjustedPtr == &a
163 // catch (A* a) : adjustedPtr == a
164 // catch (A** a) : adjustedPtr == a
165 //
166 // catch (D2& d2) : adjustedPtr == &d2  (d2 is base class of thrown object)
167 // catch (D2* d2) : adjustedPtr == d2
168 // catch (D2*& d2) : adjustedPtr == d2
169 //
170 // catch (...) : adjustedPtr == & of the exception
171 //
172 // If the thrown type is nullptr_t and the caught type is a pointer to
173 // member type, adjustedPtr points to a statically-allocated null pointer
174 // representation of that type.
175 
176 // Handles bullet 1
177 bool
178 __fundamental_type_info::can_catch(const __shim_type_info* thrown_type,
179                                    void*&) const
180 {
181     return is_equal(this, thrown_type, false);
182 }
183 
184 bool
185 __array_type_info::can_catch(const __shim_type_info*, void*&) const
186 {
187     // We can get here if someone tries to catch an array by reference.
188     //   However if someone tries to throw an array, it immediately gets
189     //   converted to a pointer, which will not convert back to an array
190     //   at the catch clause.  So this can never catch anything.
191     return false;
192 }
193 
194 bool
195 __function_type_info::can_catch(const __shim_type_info*, void*&) const
196 {
197     // We can get here if someone tries to catch a function by reference.
198     //   However if someone tries to throw a function, it immediately gets
199     //   converted to a pointer, which will not convert back to a function
200     //   at the catch clause.  So this can never catch anything.
201     return false;
202 }
203 
204 // Handles bullet 1
205 bool
206 __enum_type_info::can_catch(const __shim_type_info* thrown_type,
207                             void*&) const
208 {
209     return is_equal(this, thrown_type, false);
210 }
211 
212 #ifdef __clang__
213 #pragma clang diagnostic push
214 #pragma clang diagnostic ignored "-Wmissing-field-initializers"
215 #endif
216 
217 // Handles bullets 1 and 2
218 bool
219 __class_type_info::can_catch(const __shim_type_info* thrown_type,
220                              void*& adjustedPtr) const
221 {
222     // bullet 1
223     if (is_equal(this, thrown_type, false))
224         return true;
225     const __class_type_info* thrown_class_type =
226         dynamic_cast<const __class_type_info*>(thrown_type);
227     if (thrown_class_type == 0)
228         return false;
229     // bullet 2
230     __dynamic_cast_info info = {thrown_class_type, 0, this, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,};
231     info.number_of_dst_type = 1;
232     thrown_class_type->has_unambiguous_public_base(&info, adjustedPtr, public_path);
233     if (info.path_dst_ptr_to_static_ptr == public_path)
234     {
235         adjustedPtr = const_cast<void*>(info.dst_ptr_leading_to_static_ptr);
236         return true;
237     }
238     return false;
239 }
240 
241 #ifdef __clang__
242 #pragma clang diagnostic pop
243 #endif
244 
245 void
246 __class_type_info::process_found_base_class(__dynamic_cast_info* info,
247                                                void* adjustedPtr,
248                                                int path_below) const
249 {
250     if (info->dst_ptr_leading_to_static_ptr == 0)
251     {
252         // First time here
253         info->dst_ptr_leading_to_static_ptr = adjustedPtr;
254         info->path_dst_ptr_to_static_ptr = path_below;
255         info->number_to_static_ptr = 1;
256     }
257     else if (info->dst_ptr_leading_to_static_ptr == adjustedPtr)
258     {
259         // We've been here before.  Update path to "most public"
260         if (info->path_dst_ptr_to_static_ptr == not_public_path)
261             info->path_dst_ptr_to_static_ptr = path_below;
262     }
263     else
264     {
265         // We've detected an ambiguous cast from (thrown_class_type, adjustedPtr)
266         //   to a static_type
267         info->number_to_static_ptr += 1;
268         info->path_dst_ptr_to_static_ptr = not_public_path;
269         info->search_done = true;
270     }
271 }
272 
273 void
274 __class_type_info::has_unambiguous_public_base(__dynamic_cast_info* info,
275                                                void* adjustedPtr,
276                                                int path_below) const
277 {
278     if (is_equal(this, info->static_type, false))
279         process_found_base_class(info, adjustedPtr, path_below);
280 }
281 
282 void
283 __si_class_type_info::has_unambiguous_public_base(__dynamic_cast_info* info,
284                                                   void* adjustedPtr,
285                                                   int path_below) const
286 {
287     if (is_equal(this, info->static_type, false))
288         process_found_base_class(info, adjustedPtr, path_below);
289     else
290         __base_type->has_unambiguous_public_base(info, adjustedPtr, path_below);
291 }
292 
293 void
294 __base_class_type_info::has_unambiguous_public_base(__dynamic_cast_info* info,
295                                                     void* adjustedPtr,
296                                                     int path_below) const
297 {
298     ptrdiff_t offset_to_base = 0;
299     if (adjustedPtr != nullptr)
300     {
301         offset_to_base = __offset_flags >> __offset_shift;
302         if (__offset_flags & __virtual_mask)
303         {
304             const char* vtable = *static_cast<const char*const*>(adjustedPtr);
305             offset_to_base = *reinterpret_cast<const ptrdiff_t*>(vtable + offset_to_base);
306         }
307     }
308     __base_type->has_unambiguous_public_base(
309             info,
310             static_cast<char*>(adjustedPtr) + offset_to_base,
311             (__offset_flags & __public_mask) ? path_below : not_public_path);
312 }
313 
314 void
315 __vmi_class_type_info::has_unambiguous_public_base(__dynamic_cast_info* info,
316                                                    void* adjustedPtr,
317                                                    int path_below) const
318 {
319     if (is_equal(this, info->static_type, false))
320         process_found_base_class(info, adjustedPtr, path_below);
321     else
322     {
323         typedef const __base_class_type_info* Iter;
324         const Iter e = __base_info + __base_count;
325         Iter p = __base_info;
326         p->has_unambiguous_public_base(info, adjustedPtr, path_below);
327         if (++p < e)
328         {
329             do
330             {
331                 p->has_unambiguous_public_base(info, adjustedPtr, path_below);
332                 if (info->search_done)
333                     break;
334             } while (++p < e);
335         }
336     }
337 }
338 
339 // Handles bullet 1 for both pointers and member pointers
340 bool
341 __pbase_type_info::can_catch(const __shim_type_info* thrown_type,
342                              void*&) const
343 {
344     bool use_strcmp = this->__flags & (__incomplete_class_mask |
345                                        __incomplete_mask);
346     if (!use_strcmp) {
347         const __pbase_type_info* thrown_pbase = dynamic_cast<const __pbase_type_info*>(
348                 thrown_type);
349         if (!thrown_pbase) return false;
350         use_strcmp = thrown_pbase->__flags & (__incomplete_class_mask |
351                                               __incomplete_mask);
352     }
353     return is_equal(this, thrown_type, use_strcmp);
354 }
355 
356 #ifdef __clang__
357 #pragma clang diagnostic push
358 #pragma clang diagnostic ignored "-Wmissing-field-initializers"
359 #endif
360 
361 // Handles bullets 1, 3 and 4
362 // NOTE: It might not be safe to adjust the pointer if it is not not a pointer
363 // type. Only adjust the pointer after we know it is safe to do so.
364 bool
365 __pointer_type_info::can_catch(const __shim_type_info* thrown_type,
366                                void*& adjustedPtr) const
367 {
368     // bullet 4
369     if (is_equal(thrown_type, &typeid(std::nullptr_t), false)) {
370       adjustedPtr = nullptr;
371       return true;
372     }
373 
374     // bullet 1
375     if (__pbase_type_info::can_catch(thrown_type, adjustedPtr)) {
376         if (adjustedPtr != NULL)
377             adjustedPtr = *static_cast<void**>(adjustedPtr);
378         return true;
379     }
380     // bullet 3
381     const __pointer_type_info* thrown_pointer_type =
382         dynamic_cast<const __pointer_type_info*>(thrown_type);
383     if (thrown_pointer_type == 0)
384         return false;
385     // Do the dereference adjustment
386     if (adjustedPtr != NULL)
387         adjustedPtr = *static_cast<void**>(adjustedPtr);
388     // bullet 3B and 3C
389     if (thrown_pointer_type->__flags & ~__flags & __no_remove_flags_mask)
390         return false;
391     if (__flags & ~thrown_pointer_type->__flags & __no_add_flags_mask)
392         return false;
393     if (is_equal(__pointee, thrown_pointer_type->__pointee, false))
394         return true;
395     // bullet 3A
396     if (is_equal(__pointee, &typeid(void), false)) {
397         // pointers to functions cannot be converted to void*.
398         // pointers to member functions are not handled here.
399         const __function_type_info* thrown_function =
400             dynamic_cast<const __function_type_info*>(thrown_pointer_type->__pointee);
401         return (thrown_function == nullptr);
402     }
403     // Handle pointer to pointer
404     const __pointer_type_info* nested_pointer_type =
405         dynamic_cast<const __pointer_type_info*>(__pointee);
406     if (nested_pointer_type) {
407         if (~__flags & __const_mask) return false;
408         return nested_pointer_type->can_catch_nested(thrown_pointer_type->__pointee);
409     }
410 
411     // Handle pointer to pointer to member
412     const __pointer_to_member_type_info* member_ptr_type =
413         dynamic_cast<const __pointer_to_member_type_info*>(__pointee);
414     if (member_ptr_type) {
415         if (~__flags & __const_mask) return false;
416         return member_ptr_type->can_catch_nested(thrown_pointer_type->__pointee);
417     }
418 
419     // Handle pointer to class type
420     const __class_type_info* catch_class_type =
421         dynamic_cast<const __class_type_info*>(__pointee);
422     if (catch_class_type == 0)
423         return false;
424     const __class_type_info* thrown_class_type =
425         dynamic_cast<const __class_type_info*>(thrown_pointer_type->__pointee);
426     if (thrown_class_type == 0)
427         return false;
428     __dynamic_cast_info info = {thrown_class_type, 0, catch_class_type, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,};
429     info.number_of_dst_type = 1;
430     thrown_class_type->has_unambiguous_public_base(&info, adjustedPtr, public_path);
431     if (info.path_dst_ptr_to_static_ptr == public_path)
432     {
433         if (adjustedPtr != NULL)
434             adjustedPtr = const_cast<void*>(info.dst_ptr_leading_to_static_ptr);
435         return true;
436     }
437     return false;
438 }
439 
440 bool __pointer_type_info::can_catch_nested(
441     const __shim_type_info* thrown_type) const
442 {
443   const __pointer_type_info* thrown_pointer_type =
444         dynamic_cast<const __pointer_type_info*>(thrown_type);
445     if (thrown_pointer_type == 0)
446         return false;
447     // bullet 3B
448     if (thrown_pointer_type->__flags & ~__flags)
449         return false;
450     if (is_equal(__pointee, thrown_pointer_type->__pointee, false))
451         return true;
452     // If the pointed to types differ then the catch type must be const
453     // qualified.
454     if (~__flags & __const_mask)
455         return false;
456 
457     // Handle pointer to pointer
458     const __pointer_type_info* nested_pointer_type =
459         dynamic_cast<const __pointer_type_info*>(__pointee);
460     if (nested_pointer_type) {
461         return nested_pointer_type->can_catch_nested(
462             thrown_pointer_type->__pointee);
463     }
464 
465     // Handle pointer to pointer to member
466     const __pointer_to_member_type_info* member_ptr_type =
467         dynamic_cast<const __pointer_to_member_type_info*>(__pointee);
468     if (member_ptr_type) {
469         return member_ptr_type->can_catch_nested(thrown_pointer_type->__pointee);
470     }
471 
472     return false;
473 }
474 
475 bool __pointer_to_member_type_info::can_catch(
476     const __shim_type_info* thrown_type, void*& adjustedPtr) const {
477     // bullet 4
478     if (is_equal(thrown_type, &typeid(std::nullptr_t), false)) {
479       // We assume that the pointer to member representation is the same for
480       // all pointers to data members and for all pointers to member functions.
481       struct X {};
482       if (dynamic_cast<const __function_type_info*>(__pointee)) {
483         static int (X::*const null_ptr_rep)() = nullptr;
484         adjustedPtr = const_cast<int (X::**)()>(&null_ptr_rep);
485       } else {
486         static int X::*const null_ptr_rep = nullptr;
487         adjustedPtr = const_cast<int X::**>(&null_ptr_rep);
488       }
489       return true;
490     }
491 
492     // bullet 1
493     if (__pbase_type_info::can_catch(thrown_type, adjustedPtr))
494         return true;
495 
496     const __pointer_to_member_type_info* thrown_pointer_type =
497         dynamic_cast<const __pointer_to_member_type_info*>(thrown_type);
498     if (thrown_pointer_type == 0)
499         return false;
500     if (thrown_pointer_type->__flags & ~__flags & __no_remove_flags_mask)
501         return false;
502     if (__flags & ~thrown_pointer_type->__flags & __no_add_flags_mask)
503         return false;
504     if (!is_equal(__pointee, thrown_pointer_type->__pointee, false))
505         return false;
506     if (is_equal(__context, thrown_pointer_type->__context, false))
507         return true;
508 
509     // [except.handle] does not allow the pointer-to-member conversions mentioned
510     // in [mem.conv] to take place. For this reason we don't check Derived->Base
511     // for Derived->Base conversions.
512 
513     return false;
514 }
515 
516 bool __pointer_to_member_type_info::can_catch_nested(
517     const __shim_type_info* thrown_type) const
518 {
519     const __pointer_to_member_type_info* thrown_member_ptr_type =
520         dynamic_cast<const __pointer_to_member_type_info*>(thrown_type);
521     if (thrown_member_ptr_type == 0)
522         return false;
523     if (~__flags & thrown_member_ptr_type->__flags)
524         return false;
525     if (!is_equal(__pointee, thrown_member_ptr_type->__pointee, false))
526         return false;
527     if (!is_equal(__context, thrown_member_ptr_type->__context, false))
528         return false;
529     return true;
530 }
531 
532 #ifdef __clang__
533 #pragma clang diagnostic pop
534 #endif
535 
536 #ifdef __clang__
537 #pragma clang diagnostic push
538 #pragma clang diagnostic ignored "-Wmissing-field-initializers"
539 #endif
540 
541 // __dynamic_cast
542 
543 // static_ptr: pointer to an object of type static_type; nonnull, and since the
544 //   object is polymorphic, *(void**)static_ptr is a virtual table pointer.
545 //   static_ptr is &v in the expression dynamic_cast<T>(v).
546 // static_type: static type of the object pointed to by static_ptr.
547 // dst_type: destination type of the cast (the "T" in "dynamic_cast<T>(v)").
548 // src2dst_offset: a static hint about the location of the
549 //                 source subobject with respect to the complete object;
550 //                 special negative values are:
551 //                     -1: no hint
552 //                     -2: static_type is not a public base of dst_type
553 //                     -3: static_type is a multiple public base type but never a
554 //                         virtual base type
555 //                 otherwise, the static_type type is a unique public nonvirtual
556 //                 base type of dst_type at offset src2dst_offset from the
557 //                 origin of dst_type.
558 //
559 // (dynamic_ptr, dynamic_type) are the run time type of the complete object
560 // referred to by static_ptr and a pointer to it.  These can be found from
561 // static_ptr for polymorphic types.
562 // static_type is guaranteed to be a polymorphic type.
563 //
564 // (dynamic_ptr, dynamic_type) is the root of a DAG that grows upward.  Each
565 // node of the tree represents a base class/object of its parent (or parents) below.
566 // Each node is uniquely represented by a pointer to the object, and a pointer
567 // to a type_info - its type.  Different nodes may have the same pointer and
568 // different nodes may have the same type.  But only one node has a specific
569 // (pointer-value, type) pair.  In C++ two objects of the same type can not
570 // share the same address.
571 //
572 // There are two flavors of nodes which have the type dst_type:
573 //    1.  Those that are derived from (below) (static_ptr, static_type).
574 //    2.  Those that are not derived from (below) (static_ptr, static_type).
575 //
576 // Invariants of the DAG:
577 //
578 // There is at least one path from the root (dynamic_ptr, dynamic_type) to
579 // the node (static_ptr, static_type).  This path may or may not be public.
580 // There may be more than one such path (some public some not).  Such a path may
581 // or may not go through a node having type dst_type.
582 //
583 // No node of type T appears above a node of the same type.  That means that
584 // there is only one node with dynamic_type.  And if dynamic_type == dst_type,
585 // then there is only one dst_type in the DAG.
586 //
587 // No node of type dst_type appears above a node of type static_type.  Such
588 // DAG's are possible in C++, but the compiler computes those dynamic_casts at
589 // compile time, and only calls __dynamic_cast when dst_type lies below
590 // static_type in the DAG.
591 //
592 // dst_type != static_type:  The compiler computes the dynamic_cast in this case too.
593 // dynamic_type != static_type:  The compiler computes the dynamic_cast in this case too.
594 //
595 // Returns:
596 //
597 // If there is exactly one dst_type of flavor 1, and
598 //    If there is a public path from that dst_type to (static_ptr, static_type), or
599 //    If there are 0 dst_types of flavor 2, and there is a public path from
600 //        (dynamic_ptr, dynamic_type) to (static_ptr, static_type) and a public
601 //        path from (dynamic_ptr, dynamic_type) to the one dst_type, then return
602 //        a pointer to that dst_type.
603 // Else if there are 0 dst_types of flavor 1 and exactly 1 dst_type of flavor 2, and
604 //    if there is a public path from (dynamic_ptr, dynamic_type) to
605 //    (static_ptr, static_type) and a public path from (dynamic_ptr, dynamic_type)
606 //    to the one dst_type, then return a pointer to that one dst_type.
607 // Else return nullptr.
608 //
609 // If dynamic_type == dst_type, then the above algorithm collapses to the
610 // following cheaper algorithm:
611 //
612 // If there is a public path from (dynamic_ptr, dynamic_type) to
613 //    (static_ptr, static_type), then return dynamic_ptr.
614 // Else return nullptr.
615 
616 extern "C" _LIBCXXABI_FUNC_VIS void *
617 __dynamic_cast(const void *static_ptr, const __class_type_info *static_type,
618                const __class_type_info *dst_type,
619                std::ptrdiff_t src2dst_offset) {
620     // Possible future optimization:  Take advantage of src2dst_offset
621 
622     // Get (dynamic_ptr, dynamic_type) from static_ptr
623     void **vtable = *static_cast<void ** const *>(static_ptr);
624     ptrdiff_t offset_to_derived = reinterpret_cast<ptrdiff_t>(vtable[-2]);
625     const void* dynamic_ptr = static_cast<const char*>(static_ptr) + offset_to_derived;
626     const __class_type_info* dynamic_type = static_cast<const __class_type_info*>(vtable[-1]);
627 
628     // Initialize answer to nullptr.  This will be changed from the search
629     //    results if a non-null answer is found.  Regardless, this is what will
630     //    be returned.
631     const void* dst_ptr = 0;
632     // Initialize info struct for this search.
633     __dynamic_cast_info info = {dst_type, static_ptr, static_type, src2dst_offset, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,};
634 
635     // Find out if we can use a giant short cut in the search
636     if (is_equal(dynamic_type, dst_type, false))
637     {
638         // Using giant short cut.  Add that information to info.
639         info.number_of_dst_type = 1;
640         // Do the  search
641         dynamic_type->search_above_dst(&info, dynamic_ptr, dynamic_ptr, public_path, false);
642 #ifdef _LIBCXX_DYNAMIC_FALLBACK
643         // The following if should always be false because we should definitely
644         //   find (static_ptr, static_type), either on a public or private path
645         if (info.path_dst_ptr_to_static_ptr == unknown)
646         {
647             // We get here only if there is some kind of visibility problem
648             //   in client code.
649             syslog(LOG_ERR, "dynamic_cast error 1: Both of the following type_info's "
650                     "should have public visibility. At least one of them is hidden. %s"
651                     ", %s.\n", static_type->name(), dynamic_type->name());
652             // Redo the search comparing type_info's using strcmp
653             info = {dst_type, static_ptr, static_type, src2dst_offset, 0};
654             info.number_of_dst_type = 1;
655             dynamic_type->search_above_dst(&info, dynamic_ptr, dynamic_ptr, public_path, true);
656         }
657 #endif  // _LIBCXX_DYNAMIC_FALLBACK
658         // Query the search.
659         if (info.path_dst_ptr_to_static_ptr == public_path)
660             dst_ptr = dynamic_ptr;
661     }
662     else
663     {
664         // Not using giant short cut.  Do the search
665         dynamic_type->search_below_dst(&info, dynamic_ptr, public_path, false);
666  #ifdef _LIBCXX_DYNAMIC_FALLBACK
667         // The following if should always be false because we should definitely
668         //   find (static_ptr, static_type), either on a public or private path
669         if (info.path_dst_ptr_to_static_ptr == unknown &&
670             info.path_dynamic_ptr_to_static_ptr == unknown)
671         {
672             syslog(LOG_ERR, "dynamic_cast error 2: One or more of the following type_info's "
673                             "has hidden visibility or is defined in more than one translation "
674                             "unit. They should all have public visibility. "
675                             "%s, %s, %s.\n", static_type->name(), dynamic_type->name(),
676                     dst_type->name());
677             // Redo the search comparing type_info's using strcmp
678             info = {dst_type, static_ptr, static_type, src2dst_offset, 0};
679             dynamic_type->search_below_dst(&info, dynamic_ptr, public_path, true);
680         }
681 #endif  // _LIBCXX_DYNAMIC_FALLBACK
682         // Query the search.
683         switch (info.number_to_static_ptr)
684         {
685         case 0:
686             if (info.number_to_dst_ptr == 1 &&
687                     info.path_dynamic_ptr_to_static_ptr == public_path &&
688                     info.path_dynamic_ptr_to_dst_ptr == public_path)
689                 dst_ptr = info.dst_ptr_not_leading_to_static_ptr;
690             break;
691         case 1:
692             if (info.path_dst_ptr_to_static_ptr == public_path ||
693                    (
694                        info.number_to_dst_ptr == 0 &&
695                        info.path_dynamic_ptr_to_static_ptr == public_path &&
696                        info.path_dynamic_ptr_to_dst_ptr == public_path
697                    )
698                )
699                 dst_ptr = info.dst_ptr_leading_to_static_ptr;
700             break;
701         }
702     }
703     return const_cast<void*>(dst_ptr);
704 }
705 
706 #ifdef __clang__
707 #pragma clang diagnostic pop
708 #endif
709 
710 // Call this function when you hit a static_type which is a base (above) a dst_type.
711 // Let caller know you hit a static_type.  But only start recording details if
712 // this is (static_ptr, static_type) -- the node we are casting from.
713 // If this is (static_ptr, static_type)
714 //   Record the path (public or not) from the dst_type to here.  There may be
715 //   multiple paths from the same dst_type to here, record the "most public" one.
716 //   Record the dst_ptr as pointing to (static_ptr, static_type).
717 //   If more than one (dst_ptr, dst_type) points to (static_ptr, static_type),
718 //   then mark this dyanmic_cast as ambiguous and stop the search.
719 void
720 __class_type_info::process_static_type_above_dst(__dynamic_cast_info* info,
721                                                  const void* dst_ptr,
722                                                  const void* current_ptr,
723                                                  int path_below) const
724 {
725     // Record that we found a static_type
726     info->found_any_static_type = true;
727     if (current_ptr == info->static_ptr)
728     {
729         // Record that we found (static_ptr, static_type)
730         info->found_our_static_ptr = true;
731         if (info->dst_ptr_leading_to_static_ptr == 0)
732         {
733             // First time here
734             info->dst_ptr_leading_to_static_ptr = dst_ptr;
735             info->path_dst_ptr_to_static_ptr = path_below;
736             info->number_to_static_ptr = 1;
737             // If there is only one dst_type in the entire tree and the path from
738             //    there to here is public then we are done!
739             if (info->number_of_dst_type == 1 && info->path_dst_ptr_to_static_ptr == public_path)
740                 info->search_done = true;
741         }
742         else if (info->dst_ptr_leading_to_static_ptr == dst_ptr)
743         {
744             // We've been here before.  Update path to "most public"
745             if (info->path_dst_ptr_to_static_ptr == not_public_path)
746                 info->path_dst_ptr_to_static_ptr = path_below;
747             // If there is only one dst_type in the entire tree and the path from
748             //    there to here is public then we are done!
749             if (info->number_of_dst_type == 1 && info->path_dst_ptr_to_static_ptr == public_path)
750                 info->search_done = true;
751         }
752         else
753         {
754             // We've detected an ambiguous cast from (static_ptr, static_type)
755             //   to a dst_type
756             info->number_to_static_ptr += 1;
757             info->search_done = true;
758         }
759     }
760 }
761 
762 // Call this function when you hit a static_type which is not a base (above) a dst_type.
763 // If this is (static_ptr, static_type)
764 //   Record the path (public or not) from (dynamic_ptr, dynamic_type) to here.  There may be
765 //   multiple paths from (dynamic_ptr, dynamic_type) to here, record the "most public" one.
766 void
767 __class_type_info::process_static_type_below_dst(__dynamic_cast_info* info,
768                                                  const void* current_ptr,
769                                                  int path_below) const
770 {
771     if (current_ptr == info->static_ptr)
772     {
773         // Record the most public path from (dynamic_ptr, dynamic_type) to
774         //                                  (static_ptr, static_type)
775         if (info->path_dynamic_ptr_to_static_ptr != public_path)
776             info->path_dynamic_ptr_to_static_ptr = path_below;
777     }
778 }
779 
780 // Call this function when searching below a dst_type node.  This function searches
781 // for a path to (static_ptr, static_type) and for paths to one or more dst_type nodes.
782 // If it finds a static_type node, there is no need to further search base classes
783 // above.
784 // If it finds a dst_type node it should search base classes using search_above_dst
785 // to find out if this dst_type points to (static_ptr, static_type) or not.
786 // Either way, the dst_type is recorded as one of two "flavors":  one that does
787 // or does not point to (static_ptr, static_type).
788 // If this is neither a static_type nor a dst_type node, continue searching
789 // base classes above.
790 // All the hoopla surrounding the search code is doing nothing but looking for
791 // excuses to stop the search prematurely (break out of the for-loop).  That is,
792 // the algorithm below is simply an optimization of this:
793 // void
794 // __vmi_class_type_info::search_below_dst(__dynamic_cast_info* info,
795 //                                         const void* current_ptr,
796 //                                         int path_below) const
797 // {
798 //     typedef const __base_class_type_info* Iter;
799 //     if (this == info->static_type)
800 //         process_static_type_below_dst(info, current_ptr, path_below);
801 //     else if (this == info->dst_type)
802 //     {
803 //         // Record the most public access path that got us here
804 //         if (info->path_dynamic_ptr_to_dst_ptr != public_path)
805 //             info->path_dynamic_ptr_to_dst_ptr = path_below;
806 //         bool does_dst_type_point_to_our_static_type = false;
807 //         for (Iter p = __base_info, e= __base_info + __base_count; p < e; ++p)
808 //         {
809 //             p->search_above_dst(info, current_ptr, current_ptr, public_path);
810 //             if (info->found_our_static_ptr)
811 //                 does_dst_type_point_to_our_static_type = true;
812 //             // break out early here if you can detect it doesn't matter if you do
813 //         }
814 //         if (!does_dst_type_point_to_our_static_type)
815 //         {
816 //             // We found a dst_type that doesn't point to (static_ptr, static_type)
817 //             // So record the address of this dst_ptr and increment the
818 //             // count of the number of such dst_types found in the tree.
819 //             info->dst_ptr_not_leading_to_static_ptr = current_ptr;
820 //             info->number_to_dst_ptr += 1;
821 //         }
822 //     }
823 //     else
824 //     {
825 //         // This is not a static_type and not a dst_type.
826 //         for (Iter p = __base_info, e = __base_info + __base_count; p < e; ++p)
827 //         {
828 //             p->search_below_dst(info, current_ptr, public_path);
829 //             // break out early here if you can detect it doesn't matter if you do
830 //         }
831 //     }
832 // }
833 void
834 __vmi_class_type_info::search_below_dst(__dynamic_cast_info* info,
835                                         const void* current_ptr,
836                                         int path_below,
837                                         bool use_strcmp) const
838 {
839     typedef const __base_class_type_info* Iter;
840     if (is_equal(this, info->static_type, use_strcmp))
841         process_static_type_below_dst(info, current_ptr, path_below);
842     else if (is_equal(this, info->dst_type, use_strcmp))
843     {
844         // We've been here before if we've recorded current_ptr in one of these
845         //   two places:
846         if (current_ptr == info->dst_ptr_leading_to_static_ptr ||
847             current_ptr == info->dst_ptr_not_leading_to_static_ptr)
848         {
849             // We've seen this node before, and therefore have already searched
850             // its base classes above.
851             //  Update path to here that is "most public".
852             if (path_below == public_path)
853                 info->path_dynamic_ptr_to_dst_ptr = public_path;
854         }
855         else  // We have haven't been here before
856         {
857             // Record the access path that got us here
858             //   If there is more than one dst_type this path doesn't matter.
859             info->path_dynamic_ptr_to_dst_ptr = path_below;
860             bool does_dst_type_point_to_our_static_type = false;
861             // Only search above here if dst_type derives from static_type, or
862             //    if it is unknown if dst_type derives from static_type.
863             if (info->is_dst_type_derived_from_static_type != no)
864             {
865                 // Set up flags to record results from all base classes
866                 bool is_dst_type_derived_from_static_type = false;
867 
868                 // We've found a dst_type with a potentially public path to here.
869                 // We have to assume the path is public because it may become
870                 //   public later (if we get back to here with a public path).
871                 // We can stop looking above if:
872                 //    1.  We've found a public path to (static_ptr, static_type).
873                 //    2.  We've found an ambiguous cast from (static_ptr, static_type) to a dst_type.
874                 //        This is detected at the (static_ptr, static_type).
875                 //    3.  We can prove that there is no public path to (static_ptr, static_type)
876                 //        above here.
877                 const Iter e = __base_info + __base_count;
878                 for (Iter p = __base_info; p < e; ++p)
879                 {
880                     // Zero out found flags
881                     info->found_our_static_ptr = false;
882                     info->found_any_static_type = false;
883                     p->search_above_dst(info, current_ptr, current_ptr, public_path, use_strcmp);
884                     if (info->search_done)
885                         break;
886                     if (info->found_any_static_type)
887                     {
888                         is_dst_type_derived_from_static_type = true;
889                         if (info->found_our_static_ptr)
890                         {
891                             does_dst_type_point_to_our_static_type = true;
892                             // If we found what we're looking for, stop looking above.
893                             if (info->path_dst_ptr_to_static_ptr == public_path)
894                                 break;
895                             // We found a private path to (static_ptr, static_type)
896                             //   If there is no diamond then there is only one path
897                             //   to (static_ptr, static_type) and we just found it.
898                             if (!(__flags & __diamond_shaped_mask))
899                                 break;
900                         }
901                         else
902                         {
903                             // If we found a static_type that isn't the one we're looking
904                             //    for, and if there are no repeated types above here,
905                             //    then stop looking.
906                             if (!(__flags & __non_diamond_repeat_mask))
907                                 break;
908                         }
909                     }
910                 }
911                 // If we found no static_type,s then dst_type doesn't derive
912                 //   from static_type, else it does.  Record this result so that
913                 //   next time we hit a dst_type we will know not to search above
914                 //   it if it doesn't derive from static_type.
915                 if (is_dst_type_derived_from_static_type)
916                     info->is_dst_type_derived_from_static_type = yes;
917                 else
918                     info->is_dst_type_derived_from_static_type = no;
919               }
920               if (!does_dst_type_point_to_our_static_type)
921               {
922                   // We found a dst_type that doesn't point to (static_ptr, static_type)
923                   // So record the address of this dst_ptr and increment the
924                   // count of the number of such dst_types found in the tree.
925                   info->dst_ptr_not_leading_to_static_ptr = current_ptr;
926                   info->number_to_dst_ptr += 1;
927                   // If there exists another dst with a private path to
928                   //    (static_ptr, static_type), then the cast from
929                   //     (dynamic_ptr, dynamic_type) to dst_type is now ambiguous,
930                   //      so stop search.
931                   if (info->number_to_static_ptr == 1 &&
932                           info->path_dst_ptr_to_static_ptr == not_public_path)
933                       info->search_done = true;
934               }
935         }
936     }
937     else
938     {
939         // This is not a static_type and not a dst_type.
940         const Iter e = __base_info + __base_count;
941         Iter p = __base_info;
942         p->search_below_dst(info, current_ptr, path_below, use_strcmp);
943         if (++p < e)
944         {
945             if ((__flags & __diamond_shaped_mask) || info->number_to_static_ptr == 1)
946             {
947                 // If there are multiple paths to a base above from here, or if
948                 //    a dst_type pointing to (static_ptr, static_type) has been found,
949                 //    then there is no way to break out of this loop early unless
950                 //    something below detects the search is done.
951                 do
952                 {
953                     if (info->search_done)
954                         break;
955                     p->search_below_dst(info, current_ptr, path_below, use_strcmp);
956                 } while (++p < e);
957             }
958             else if (__flags & __non_diamond_repeat_mask)
959             {
960                 // There are not multiple paths to any base class from here and a
961                 //   dst_type pointing to (static_ptr, static_type) has not yet been
962                 //   found.
963                 do
964                 {
965                     if (info->search_done)
966                         break;
967                     // If we just found a dst_type with a public path to (static_ptr, static_type),
968                     //    then the only reason to continue the search is to make sure
969                     //    no other dst_type points to (static_ptr, static_type).
970                     //    If !diamond, then we don't need to search here.
971                     if (info->number_to_static_ptr == 1 &&
972                               info->path_dst_ptr_to_static_ptr == public_path)
973                         break;
974                     p->search_below_dst(info, current_ptr, path_below, use_strcmp);
975                 } while (++p < e);
976             }
977             else
978             {
979                 // There are no repeated types above this node.
980                 // There are no nodes with multiple parents above this node.
981                 // no dst_type has been found to (static_ptr, static_type)
982                 do
983                 {
984                     if (info->search_done)
985                         break;
986                     // If we just found a dst_type with a public path to (static_ptr, static_type),
987                     //    then the only reason to continue the search is to make sure sure
988                     //    no other dst_type points to (static_ptr, static_type).
989                     //    If !diamond, then we don't need to search here.
990                     // if we just found a dst_type with a private path to (static_ptr, static_type),
991                     //    then we're only looking for a public path to (static_ptr, static_type)
992                     //    and to check for other dst_types.
993                     //    If !diamond & !repeat, then there is not a pointer to (static_ptr, static_type)
994                     //    and not a dst_type under here.
995                     if (info->number_to_static_ptr == 1)
996                         break;
997                     p->search_below_dst(info, current_ptr, path_below, use_strcmp);
998                 } while (++p < e);
999             }
1000         }
1001     }
1002 }
1003 
1004 // This is the same algorithm as __vmi_class_type_info::search_below_dst but
1005 //   simplified to the case that there is only a single base class.
1006 void
1007 __si_class_type_info::search_below_dst(__dynamic_cast_info* info,
1008                                        const void* current_ptr,
1009                                        int path_below,
1010                                        bool use_strcmp) const
1011 {
1012     if (is_equal(this, info->static_type, use_strcmp))
1013         process_static_type_below_dst(info, current_ptr, path_below);
1014     else if (is_equal(this, info->dst_type, use_strcmp))
1015     {
1016         // We've been here before if we've recorded current_ptr in one of these
1017         //   two places:
1018         if (current_ptr == info->dst_ptr_leading_to_static_ptr ||
1019             current_ptr == info->dst_ptr_not_leading_to_static_ptr)
1020         {
1021             // We've seen this node before, and therefore have already searched
1022             // its base classes above.
1023             //  Update path to here that is "most public".
1024             if (path_below == public_path)
1025                 info->path_dynamic_ptr_to_dst_ptr = public_path;
1026         }
1027         else  // We have haven't been here before
1028         {
1029             // Record the access path that got us here
1030             //   If there is more than one dst_type this path doesn't matter.
1031             info->path_dynamic_ptr_to_dst_ptr = path_below;
1032             bool does_dst_type_point_to_our_static_type = false;
1033             // Only search above here if dst_type derives from static_type, or
1034             //    if it is unknown if dst_type derives from static_type.
1035             if (info->is_dst_type_derived_from_static_type != no)
1036             {
1037                 // Set up flags to record results from all base classes
1038                 bool is_dst_type_derived_from_static_type = false;
1039                 // Zero out found flags
1040                 info->found_our_static_ptr = false;
1041                 info->found_any_static_type = false;
1042                 __base_type->search_above_dst(info, current_ptr, current_ptr, public_path, use_strcmp);
1043                 if (info->found_any_static_type)
1044                 {
1045                     is_dst_type_derived_from_static_type = true;
1046                     if (info->found_our_static_ptr)
1047                         does_dst_type_point_to_our_static_type = true;
1048                 }
1049                 // If we found no static_type,s then dst_type doesn't derive
1050                 //   from static_type, else it does.  Record this result so that
1051                 //   next time we hit a dst_type we will know not to search above
1052                 //   it if it doesn't derive from static_type.
1053                 if (is_dst_type_derived_from_static_type)
1054                     info->is_dst_type_derived_from_static_type = yes;
1055                 else
1056                     info->is_dst_type_derived_from_static_type = no;
1057             }
1058             if (!does_dst_type_point_to_our_static_type)
1059             {
1060                 // We found a dst_type that doesn't point to (static_ptr, static_type)
1061                 // So record the address of this dst_ptr and increment the
1062                 // count of the number of such dst_types found in the tree.
1063                 info->dst_ptr_not_leading_to_static_ptr = current_ptr;
1064                 info->number_to_dst_ptr += 1;
1065                 // If there exists another dst with a private path to
1066                 //    (static_ptr, static_type), then the cast from
1067                 //     (dynamic_ptr, dynamic_type) to dst_type is now ambiguous.
1068                 if (info->number_to_static_ptr == 1 &&
1069                         info->path_dst_ptr_to_static_ptr == not_public_path)
1070                     info->search_done = true;
1071             }
1072         }
1073     }
1074     else
1075     {
1076         // This is not a static_type and not a dst_type
1077         __base_type->search_below_dst(info, current_ptr, path_below, use_strcmp);
1078     }
1079 }
1080 
1081 // This is the same algorithm as __vmi_class_type_info::search_below_dst but
1082 //   simplified to the case that there is no base class.
1083 void
1084 __class_type_info::search_below_dst(__dynamic_cast_info* info,
1085                                     const void* current_ptr,
1086                                     int path_below,
1087                                     bool use_strcmp) const
1088 {
1089     if (is_equal(this, info->static_type, use_strcmp))
1090         process_static_type_below_dst(info, current_ptr, path_below);
1091     else if (is_equal(this, info->dst_type, use_strcmp))
1092     {
1093         // We've been here before if we've recorded current_ptr in one of these
1094         //   two places:
1095         if (current_ptr == info->dst_ptr_leading_to_static_ptr ||
1096             current_ptr == info->dst_ptr_not_leading_to_static_ptr)
1097         {
1098             // We've seen this node before, and therefore have already searched
1099             // its base classes above.
1100             //  Update path to here that is "most public".
1101             if (path_below == public_path)
1102                 info->path_dynamic_ptr_to_dst_ptr = public_path;
1103         }
1104         else  // We have haven't been here before
1105         {
1106             // Record the access path that got us here
1107             //   If there is more than one dst_type this path doesn't matter.
1108             info->path_dynamic_ptr_to_dst_ptr = path_below;
1109             // We found a dst_type that doesn't point to (static_ptr, static_type)
1110             // So record the address of this dst_ptr and increment the
1111             // count of the number of such dst_types found in the tree.
1112             info->dst_ptr_not_leading_to_static_ptr = current_ptr;
1113             info->number_to_dst_ptr += 1;
1114             // If there exists another dst with a private path to
1115             //    (static_ptr, static_type), then the cast from
1116             //     (dynamic_ptr, dynamic_type) to dst_type is now ambiguous.
1117             if (info->number_to_static_ptr == 1 &&
1118                     info->path_dst_ptr_to_static_ptr == not_public_path)
1119                 info->search_done = true;
1120             // We found that dst_type does not derive from static_type
1121             info->is_dst_type_derived_from_static_type = no;
1122         }
1123     }
1124 }
1125 
1126 // Call this function when searching above a dst_type node.  This function searches
1127 // for a public path to (static_ptr, static_type).
1128 // This function is guaranteed not to find a node of type dst_type.
1129 // Theoretically this is a very simple function which just stops if it finds a
1130 // static_type node:  All the hoopla surrounding the search code is doing
1131 // nothing but looking for excuses to stop the search prematurely (break out of
1132 // the for-loop).  That is, the algorithm below is simply an optimization of this:
1133 // void
1134 // __vmi_class_type_info::search_above_dst(__dynamic_cast_info* info,
1135 //                                         const void* dst_ptr,
1136 //                                         const void* current_ptr,
1137 //                                         int path_below) const
1138 // {
1139 //     if (this == info->static_type)
1140 //         process_static_type_above_dst(info, dst_ptr, current_ptr, path_below);
1141 //     else
1142 //     {
1143 //         typedef const __base_class_type_info* Iter;
1144 //         // This is not a static_type and not a dst_type
1145 //         for (Iter p = __base_info, e = __base_info + __base_count; p < e; ++p)
1146 //         {
1147 //             p->search_above_dst(info, dst_ptr, current_ptr, public_path);
1148 //             // break out early here if you can detect it doesn't matter if you do
1149 //         }
1150 //     }
1151 // }
1152 void
1153 __vmi_class_type_info::search_above_dst(__dynamic_cast_info* info,
1154                                         const void* dst_ptr,
1155                                         const void* current_ptr,
1156                                         int path_below,
1157                                         bool use_strcmp) const
1158 {
1159     if (is_equal(this, info->static_type, use_strcmp))
1160         process_static_type_above_dst(info, dst_ptr, current_ptr, path_below);
1161     else
1162     {
1163         typedef const __base_class_type_info* Iter;
1164         // This is not a static_type and not a dst_type
1165         // Save flags so they can be restored when returning to nodes below.
1166         bool found_our_static_ptr = info->found_our_static_ptr;
1167         bool found_any_static_type = info->found_any_static_type;
1168         // We've found a dst_type below with a path to here.  If the path
1169         //    to here is not public, there may be another path to here that
1170         //    is public.  So we have to assume that the path to here is public.
1171         //  We can stop looking above if:
1172         //    1.  We've found a public path to (static_ptr, static_type).
1173         //    2.  We've found an ambiguous cast from (static_ptr, static_type) to a dst_type.
1174         //        This is detected at the (static_ptr, static_type).
1175         //    3.  We can prove that there is no public path to (static_ptr, static_type)
1176         //        above here.
1177         const Iter e = __base_info + __base_count;
1178         Iter p = __base_info;
1179         // Zero out found flags
1180         info->found_our_static_ptr = false;
1181         info->found_any_static_type = false;
1182         p->search_above_dst(info, dst_ptr, current_ptr, path_below, use_strcmp);
1183         found_our_static_ptr |= info->found_our_static_ptr;
1184         found_any_static_type |= info->found_any_static_type;
1185         if (++p < e)
1186         {
1187             do
1188             {
1189                 if (info->search_done)
1190                     break;
1191                 if (info->found_our_static_ptr)
1192                 {
1193                     // If we found what we're looking for, stop looking above.
1194                     if (info->path_dst_ptr_to_static_ptr == public_path)
1195                         break;
1196                     // We found a private path to (static_ptr, static_type)
1197                     //   If there is no diamond then there is only one path
1198                     //   to (static_ptr, static_type) from here and we just found it.
1199                     if (!(__flags & __diamond_shaped_mask))
1200                         break;
1201                 }
1202                 else if (info->found_any_static_type)
1203                 {
1204                     // If we found a static_type that isn't the one we're looking
1205                     //    for, and if there are no repeated types above here,
1206                     //    then stop looking.
1207                     if (!(__flags & __non_diamond_repeat_mask))
1208                         break;
1209                 }
1210                 // Zero out found flags
1211                 info->found_our_static_ptr = false;
1212                 info->found_any_static_type = false;
1213                 p->search_above_dst(info, dst_ptr, current_ptr, path_below, use_strcmp);
1214                 found_our_static_ptr |= info->found_our_static_ptr;
1215                 found_any_static_type |= info->found_any_static_type;
1216             } while (++p < e);
1217         }
1218         // Restore flags
1219         info->found_our_static_ptr = found_our_static_ptr;
1220         info->found_any_static_type = found_any_static_type;
1221     }
1222 }
1223 
1224 // This is the same algorithm as __vmi_class_type_info::search_above_dst but
1225 //   simplified to the case that there is only a single base class.
1226 void
1227 __si_class_type_info::search_above_dst(__dynamic_cast_info* info,
1228                                        const void* dst_ptr,
1229                                        const void* current_ptr,
1230                                        int path_below,
1231                                        bool use_strcmp) const
1232 {
1233     if (is_equal(this, info->static_type, use_strcmp))
1234         process_static_type_above_dst(info, dst_ptr, current_ptr, path_below);
1235     else
1236         __base_type->search_above_dst(info, dst_ptr, current_ptr, path_below, use_strcmp);
1237 }
1238 
1239 // This is the same algorithm as __vmi_class_type_info::search_above_dst but
1240 //   simplified to the case that there is no base class.
1241 void
1242 __class_type_info::search_above_dst(__dynamic_cast_info* info,
1243                                     const void* dst_ptr,
1244                                     const void* current_ptr,
1245                                     int path_below,
1246                                     bool use_strcmp) const
1247 {
1248     if (is_equal(this, info->static_type, use_strcmp))
1249         process_static_type_above_dst(info, dst_ptr, current_ptr, path_below);
1250 }
1251 
1252 // The search functions for __base_class_type_info are simply convenience
1253 //   functions for adjusting the current_ptr and path_below as the search is
1254 //   passed up to the base class node.
1255 
1256 void
1257 __base_class_type_info::search_above_dst(__dynamic_cast_info* info,
1258                                          const void* dst_ptr,
1259                                          const void* current_ptr,
1260                                          int path_below,
1261                                          bool use_strcmp) const
1262 {
1263     ptrdiff_t offset_to_base = __offset_flags >> __offset_shift;
1264     if (__offset_flags & __virtual_mask)
1265     {
1266         const char* vtable = *static_cast<const char*const*>(current_ptr);
1267         offset_to_base = *reinterpret_cast<const ptrdiff_t*>(vtable + offset_to_base);
1268     }
1269     __base_type->search_above_dst(info, dst_ptr,
1270                                   static_cast<const char*>(current_ptr) + offset_to_base,
1271                                   (__offset_flags & __public_mask) ?
1272                                       path_below :
1273                                       not_public_path,
1274                                   use_strcmp);
1275 }
1276 
1277 void
1278 __base_class_type_info::search_below_dst(__dynamic_cast_info* info,
1279                                          const void* current_ptr,
1280                                          int path_below,
1281                                          bool use_strcmp) const
1282 {
1283     ptrdiff_t offset_to_base = __offset_flags >> __offset_shift;
1284     if (__offset_flags & __virtual_mask)
1285     {
1286         const char* vtable = *static_cast<const char*const*>(current_ptr);
1287         offset_to_base = *reinterpret_cast<const ptrdiff_t*>(vtable + offset_to_base);
1288     }
1289     __base_type->search_below_dst(info,
1290                                   static_cast<const char*>(current_ptr) + offset_to_base,
1291                                   (__offset_flags & __public_mask) ?
1292                                       path_below :
1293                                       not_public_path,
1294                                   use_strcmp);
1295 }
1296 
1297 }  // __cxxabiv1
1298