Add store option to scan-build and ccc-analyzer.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@58248 91177308-0d34-0410-b5e6-96231b3b80d8

utils/ccc-analyzer

@@ -241,6 +241,9 @@ if ($Status) { exit($Status >> 8); }
 my $Analyses = $ENV{'CCC_ANALYZER_ANALYSIS'};
 if (!defined($Analyses)) { $Analyses = '-checker-cfref'; }
 
+# Get the store model.
+my $StoreModel = $ENV{'CCC_ANALYZER_STORE_MODEL'};
+
 # Determine the level of verbosity.
 my $Verbose = 0;
 if (defined $ENV{CCC_ANALYZER_VERBOSE}) { $Verbose = 1; }
@@ -416,6 +419,10 @@ if ($Action eq 'compile' or $Action eq 'link') {
       push @AnalyzeArgs,$FileLang;
     }
 
+    if (defined $StoreModel) {
+      push @AnalyzeArgs, $StoreModel;
+    }
+
     push @AnalyzeArgs,@CompileOpts;
     push @AnalyzeArgs,$file;
 

utils/scan-build

@@ -808,6 +808,11 @@ OPTIONS:
 
  -analyze-headers - Also analyze functions in #included files.
 
+ -store [model] - Specify the store model used by the analyzer. By default,
+                  the 'basic' store model is used. 'region' specifies a field-
+                  sensitive store model. Be warned that the 'region' model
+                  is still in very early testing phase and may often crash.
+
  -o             - Target directory for HTML report files.  Subdirectories
                   will be created as needed to represent separate "runs" of
                   the analyzer.  If this option is not specified, a directory
@@ -918,6 +923,7 @@ my $IgnoreErrors = 0;  # Ignore build errors.
 my $ViewResults  = 0;  # View results when the build terminates.
 my $ExitStatusFoundBugs = 0; # Exit status reflects whether bugs were found
 my @AnalysesToRun;
+my $StoreModel;
 
 if (!@ARGV) {
   DisplayHelp();
@@ -1031,6 +1037,12 @@ while (@ARGV) {
     next;
   }
 
+  if ($arg eq "-store") {
+    shift @ARGV;
+    $StoreModel = '-analyzer-store-' . shift @ARGV;
+    next;
+  }
+  
   DieDiag("unrecognized option '$arg'\n") if ($arg =~ /^-/);
   
   last;
@@ -1094,6 +1106,10 @@ if ($AnalyzeHeaders) {
 
 $ENV{'CCC_ANALYZER_ANALYSIS'} = join ' ',@AnalysesToRun;
 
+if ($StoreModel) {
+  $ENV{'CCC_ANALYZER_STORE_MODEL'} = $StoreModel;
+}
+
 # Run the build.
 my $ExitStatus = RunBuildCommand(\@ARGV, $IgnoreErrors, $Cmd);