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

Fixed bug in '=' transfer function: RHS does not have to be a non-LValue. 

llvm-svn: 46797
This commit is contained in:
Ted Kremenek 2008-02-06 04:41:14 +00:00
parent d17f05435a
commit 73451846a7
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
clang/Analysis/GRConstants.cpp
View File

@ -716,8 +716,7 @@ void GRConstants::VisitBinaryOperator(BinaryOperator* B,
case BinaryOperator::Assign: { case BinaryOperator::Assign: {
const LValue& L1 = cast<LValue>(V1); const LValue& L1 = cast<LValue>(V1);
const NonLValue& R2 = cast<NonLValue>(V2); Nodify(Dst, B, N2, SetValue(SetValue(St, B, V2), L1, V2));
Nodify(Dst, B, N2, SetValue(SetValue(St, B, R2), L1, R2));
break; break;
} }