Author: kremenek
Date: Mon Feb 16 11:26:11 2009
New Revision: 64638
URL: http://llvm.org/viewvc/llvm-project?rev=64638&view=rev
Log:
RangeConstraintManager is not on by default.
Modified:
cfe/trunk/Driver/AnalysisConsumer.cpp
Modified: cfe/trunk/Driver/AnalysisConsumer.cpp
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/Driver/AnalysisConsumer.cpp?rev=64638&r1=64637&r2=64638&view=diff
==============================================================================
--- cfe/trunk/Driver/AnalysisConsumer.cpp (original)
+++ cfe/trunk/Driver/AnalysisConsumer.cpp Mon Feb 16 11:26:11 2009
@@ -50,7 +50,7 @@
" processing a statement."));
static llvm::cl::opt<bool>
UseRanges("analyzer-range-constraints",
- llvm::cl::init(true),
+ llvm::cl::init(false),
llvm::cl::desc("Use the range constraint manager instead of the
basic"
" constraint manager"));
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
