[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 xuzhongxing at gmail.com
Sun Feb 15 18:09:46 PST 2009


>
> +
> +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?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20090216/9df4c14e/attachment.html>


More information about the cfe-commits mailing list