[cfe-commits] r56334 - /cfe/trunk/lib/Analysis/BasicConstraintManager.cpp

[Zhongxing Xu]

Author: zhongxingxu
Date: Fri Sep 19 01:07:59 2008
New Revision: 56334

URL: http://llvm.org/viewvc/llvm-project?rev=56334&view=rev
Log:
Add an omitted case for AssumeSymInt.

Modified:
    cfe/trunk/lib/Analysis/BasicConstraintManager.cpp

Modified: cfe/trunk/lib/Analysis/BasicConstraintManager.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/BasicConstraintManager.cpp?rev=56334&r1=56333&r2=56334&view=diff

==============================================================================
--- cfe/trunk/lib/Analysis/BasicConstraintManager.cpp (original)
+++ cfe/trunk/lib/Analysis/BasicConstraintManager.cpp Fri Sep 19 01:07:59 2008
@@ -222,6 +222,12 @@
     else
       return AssumeSymEQ(St, C.getSymbol(), C.getInt(), isFeasible);
 
+  case BinaryOperator::GT:
+    if (Assumption)
+      return AssumeSymGT(St, C.getSymbol(), C.getInt(), isFeasible);
+    else
+      return AssumeSymLE(St, C.getSymbol(), C.getInt(), isFeasible);
+
   case BinaryOperator::GE:
     if (Assumption)
       return AssumeSymGE(St, C.getSymbol(), C.getInt(), isFeasible);