commit 2eb10354e644c79b6d341096f2ce8b8a88146647
author Ted Kremenek <kremenek@apple.com> Fri Jan 25 23:45:34 2008 +0000
committer Ted Kremenek <kremenek@apple.com> Fri Jan 25 23:45:34 2008 +0000
tree b844f003521235d217b0fa7ff8169d3d553124ea
parent 138324a02aae0584c9112a7769715bfdfed5c630

Implemented transfer function for '/='.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@46379 91177308-0d34-0410-b5e6-96231b3b80d8

Analysis/GRConstants.cpp

diff --git a/Analysis/GRConstants.cpp b/Analysis/GRConstants.cpp
index 69a0d93..13d10f2 100644
--- a/Analysis/GRConstants.cpp
+++ b/Analysis/GRConstants.cpp
@@ -1050,6 +1050,14 @@
           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);