From b40d06dec23b53bbc1157a9adae7f887be31aa3b Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Mon, 7 Dec 2009 22:26:14 +0000 Subject: [PATCH] Enable '-analyzer-opt-analyze-nested-blocks' by default for testing. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@90812 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Driver/Tools.cpp | 3 +++ tools/scan-build/ccc-analyzer | 1 + 2 files changed, 4 insertions(+) diff --git a/lib/Driver/Tools.cpp b/lib/Driver/Tools.cpp index b10ad1e122..a89806a68e 100644 --- a/lib/Driver/Tools.cpp +++ b/lib/Driver/Tools.cpp @@ -647,6 +647,9 @@ void Clang::ConstructJob(Compilation &C, const JobAction &JA, // 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"); diff --git a/tools/scan-build/ccc-analyzer b/tools/scan-build/ccc-analyzer index 25b9800574..8e3e26c068 100755 --- a/tools/scan-build/ccc-analyzer +++ b/tools/scan-build/ccc-analyzer @@ -159,6 +159,7 @@ sub Analyze { 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"}) { -- 2.50.1