[cfe-commits] r90812 - in /cfe/trunk: lib/Driver/Tools.cpp tools/scan-build/ccc-analyzer

Ted Kremenek kremenek at apple.com
Mon Dec 7 14:26:14 PST 2009


Author: kremenek
Date: Mon Dec  7 16:26:14 2009
New Revision: 90812

URL: http://llvm.org/viewvc/llvm-project?rev=90812&view=rev
Log:
Enable '-analyzer-opt-analyze-nested-blocks' by default for testing.

Modified:
    cfe/trunk/lib/Driver/Tools.cpp
    cfe/trunk/tools/scan-build/ccc-analyzer

Modified: cfe/trunk/lib/Driver/Tools.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Driver/Tools.cpp?rev=90812&r1=90811&r2=90812&view=diff

==============================================================================
--- cfe/trunk/lib/Driver/Tools.cpp (original)
+++ cfe/trunk/lib/Driver/Tools.cpp Mon Dec  7 16:26:14 2009
@@ -647,6 +647,9 @@
     // Enable region store model by default.
     CmdArgs.push_back("-analyzer-store=region");
 
+    // Treat blocks as analysis entry points.
+    CmdArgs.push_back("-analyzer-opt-analyze-nested-blocks");
+
     // Add default argument set.
     if (!Args.hasArg(options::OPT__analyzer_no_default_checks)) {
       CmdArgs.push_back("-warn-dead-stores");

Modified: cfe/trunk/tools/scan-build/ccc-analyzer
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/tools/scan-build/ccc-analyzer?rev=90812&r1=90811&r2=90812&view=diff

==============================================================================
--- cfe/trunk/tools/scan-build/ccc-analyzer (original)
+++ cfe/trunk/tools/scan-build/ccc-analyzer Mon Dec  7 16:26:14 2009
@@ -159,6 +159,7 @@
     push @CmdArgs,'-analyze';
     push @CmdArgs,"-analyzer-display-progress";
     push @CmdArgs,"-analyzer-eagerly-assume";
+    push @CmdArgs,"-analyzer-opt-analyze-nested-blocks";
     push @CmdArgs,(split /\s/,$Analyses);
     
     if (defined $ENV{"CCC_EXPERIMENTAL_CHECKS"}) {





More information about the cfe-commits mailing list