diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-02-20 21:49:22 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-02-20 21:49:22 +0000 |
| commit | 9f4ecb34d502f6aad7d635dd3aec24a373ef5c9b (patch) | |
| tree | c03d2c47ae49fb9cf461d5d6dc4ea7c4dd684e25 | |
| parent | 4ee413ba81c8030c195a9166847928054ed01ca4 (diff) | |
Make 'RangeConstraintManager' the default ConstraintManager.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@65173 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | Driver/Analyses.def | 2 | ||||
| -rw-r--r-- | Driver/AnalysisConsumer.cpp | 2 | ||||
| -rwxr-xr-x | utils/ccc-analyzer | 2 | ||||
| -rwxr-xr-x | utils/scan-build | 7 |
4 files changed, 7 insertions, 6 deletions
diff --git a/Driver/Analyses.def b/Driver/Analyses.def index 333055f929..3492d09c10 100644 --- a/Driver/Analyses.def +++ b/Driver/Analyses.def @@ -60,7 +60,7 @@ ANALYSIS_STORE(RegionStore, "region", "Use region-based analyzer store", CreateR #endif ANALYSIS_CONSTRAINTS(BasicConstraints, "basic", "Use basic constraint tracking", CreateBasicConstraintManager) -ANALYSIS_CONSTRAINTS(RangeContraints, "range", "Use constraint tracking of concrete value ranges", CreateRangeConstraintManager) +ANALYSIS_CONSTRAINTS(RangeConstraints, "range", "Use constraint tracking of concrete value ranges", CreateRangeConstraintManager) #ifndef ANALYSIS_DIAGNOSTICS #define ANALYSIS_DIAGNOSTICS(NAME, CMDFLAG, DESC, CREATEFN, AUTOCREATE) diff --git a/Driver/AnalysisConsumer.cpp b/Driver/AnalysisConsumer.cpp index 66fe299e37..fd74f7dcd1 100644 --- a/Driver/AnalysisConsumer.cpp +++ b/Driver/AnalysisConsumer.cpp @@ -96,7 +96,7 @@ NumConstraints static llvm::cl::opt<AnalysisConstraints> AnalysisConstraintsOpt("analyzer-constraints", llvm::cl::desc("Source Code Analysis - Symbolic Constraint Engines"), - llvm::cl::init(BasicConstraintsModel), + llvm::cl::init(RangeConstraintsModel), llvm::cl::values( #define ANALYSIS_CONSTRAINTS(NAME, CMDFLAG, DESC, CREATFN)\ clEnumValN(NAME##Model, CMDFLAG, DESC), diff --git a/utils/ccc-analyzer b/utils/ccc-analyzer index 57dab8d99c..9e0474b599 100755 --- a/utils/ccc-analyzer +++ b/utils/ccc-analyzer @@ -309,7 +309,7 @@ if (!defined $StoreModel) { $StoreModel = "basic"; } # Get the constraints engine. my $ConstraintsModel = $ENV{'CCC_ANALYZER_CONSTRAINTS_MODEL'}; -if (!defined $ConstraintsModel) { $ConstraintsModel = "basic"; } +if (!defined $ConstraintsModel) { $ConstraintsModel = "range"; } # Get the output format. my $OutputFormat = $ENV{'CCC_ANALYZER_OUTPUT_FORMAT'}; diff --git a/utils/scan-build b/utils/scan-build index 4f2a68ff9e..5fea80b48a 100755 --- a/utils/scan-build +++ b/utils/scan-build @@ -908,9 +908,10 @@ OPTIONS: ADVANCED OPTIONS: - -constraints [model] - Specify the contraint model used by the analyzer. - By default the 'basic' model is used. 'range' adds - experimental range tracking for program values. + -constraints [model] - Specify the contraint engine used by the analyzer. + By default the 'range' model is used. Specifying + 'basic' uses a simpler, less powerful constraint model + used by checker-0.161 and earlier. -store [model] - Specify the store model used by the analyzer. By default, the 'basic' store model is used. 'region' specifies a field- |