// RUN: %clang_cc1 -emit-llvm %s -verify -fno-rtti -triple %itanium_abi_triple -o - | FileCheck %s
// expected-no-diagnostics

struct A {
  virtual ~A(){};
};

struct B : public A {
  B() : A() {}
};

// An upcast can be resolved statically and can be used with -fno-rtti, iff it
// does not use runtime support.
A *upcast(B *b) {
  return dynamic_cast<A *>(b);
// CHECK-LABEL: define {{.*}}%struct.A* @_Z6upcastP1B
// CHECK-NOT: call {{.*}}i8* @__dynamic_cast
}

// A NoOp dynamic_cast can be used with -fno-rtti iff it does not use
// runtime support.
B *samecast(B *b) {
  return dynamic_cast<B *>(b);
// CHECK-LABEL: define {{.*}}%struct.B* @_Z8samecastP1B
// CHECK-NOT: call {{.*}}i8* @__dynamic_cast
}