1 | // RUN: %clang_cc1 -triple x86_64-apple-darwin10 -emit-llvm -fobjc-arc -fobjc-exceptions -o - %s | FileCheck %s |
2 | // pr10411 |
3 | // rdar://10042689 |
4 | |
5 | id make(void); |
6 | void test() { |
7 | @throw make(); |
8 | } |
9 | |
10 | // TODO: We should probably emit this specific pattern without the reclaim. |
11 | |
12 | // CHECK-LABEL: define void @test() |
13 | // CHECK: [[T0:%.*]] = call i8* @make() |
14 | // CHECK-NEXT: [[T1:%.*]] = notail call i8* @llvm.objc.retainAutoreleasedReturnValue(i8* [[T0]]) |
15 | // CHECK-NEXT: [[T2:%.*]] = call i8* @llvm.objc.autorelease(i8* [[T1]]) |
16 | // CHECK-NEXT: call void @objc_exception_throw(i8* [[T2]]) [[NR:#[0-9]+]] |
17 | // CHECK-NEXT: unreachable |
18 | |
19 | // CHECK: attributes [[NR]] = { noreturn } |
20 | |