diff options
Diffstat (limited to 'clang/utils')
| -rwxr-xr-x | clang/utils/ccc-analyzer | 2 | ||||
| -rwxr-xr-x | clang/utils/scan-build | 7 |
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- |
