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