[cfe-commits] r64558 - in /cfe/trunk: Driver/AnalysisConsumer.cpp include/clang/Analysis/PathSensitive/ConstraintManager.h lib/Analysis/BasicConstraintManager.cpp lib/Analysis/RangeConstraintManager.cpp lib/Analysis/SimpleConstraintManager.cpp li

[Ted Kremenek]

No, this is not intended.  RangeConstraintManager is not ready to be  
the new default.

On Feb 15, 2009, at 6:09 PM, Zhongxing Xu <xuzhongxing at gmail.com> 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?
>
>