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

[Ted Kremenek]

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
> cfe-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits