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

[Ted Kremenek]

Author: kremenek
Date: Mon Jan 28 16:26:15 2008
New Revision: 46468

URL: http://llvm.org/viewvc/llvm-project?rev=46468&view=rev
Log:
Added transfer function hookups for "modulo" operator.

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=46468&r1=46467&r2=46468&view=diff

==============================================================================
--- cfe/trunk/Analysis/GRConstants.cpp (original)
+++ cfe/trunk/Analysis/GRConstants.cpp Mon Jan 28 16:26:15 2008
@@ -1009,6 +1009,13 @@
           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);