diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-02-06 04:41:14 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-02-06 04:41:14 +0000 |
| commit | 3434b08eb700e7e541ca43e9dd4f7b2ecf6ca0cf (patch) | |
| tree | aee8e23a0963607a30e486aec8b43f2f00d117ce | |
| parent | 08b66255e2605adfa8777dbff293db1c69bc1092 (diff) | |
Fixed bug in '=' transfer function: RHS does not have to be a non-LValue.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@46797 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | Analysis/GRConstants.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Analysis/GRConstants.cpp b/Analysis/GRConstants.cpp index 8656d776c8..bd5cb0689b 100644 --- a/Analysis/GRConstants.cpp +++ b/Analysis/GRConstants.cpp @@ -716,8 +716,7 @@ void GRConstants::VisitBinaryOperator(BinaryOperator* B, case BinaryOperator::Assign: { const LValue& L1 = cast<LValue>(V1); - const NonLValue& R2 = cast<NonLValue>(V2); - Nodify(Dst, B, N2, SetValue(SetValue(St, B, R2), L1, R2)); + Nodify(Dst, B, N2, SetValue(SetValue(St, B, V2), L1, V2)); break; } |