No, this is not intended. RangeConstraintManager is not ready to be the new default.
On Feb 15, 2009, at 6:09 PM, Zhongxing Xu <[email protected]> wrote: > + > +ConstraintManager* > clang::CreateRangeConstraintManager(GRStateManager& StateMgr) > +{ > + return new RangeConstraintManager(StateMgr); > +} > + > +RegisterConstraintManager X(CreateRangeConstraintManager); > > Hi Ben, Ted, > > This means RangeConstraintManager will be used regardless whether we > specify -analyzer-range-constraints in the command line. Is this > intended? > > _______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
