replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Added transfer function logic for "%=" operator. 

llvm-svn: 46470
This commit is contained in:
Ted Kremenek 2008-01-28 22:28:54 +00:00
parent 7e67036f2f
commit fe9cf4f38b
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
clang/Analysis/GRConstants.cpp
View File

@ -1054,6 +1054,14 @@ void GRConstants::VisitBinaryOperator(BinaryOperator* B,
Nodify(Dst, B, N2, SetValue(SetValue(St, B, Result), L1, Result));
break;
}
case BinaryOperator::RemAssign: {
const LValue& L1 = cast<LValue>(V1);
NonLValue R1 = cast<NonLValue>(GetValue(N1->getState(), L1));
NonLValue Result = R1.Rem(ValMgr, cast<NonLValue>(V2));
Nodify(Dst, B, N2, SetValue(SetValue(St, B, Result), L1, Result));
break;
}
default:
Dst.Add(N2);