1*67e74705SXin Li // RUN: %clang_cc1 -emit-llvm %s -verify -fno-rtti -triple %itanium_abi_triple -o - | FileCheck %s 2*67e74705SXin Li // expected-no-diagnostics 3*67e74705SXin Li 4*67e74705SXin Li struct A { ~AA5*67e74705SXin Li virtual ~A(){}; 6*67e74705SXin Li }; 7*67e74705SXin Li 8*67e74705SXin Li struct B : public A { BB9*67e74705SXin Li B() : A() {} 10*67e74705SXin Li }; 11*67e74705SXin Li 12*67e74705SXin Li // An upcast can be resolved statically and can be used with -fno-rtti, iff it 13*67e74705SXin Li // does not use runtime support. upcast(B * b)14*67e74705SXin LiA *upcast(B *b) { 15*67e74705SXin Li return dynamic_cast<A *>(b); 16*67e74705SXin Li // CHECK-LABEL: define {{.*}}%struct.A* @_Z6upcastP1B 17*67e74705SXin Li // CHECK-NOT: call {{.*}}i8* @__dynamic_cast 18*67e74705SXin Li } 19*67e74705SXin Li 20*67e74705SXin Li // A NoOp dynamic_cast can be used with -fno-rtti iff it does not use 21*67e74705SXin Li // runtime support. samecast(B * b)22*67e74705SXin LiB *samecast(B *b) { 23*67e74705SXin Li return dynamic_cast<B *>(b); 24*67e74705SXin Li // CHECK-LABEL: define {{.*}}%struct.B* @_Z8samecastP1B 25*67e74705SXin Li // CHECK-NOT: call {{.*}}i8* @__dynamic_cast 26*67e74705SXin Li } 27