161 lines · cpp
1//===----------------------------------------------------------------------===//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-exception6//7//===----------------------------------------------------------------------===//8 9// This test requires PR33425, PR33487 and PR33439.10// XFAIL: using-built-library-before-llvm-911 12#include <cassert>13 14// This test explicitly tests dynamic cast with types that have inaccessible15// bases.16#if defined(__clang__)17# pragma clang diagnostic ignored "-Winaccessible-base"18#elif defined(__GNUC__)19# pragma GCC diagnostic ignored "-Winaccessible-base"20#endif21 22typedef char Pad1[43981];23typedef char Pad2[34981];24typedef char Pad3[93481];25typedef char Pad4[13489];26typedef char Pad5[81349];27typedef char Pad6[34819];28typedef char Pad7[3489];29 30namespace t131{32 33// PR3342534struct C3 { virtual ~C3() {} Pad1 _; };35struct C5 : protected virtual C3 { Pad2 _; };36struct C6 : virtual C5 { Pad3 _; };37struct C7 : virtual C3 { Pad4 _; };38struct C9 : C6, C7 { Pad5 _; };39 40C9 c9;41C3 *c3 = &c9;42 43void test()44{45 assert(dynamic_cast<C3*>(c3) == static_cast<C3*>(&c9));46 assert(dynamic_cast<C5*>(c3) == static_cast<C5*>(&c9));47 assert(dynamic_cast<C6*>(c3) == static_cast<C6*>(&c9));48 assert(dynamic_cast<C7*>(c3) == static_cast<C7*>(&c9));49 assert(dynamic_cast<C9*>(c3) == static_cast<C9*>(&c9));50}51 52} // t153 54namespace t255{56 57// PR3342558struct Src { virtual ~Src() {} Pad1 _; };59struct Mask : protected virtual Src { Pad2 _; };60struct Dest : Mask { Pad3 _; };61struct Root : Dest, virtual Src { Pad4 _; };62 63Root root;64Src *src = &root;65 66void test()67{68 assert(dynamic_cast<Src*>(src) == static_cast<Src*>(&root));69 assert(dynamic_cast<Mask*>(src) == static_cast<Mask*>(&root));70 assert(dynamic_cast<Dest*>(src) == static_cast<Dest*>(&root));71 assert(dynamic_cast<Root*>(src) == static_cast<Root*>(&root));72}73 74} // t275 76namespace t377{78 79// PR3348780struct Class1 { virtual ~Class1() {} Pad1 _; };81struct Shared : virtual Class1 { Pad2 _; };82struct Class6 : virtual Shared { Pad3 _; };83struct Left : Class6 { Pad4 _; };84struct Right : Class6 { Pad5 _; };85struct Main : Left, Right { Pad6 _; };86 87Main m;88Class1 *c1 = &m;89 90void test()91{92 assert(dynamic_cast<Class1*>(c1) == static_cast<Class1*>(&m));93 assert(dynamic_cast<Shared*>(c1) == static_cast<Shared*>(&m));94 assert(dynamic_cast<Class6*>(c1) == 0);95 assert(dynamic_cast<Left*>(c1) == static_cast<Left*>(&m));96 assert(dynamic_cast<Right*>(c1) == static_cast<Right*>(&m));97 assert(dynamic_cast<Main*>(c1) == static_cast<Main*>(&m));98}99 100} // t3101 102namespace t4103{104 105// PR33439106struct C2 { virtual ~C2() {} Pad1 _; };107struct C3 { virtual ~C3() {} Pad2 _; };108struct C4 : C3 { Pad3 _; };109struct C8 : C2, virtual C4 { Pad4 _; };110struct C9 : C4, C8 { Pad5 _; };111 112C9 c9;113C2 *c2 = &c9;114 115void test()116{117 assert(dynamic_cast<C2*>(c2) == static_cast<C2*>(&c9));118 assert(dynamic_cast<C3*>(c2) == 0);119 assert(dynamic_cast<C4*>(c2) == 0);120 assert(dynamic_cast<C8*>(c2) == static_cast<C8*>(&c9));121 assert(dynamic_cast<C9*>(c2) == static_cast<C9*>(&c9));122}123 124} // t4125 126namespace t5127{128 129// PR33439130struct Dummy { virtual ~Dummy() {} Pad1 _; };131struct Src { virtual ~Src() {} Pad2 _; };132struct Dest : Dummy { Pad3 _; };133struct A1 : Dest { Pad4 _; };134struct A2 : Dest { Pad5 _; };135struct Root : Src, A1, A2 { Pad6 _; };136 137Root root;138Src *src = &root;139 140void test()141{142 assert(dynamic_cast<Dummy*>(src) == 0);143 assert(dynamic_cast<Src*>(src) == static_cast<Src*>(&root));144 assert(dynamic_cast<Dest*>(src) == 0);145 assert(dynamic_cast<A1*>(src) == static_cast<A1*>(&root));146 assert(dynamic_cast<A2*>(src) == static_cast<A2*>(&root));147}148 149} // t5150 151int main(int, char**)152{153 t1::test();154 t2::test();155 t3::test();156 t4::test();157 t5::test();158 159 return 0;160}161