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