| Douglas Gregor | 485ee32 | 2010-05-14 21:14:41 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 %s -triple x86_64-apple-darwin10 -emit-llvm -fexceptions -o - | FileCheck %s |
| 2 | #include <typeinfo> |
| Anders Carlsson | 6f0e485 | 2009-12-18 14:55:04 +0000 | [diff] [blame] | 3 | struct A { virtual void f(); }; |
| 4 | struct B : A { }; |
| 5 | |
| Douglas Gregor | 485ee32 | 2010-05-14 21:14:41 +0000 | [diff] [blame] | 6 | // CHECK: {{define.*@_Z1fP1A}} |
| 7 | B fail; |
| Anders Carlsson | 6f0e485 | 2009-12-18 14:55:04 +0000 | [diff] [blame] | 8 | const B& f(A *a) { |
| Douglas Gregor | 485ee32 | 2010-05-14 21:14:41 +0000 | [diff] [blame] | 9 | try { |
| 10 | // CHECK: call i8* @__dynamic_cast |
| 11 | // CHECK: br i1 |
| 12 | // CHECK: invoke void @__cxa_bad_cast() noreturn |
| Douglas Gregor | 69cfeb1 | 2010-05-14 21:31:02 +0000 | [diff] [blame^] | 13 | dynamic_cast<const B&>(*a); |
| Douglas Gregor | 485ee32 | 2010-05-14 21:14:41 +0000 | [diff] [blame] | 14 | } catch (std::bad_cast&) { |
| 15 | // CHECK: call i8* @llvm.eh.exception |
| 16 | // CHECK: {{call.*llvm.eh.selector.*_ZTISt8bad_cast}} |
| 17 | // CHECK: {{call i32 @llvm.eh.typeid.for.*@_ZTISt8bad_cast}} |
| 18 | } |
| 19 | return fail; |
| Anders Carlsson | 6f0e485 | 2009-12-18 14:55:04 +0000 | [diff] [blame] | 20 | } |