]> granicus.if.org Git - clang/commitdiff
Added transfer function hookups for "modulo" operator.
authorTed Kremenek <kremenek@apple.com>
Mon, 28 Jan 2008 22:26:15 +0000 (22:26 +0000)
committerTed Kremenek <kremenek@apple.com>
Mon, 28 Jan 2008 22:26:15 +0000 (22:26 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@46468 91177308-0d34-0410-b5e6-96231b3b80d8

Analysis/GRConstants.cpp

index d28140287b175a138e3a54499c74f85b95589cd9..8c7d51b3e0cc51ebbc0426fbe5be28af393b6ae4 100644 (file)
@@ -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);