Thanks Zhongxing! On Sep 18, 2008, at 11:07 PM, Zhongxing Xu wrote:
> 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); > > > _______________________________________________ > cfe-commits mailing list > [email protected] > http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits _______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
