1// RUN: %clang_cc1 -emit-llvm %s -verify -fno-rtti -triple %itanium_abi_triple -o - | FileCheck %s
2// expected-no-diagnostics
3
4struct A {
5  virtual ~A(){};
6};
7
8struct 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.
14A *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.
22B *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