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: @_Z1fP1B 7 C *f(B* b) { 8 // CHECK-NOT: call i8* @__dynamic_cast 9 // CHECK: ret %struct.C* null 10 return dynamic_cast<C*>(b); 11 } 12 13 // CHECK: @_Z1fR1B 14 C &f(B& b) { 15 // CHECK-NOT: call i8* @__dynamic_cast 16 // CHECK: call void @__cxa_bad_cast() [[NR:#[0-9]+]] 17 // CHECK: ret %struct.C* undef 18 return dynamic_cast<C&>(b); 19 } 20 21 void dont_crash() { 22 (void) dynamic_cast<void*>((A*)0); 23 (void) dynamic_cast<void*>((B*)0); 24 } 25 26 // CHECK: attributes [[NR]] = { noreturn } 27
