blob: 0e26de5bcf8be30dbde9a72e8f0752be684d503a [file] [log] [blame]
Arnaud A. de Grandmaisoncb6f9432013-08-01 08:28:32 +00001// RUN: %clang_cc1 -emit-llvm %s -verify -fno-rtti -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);
Stephen Lin43622612013-08-15 06:47:53 +000016// CHECK-LABEL: define %struct.A* @_Z6upcastP1B
Arnaud A. de Grandmaisoncb6f9432013-08-01 08:28:32 +000017// 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);
Stephen Lin43622612013-08-15 06:47:53 +000024// CHECK-LABEL: define %struct.B* @_Z8samecastP1B
Arnaud A. de Grandmaisoncb6f9432013-08-01 08:28:32 +000025// CHECK-NOT: call i8* @__dynamic_cast
26}