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