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

Implemented transfer function for '/='. 

llvm-svn: 46379
This commit is contained in:
Ted Kremenek 2008-01-25 23:45:34 +00:00
parent 2b8a7c80b8
commit 5588c9e9ce
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

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