1 // RUN: %clang_cc1 -I%S %s -triple x86_64-apple-darwin10 -emit-llvm -fcxx-exceptions -fexceptions -std=c++11 -o - | FileCheck %s
2 struct A { virtual ~A(); };
3 struct B final : A { };
4 struct C { virtual ~C(); int c; };
5
6 // CHECK: @_Z8nonnull1P1C
nonnull1(C * c)7 A *nonnull1(C* c) {
8 // CHECK: call {{.*}} @__dynamic_cast
9 return dynamic_cast<A*>(c);
10 }
11
12 // CHECK: @_Z8nonnull2P1A
nonnull2(A * a)13 C *nonnull2(A* a) {
14 // CHECK: call {{.*}} @__dynamic_cast
15 return dynamic_cast<C*>(a);
16 }
17
18 // CHECK: @_Z1fP1B
f(B * b)19 C *f(B* b) {
20 // CHECK-NOT: call {{.*}} @__dynamic_cast
21 // CHECK: ret ptr null
22 return dynamic_cast<C*>(b);
23 }
24
25 // CHECK: @_Z1fR1B
f(B & b)26 C &f(B& b) {
27 // CHECK-NOT: call {{.*}} @__dynamic_cast
28 // CHECK: call void @__cxa_bad_cast() [[NR:#[0-9]+]]
29 // CHECK: unreachable
30 //
31 // CHECK: ret ptr poison
32 return dynamic_cast<C&>(b);
33 }
34
35 // CHECK: @_Z1gP1C
g(C * c)36 B *g(C* c) {
37 // CHECK-NOT: call {{.*}} @__dynamic_cast
38 // CHECK: ret ptr null
39 return dynamic_cast<B*>(c);
40 }
41
42 // CHECK: @_Z1gR1C
g(C & c)43 B &g(C& c) {
44 // CHECK-NOT: call {{.*}} @__dynamic_cast
45 // CHECK: call void @__cxa_bad_cast() [[NR:#[0-9]+]]
46 // CHECK: unreachable
47 //
48 // CHECK: ret ptr poison
49 return dynamic_cast<B&>(c);
50 }
51
dont_crash()52 void dont_crash() {
53 (void) dynamic_cast<void*>((A*)0);
54 (void) dynamic_cast<void*>((B*)0);
55 }
56
57 // CHECK: attributes [[NR]] = { noreturn }
58