diff options
author | Anders Carlsson <andersca@mac.com> | 2011-04-11 01:45:29 +0000 |
---|---|---|
committer | Anders Carlsson <andersca@mac.com> | 2011-04-11 01:45:29 +0000 |
commit | 3ddcdd5d6c88902d24baa9e6bb240a3da88e68d4 (patch) | |
tree | cf1439a3f611b669f6b1de0f17726715fb99b3de /test/CodeGenCXX/dynamic-cast-always-null.cpp | |
parent | 0fee330f5754ca4b248e5bb7363e834668aff06d (diff) |
When we know that a dynamic_cast always returns null, we can make
CodeGenFunction::EmitDynamicCast always return null or throw a bad_cast
exception.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@129264 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/CodeGenCXX/dynamic-cast-always-null.cpp')
-rw-r--r-- | test/CodeGenCXX/dynamic-cast-always-null.cpp | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/test/CodeGenCXX/dynamic-cast-always-null.cpp b/test/CodeGenCXX/dynamic-cast-always-null.cpp new file mode 100644 index 0000000000..48ec69226c --- /dev/null +++ b/test/CodeGenCXX/dynamic-cast-always-null.cpp @@ -0,0 +1,19 @@ +// RUN: %clang_cc1 -I%S %s -triple x86_64-apple-darwin10 -emit-llvm -fcxx-exceptions -fexceptions -std=c++0x -o - | FileCheck %s +struct A { virtual ~A(); }; +struct B final : A { }; +struct C { virtual ~C(); }; + +// CHECK: @_Z1fP1B +C *f(B* b) { + // CHECK-NOT: call i8* @__dynamic_cast + // CHECK: ret %struct.C* null + return dynamic_cast<C*>(b); +} + +// CHECK: @_Z1fR1B +C &f(B& b) { + // CHECK-NOT: call i8* @__dynamic_cast + // CHECK: call void @__cxa_bad_cast() noreturn + // CHECK: ret %struct.C* undef + return dynamic_cast<C&>(b); +} |