From: Ted Kremenek <kremenek@apple.com>
Date: Mon, 28 Jan 2008 22:26:15 +0000 (+0000)
Subject: Added transfer function hookups for "modulo" operator.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=cce207d1a6e6bfa9896257feed339f6098b53ef9;p=clang

Added transfer function hookups for "modulo" operator.


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

diff --git a/Analysis/GRConstants.cpp b/Analysis/GRConstants.cpp
index d28140287b..8c7d51b3e0 100644
--- a/Analysis/GRConstants.cpp
+++ b/Analysis/GRConstants.cpp
@@ -1009,6 +1009,13 @@ void GRConstants::VisitBinaryOperator(BinaryOperator* B,
           break;
         }
           
+        case BinaryOperator::Rem: {
+          const NonLValue& R1 = cast<NonLValue>(V1);
+          const NonLValue& R2 = cast<NonLValue>(V2);
+	        Nodify(Dst, B, N2, SetValue(St, B, R1.Rem(ValMgr, R2)));
+          break;
+        }
+          
         case BinaryOperator::Assign: {
           const LValue& L1 = cast<LValue>(V1);
           const NonLValue& R2 = cast<NonLValue>(V2);