Make 'RangeConstraintManager' the default ConstraintManager.

llvm-svn: 65173

2 files changed, 5 insertions, 4 deletions

diff --git a/clang/utils/ccc-analyzer b/clang/utils/ccc-analyzer
index 57dab8d99c2..9e0474b5994 100755
--- a/clang/utils/ccc-analyzer
+++ b/clang/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/clang/utils/scan-build b/clang/utils/scan-build
index 4f2a68ff9ea..5fea80b48a6 100755
--- a/clang/utils/scan-build
+++ b/clang/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-