1 // RUN: %clang_cc1 -fcxx-exceptions -fexceptions -Wno-unreachable-code -Werror -triple x86_64-linux-gnu -emit-llvm -o - %s | FileCheck %s
2
3 int val = 42;
test1()4 int& test1() {
5 return throw val, val;
6 }
7
test2()8 int test2() {
9 return val ? throw val : val;
10 }
11
12 // rdar://problem/8608801
test3()13 void test3() {
14 throw false;
15 }
16
17 // PR10582
test4()18 int test4() {
19 return 1 ? throw val : val;
20 }
21
22 // PR15923
test5(bool x,bool y,int z)23 int test5(bool x, bool y, int z) {
24 return (x ? throw 1 : y) ? z : throw 2;
25 }
26 // CHECK-LABEL: define i32 @_Z5test5bbi(
27 // CHECK: br i1
28 //
29 // x.true:
30 // CHECK: call void @__cxa_throw(
31 // CHECK-NEXT: unreachable
32 //
33 // x.false:
34 // CHECK: br i1
35 //
36 // y.true:
37 // CHECK: load i32, i32*
38 // CHECK: br label
39 //
40 // y.false:
41 // CHECK: call void @__cxa_throw(
42 // CHECK-NEXT: unreachable
43 //
44 // end:
45 // CHECK: ret i32
46
test6(bool x,bool y,int z)47 int test6(bool x, bool y, int z) {
48 return (x ? throw 1 : y) ? z : (throw 2);
49 }
50 // CHECK-LABEL: define i32 @_Z5test6bbi(
51 // CHECK: br i1
52 //
53 // x.true:
54 // CHECK: call void @__cxa_throw(
55 // CHECK-NEXT: unreachable
56 //
57 // x.false:
58 // CHECK: br i1
59 //
60 // y.true:
61 // CHECK: load i32, i32*
62 // CHECK: br label
63 //
64 // y.false:
65 // CHECK: call void @__cxa_throw(
66 // CHECK-NEXT: unreachable
67 //
68 // end:
69 // CHECK: ret i32
70
71 namespace DR1560 {
72 struct A {
73 ~A();
74 };
75 extern bool b;
76 A get();
77 // CHECK-LABEL: @_ZN6DR15601bE
78 const A &r = b ? get() : throw 0;
79 // CHECK-NOT: call {{.*}}@_ZN6DR15601AD1Ev
80 // CHECK: call {{.*}} @__cxa_atexit({{.*}} @_ZN6DR15601AD1Ev {{.*}} @_ZGRN6DR15601rE
81 // CHECK-NOT: call {{.*}}@_ZN6DR15601AD1Ev
82 }
83
84 // CHECK-LABEL: define void @_Z5test7b(
test7(bool cond)85 void test7(bool cond) {
86 // CHECK: br i1
87 //
88 // x.true:
89 // CHECK: call void @__cxa_throw(
90 // CHECK-NEXT: unreachable
91 //
92 // x.false:
93 // CHECK: br label
94 //
95 // end:
96 // CHECK: ret void
97 cond ? throw test7 : val;
98 }
99
100 // CHECK-LABEL: define dereferenceable(4) i32* @_Z5test8b(
test8(bool cond)101 int &test8(bool cond) {
102 // CHECK: br i1
103 //
104 // x.true:
105 // CHECK: br label
106 //
107 // x.false:
108 // CHECK: call void @__cxa_throw(
109 // CHECK-NEXT: unreachable
110 //
111 // end:
112 // CHECK: ret i32* @val
113 return cond ? val : ((throw "foo"));
114 }
115