We are still using RangeConstraintManager by default, because UseRanges has default value 'true'. It shows that RangeConstraintManager has already passed all regression tests.
On Mon, Feb 16, 2009 at 5:19 PM, Ben Laurie <[email protected]> wrote: > 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 >
_______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
