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 {
5   virtual ~A(){};
6 };
7 
8 struct B : public A {
9   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.
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.
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