maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/clang/test/CodeGenCXX/throw-expressions.cpp

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

121 lines
2.2 KiB
C++
Raw Normal View History

Add missing triple to unit test. llvm-svn: 181465
2013-05-09 04:32:14 +08:00
// RUN: %clang_cc1 -fcxx-exceptions -fexceptions -Wno-unreachable-code -Werror -triple x86_64-linux-gnu -emit-llvm -o - %s | FileCheck %s
Correctly handle conditional operators involving throw. llvm-svn: 90800
2009-12-08 04:25:53 +08:00
int val = 42;
int& test1() {
return throw val, val;
}
int test2() {
return val ? throw val : val;
}
Don't assert on attempts to throw 'bool'. I wonder if in the history of C++ anyone has ever intentionally done this outside of a compiler test case. llvm-svn: 117645
2010-10-29 16:14:02 +08:00
// rdar://problem/8608801
void test3() {
throw false;
}
Handle an edge case involving the conditional operator and throw expressions. PR10582. llvm-svn: 142047
2011-10-15 10:10:40 +08:00
// PR10582
int test4() {
return 1 ? throw val : val;
}
Don't crash in IRGen if a conditional with 'throw' in one of its branches is used as a branch condition. llvm-svn: 181368
2013-05-08 05:53:22 +08:00
// PR15923
int test5(bool x, bool y, int z) {
return (x ? throw 1 : y) ? z : throw 2;
}
Revert "[CodeGenModule] Assume dso_local for -fpic -fno-semantic-interposition" This reverts commit 789a46f2d742e11edaade28cb59a0f4d2a1d770e. Accidentally committed.
2020-02-04 02:09:39 +08:00
// CHECK-LABEL: define i32 @_Z5test5bbi(
Don't crash in IRGen if a conditional with 'throw' in one of its branches is used as a branch condition. llvm-svn: 181368
2013-05-08 05:53:22 +08:00
// CHECK: br i1
//
// x.true:
// CHECK: call void @__cxa_throw(
// CHECK-NEXT: unreachable
//
// x.false:
// CHECK: br i1
//
// y.true:
Update Clang tests to handle explicitly typed load changes in LLVM. llvm-svn: 230795
2015-02-28 05:19:58 +08:00
// CHECK: load i32, i32*
Don't crash in IRGen if a conditional with 'throw' in one of its branches is used as a branch condition. llvm-svn: 181368
2013-05-08 05:53:22 +08:00
// CHECK: br label
//
// y.false:
// CHECK: call void @__cxa_throw(
// CHECK-NEXT: unreachable
//
// end:
// CHECK: ret i32
Allow paren casted throw statements inside of ternary expressions clang would incorrectly not allow the following: int x = true ? (throw 1) : 2; The problem exists because we don't see beyond the parens. This, in turn, causes us to believe that we are choosing between void and int which we diagnose as an error. Instead, allow clang to see the 'throw' inside the parens. llvm-svn: 183085
2013-06-02 16:40:42 +08:00
int test6(bool x, bool y, int z) {
return (x ? throw 1 : y) ? z : (throw 2);
}
Revert "[CodeGenModule] Assume dso_local for -fpic -fno-semantic-interposition" This reverts commit 789a46f2d742e11edaade28cb59a0f4d2a1d770e. Accidentally committed.
2020-02-04 02:09:39 +08:00
// CHECK-LABEL: define i32 @_Z5test6bbi(
Allow paren casted throw statements inside of ternary expressions clang would incorrectly not allow the following: int x = true ? (throw 1) : 2; The problem exists because we don't see beyond the parens. This, in turn, causes us to believe that we are choosing between void and int which we diagnose as an error. Instead, allow clang to see the 'throw' inside the parens. llvm-svn: 183085
2013-06-02 16:40:42 +08:00
// CHECK: br i1
//
// x.true:
// CHECK: call void @__cxa_throw(
// CHECK-NEXT: unreachable
//
// x.false:
// CHECK: br i1
//
// y.true:
Update Clang tests to handle explicitly typed load changes in LLVM. llvm-svn: 230795
2015-02-28 05:19:58 +08:00
// CHECK: load i32, i32*
Allow paren casted throw statements inside of ternary expressions clang would incorrectly not allow the following: int x = true ? (throw 1) : 2; The problem exists because we don't see beyond the parens. This, in turn, causes us to believe that we are choosing between void and int which we diagnose as an error. Instead, allow clang to see the 'throw' inside the parens. llvm-svn: 183085
2013-06-02 16:40:42 +08:00
// CHECK: br label
//
// y.false:
// CHECK: call void @__cxa_throw(
// CHECK-NEXT: unreachable
//
// end:
// CHECK: ret i32
PR17052 / DR1560 (+DR1550): In a conditional expression between a glvalue and a throw-expression, the result is also a glvalue and isn't unnecessarily coerced to a prvalue. llvm-svn: 200189
2014-01-27 12:19:56 +08:00
namespace DR1560 {
struct A {
~A();
};
extern bool b;
A get();
// CHECK-LABEL: @_ZN6DR15601bE
const A &r = b ? get() : throw 0;
// CHECK-NOT: call {{.*}}@_ZN6DR15601AD1Ev
// CHECK: call {{.*}} @__cxa_atexit({{.*}} @_ZN6DR15601AD1Ev {{.*}} @_ZGRN6DR15601rE
// CHECK-NOT: call {{.*}}@_ZN6DR15601AD1Ev
[clang][CodeGen] Handle throw expression in conditional operator constant folding Summary: We're smart and do constant folding when emitting conditional operators. Thus we emit the live value as a lvalue. This doesn't work if the live value is a throw expression. Handle this by emitting the throw and returning the dead value as the lvalue. Fixes PR28184. Reviewers: rsmith Reviewed By: rsmith Subscribers: cfe-commits Tags: #clang Differential Revision: https://reviews.llvm.org/D77502
2020-04-09 03:05:49 +08:00
// PR28184
void conditional_throw() {
int a;
(true ? throw 0 : a) = 0; // CHECK: call void @__cxa_throw({{.*}})
}
PR17052 / DR1560 (+DR1550): In a conditional expression between a glvalue and a throw-expression, the result is also a glvalue and isn't unnecessarily coerced to a prvalue. llvm-svn: 200189
2014-01-27 12:19:56 +08:00
}
Don't crash when emitting a glvalue conditional where one arm is a throw-expression. Based on a patch by Marius Wachtler! llvm-svn: 211388
2014-06-21 02:43:47 +08:00
Revert "[CodeGenModule] Assume dso_local for -fpic -fno-semantic-interposition" This reverts commit 789a46f2d742e11edaade28cb59a0f4d2a1d770e. Accidentally committed.
2020-02-04 02:09:39 +08:00
// CHECK-LABEL: define void @_Z5test7b(
Don't crash when emitting a glvalue conditional where one arm is a throw-expression. Based on a patch by Marius Wachtler! llvm-svn: 211388
2014-06-21 02:43:47 +08:00
void test7(bool cond) {
// CHECK: br i1
//
// x.true:
// CHECK: call void @__cxa_throw(
// CHECK-NEXT: unreachable
//
// x.false:
// CHECK: br label
//
// end:
// CHECK: ret void
cond ? throw test7 : val;
}
[CGCall] Annotate references with "align" attribute. If we're going to assume references are dereferenceable, we should also assume they're aligned: otherwise, we can't actually dereference them. See also D80072. Differential Revision: https://reviews.llvm.org/D80166
2020-05-19 02:29:11 +08:00
// CHECK-LABEL: define nonnull align 4 dereferenceable(4) i32* @_Z5test8b(
Don't crash when emitting a glvalue conditional where one arm is a throw-expression. Based on a patch by Marius Wachtler! llvm-svn: 211388
2014-06-21 02:43:47 +08:00
int &test8(bool cond) {
// CHECK: br i1
//
// x.true:
// CHECK: br label
//
// x.false:
// CHECK: call void @__cxa_throw(
// CHECK-NEXT: unreachable
//
// end:
// CHECK: ret i32* @val
return cond ? val : ((throw "foo"));
}