[cfe-commits] r46797 - /cfe/trunk/Analysis/GRConstants.cpp

[Ted Kremenek]

Author: kremenek
Date: Tue Feb  5 22:41:14 2008
New Revision: 46797

URL: http://llvm.org/viewvc/llvm-project?rev=46797&view=rev
Log:
Fixed bug in '=' transfer function: RHS does not have to be a non-LValue.

Modified:
    cfe/trunk/Analysis/GRConstants.cpp

Modified: cfe/trunk/Analysis/GRConstants.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/Analysis/GRConstants.cpp?rev=46797&r1=46796&r2=46797&view=diff

==============================================================================
--- cfe/trunk/Analysis/GRConstants.cpp (original)
+++ cfe/trunk/Analysis/GRConstants.cpp Tue Feb  5 22:41:14 2008
@@ -716,8 +716,7 @@
           
         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;
         }