On Mon, Feb 16, 2009 at 4:54 AM, Ted Kremenek <[email protected]> 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 > [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
