[cfe-commits] r64627 - /cfe/trunk/lib/Analysis/RangeConstraintManager.cpp

Ben Laurie benl at google.com
Mon Feb 16 01:19:48 PST 2009


On Mon, Feb 16, 2009 at 4:54 AM, Ted Kremenek <kremenek at apple.com> wrote:
> Author: kremenek
> Date: Sun Feb 15 22:54:20 2009
> New Revision: 64627
>
> URL: http://llvm.org/viewvc/llvm-project?rev=64627&view=rev
> Log:
> Do not register 'RangeConstraintManager' as the default ConstraintManager.

I should note that this didn't work, by the way.

>
> Modified:
>    cfe/trunk/lib/Analysis/RangeConstraintManager.cpp
>
> Modified: cfe/trunk/lib/Analysis/RangeConstraintManager.cpp
> URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/RangeConstraintManager.cpp?rev=64627&r1=64626&r2=64627&view=diff
>
> ==============================================================================
> --- cfe/trunk/lib/Analysis/RangeConstraintManager.cpp (original)
> +++ cfe/trunk/lib/Analysis/RangeConstraintManager.cpp Sun Feb 15 22:54:20 2009
> @@ -461,8 +461,6 @@
>   return new RangeConstraintManager(StateMgr);
>  }
>
> -RegisterConstraintManager X(CreateRangeConstraintManager);
> -
>  const GRState*
>  RangeConstraintManager::AssumeSymNE(const GRState* St, SymbolRef sym,
>                                     const llvm::APSInt& V, bool& isFeasible) {
>
>
> _______________________________________________
> cfe-commits mailing list
> cfe-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
>



More information about the cfe-commits mailing list