diff options
author | Hans Wennborg <hans@hanshq.net> | 2015-07-30 16:22:28 +0000 |
---|---|---|
committer | Hans Wennborg <hans@hanshq.net> | 2015-07-30 16:22:28 +0000 |
commit | 543d9855c92ae7d0613596275f2000edffa154d5 (patch) | |
tree | 71301d0bb78ee5814a4cf73b82782b9e0e4266bd | |
parent | 510a6b1563a731618960cf29c751e3d66040af77 (diff) |
Merging r243206:
------------------------------------------------------------------------
r243206 | majnemer | 2015-07-24 22:57:24 -0700 (Fri, 24 Jul 2015) | 10 lines
[CodeGen] Don't UBSan-ize the argument to __builtin_frame_address
__builtin_frame_address requires its argument to be a constant
expression which already implies that it cannot have undefined behavior.
However, we used EmitScalarExpr to emit the argument causing UBSan to
try to check for overflow.
Instead, use the constant expression emission system.
This fixes PR24256.
------------------------------------------------------------------------
git-svn-id: https://llvm.org/svn/llvm-project/cfe/branches/release_37@243653 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r-- | lib/CodeGen/CGBuiltin.cpp | 8 | ||||
-rw-r--r-- | test/CodeGen/integer-overflow.c | 7 |
2 files changed, 11 insertions, 4 deletions
diff --git a/lib/CodeGen/CGBuiltin.cpp b/lib/CodeGen/CGBuiltin.cpp index 463b3eee3d..9b8694f9c5 100644 --- a/lib/CodeGen/CGBuiltin.cpp +++ b/lib/CodeGen/CGBuiltin.cpp @@ -866,14 +866,14 @@ RValue CodeGenFunction::EmitBuiltinExpr(const FunctionDecl *FD, llvm::ConstantInt::get(Int32Ty, Offset))); } case Builtin::BI__builtin_return_address: { - Value *Depth = EmitScalarExpr(E->getArg(0)); - Depth = Builder.CreateIntCast(Depth, Int32Ty, false); + Value *Depth = + CGM.EmitConstantExpr(E->getArg(0), getContext().UnsignedIntTy, this); Value *F = CGM.getIntrinsic(Intrinsic::returnaddress); return RValue::get(Builder.CreateCall(F, Depth)); } case Builtin::BI__builtin_frame_address: { - Value *Depth = EmitScalarExpr(E->getArg(0)); - Depth = Builder.CreateIntCast(Depth, Int32Ty, false); + Value *Depth = + CGM.EmitConstantExpr(E->getArg(0), getContext().UnsignedIntTy, this); Value *F = CGM.getIntrinsic(Intrinsic::frameaddress); return RValue::get(Builder.CreateCall(F, Depth)); } diff --git a/test/CodeGen/integer-overflow.c b/test/CodeGen/integer-overflow.c index de3b53f4b5..6a7c3e51ee 100644 --- a/test/CodeGen/integer-overflow.c +++ b/test/CodeGen/integer-overflow.c @@ -72,4 +72,11 @@ void test1() { // TRAPV: add i8 {{.*}}, 1 // CATCH_UB: add i8 {{.*}}, 1 ++PR9350; + + // PR24256: don't instrument __builtin_frame_address. + __builtin_frame_address(0 + 0); + // DEFAULT: call i8* @llvm.frameaddress(i32 0) + // WRAPV: call i8* @llvm.frameaddress(i32 0) + // TRAPV: call i8* @llvm.frameaddress(i32 0) + // CATCH_UB: call i8* @llvm.frameaddress(i32 0) } |