maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Minor tweaks in the transfer functions for pre- and post- ++/-- where 

we falsely constructed an APInt to represent the constant '1' instead of
using an APSInt (which has a sign).

llvm-svn: 46317
This commit is contained in:
Ted Kremenek 2008-01-24 19:00:57 +00:00
parent f5601e2169
commit 286f030911
1 changed files with 12 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
clang/Analysis/GRConstants.cpp
View File

@ -829,9 +829,10 @@ void GRConstants::VisitUnaryOperator(UnaryOperator* U,
RValue R1 = cast<RValue>(GetValue(St, L1));
QualType T = U->getType();
llvm::APInt One(getContext()->getTypeSize(T,U->getLocStart()), 1);
RValue R2 = RValue::GetRValue(ValMgr, One);
unsigned bits = getContext()->getTypeSize(T, U->getLocStart());
llvm::APSInt One(llvm::APInt(bits, 1), T->isUnsignedIntegerType());
RValue R2 = RValue::GetRValue(ValMgr, One);
RValue Result = R1.EvalAdd(ValMgr, R2);
Nodify(Dst, U, N1, SetValue(SetValue(St, U, R1), L1, Result));
break;
@ -842,8 +843,9 @@ void GRConstants::VisitUnaryOperator(UnaryOperator* U,
RValue R1 = cast<RValue>(GetValue(St, L1));
QualType T = U->getType();
llvm::APInt One(getContext()->getTypeSize(T,U->getLocStart()), 1);
RValue R2 = RValue::GetRValue(ValMgr, One);
unsigned bits = getContext()->getTypeSize(T, U->getLocStart());
llvm::APSInt One(llvm::APInt(bits, 1), T->isUnsignedIntegerType());
RValue R2 = RValue::GetRValue(ValMgr, One);
RValue Result = R1.EvalSub(ValMgr, R2);
Nodify(Dst, U, N1, SetValue(SetValue(St, U, R1), L1, Result));
@ -855,7 +857,8 @@ void GRConstants::VisitUnaryOperator(UnaryOperator* U,
RValue R1 = cast<RValue>(GetValue(St, L1));
QualType T = U->getType();
llvm::APInt One(getContext()->getTypeSize(T,U->getLocStart()), 1);
unsigned bits = getContext()->getTypeSize(T, U->getLocStart());
llvm::APSInt One(llvm::APInt(bits, 1), T->isUnsignedIntegerType());
RValue R2 = RValue::GetRValue(ValMgr, One);
RValue Result = R1.EvalAdd(ValMgr, R2);
@ -868,8 +871,9 @@ void GRConstants::VisitUnaryOperator(UnaryOperator* U,
RValue R1 = cast<RValue>(GetValue(St, L1));
QualType T = U->getType();
llvm::APInt One(getContext()->getTypeSize(T,U->getLocStart()), 1);
RValue R2 = RValue::GetRValue(ValMgr, One);
unsigned bits = getContext()->getTypeSize(T, U->getLocStart());
llvm::APSInt One(llvm::APInt(bits, 1), T->isUnsignedIntegerType());
RValue R2 = RValue::GetRValue(ValMgr, One);
RValue Result = R1.EvalSub(ValMgr, R2);
Nodify(Dst, U, N1, SetValue(SetValue(St, U, Result), L1, Result));