Re: [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

[Zhongxing Xu]

>
> +
> +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
cfe-commits@cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits