diff options
| author | Tom Care <tom.care@uqconnect.edu.au> | 2010-09-10 00:44:44 +0000 |
|---|---|---|
| committer | Tom Care <tom.care@uqconnect.edu.au> | 2010-09-10 00:44:44 +0000 |
| commit | 52d861ce41ce84d8389495ea78d97bcc962ac5ba (patch) | |
| tree | b935271dea250ba726bac204b0e88d360a8671a7 /lib/Checker/AnalysisConsumer.cpp | |
| parent | 36897b05ca2886e287f01802614bc10cbadcec22 (diff) | |
Added AnalyzerStatsChecker, a path sensitive check that reports visitation statistics about analysis. Running clang with the -analyzer-stats flag will emit warnings containing the information. We can then run a postanalysis script to take this data and give useful information about how much the analyzer missed in a project.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@113568 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Checker/AnalysisConsumer.cpp')
| -rw-r--r-- | lib/Checker/AnalysisConsumer.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/Checker/AnalysisConsumer.cpp b/lib/Checker/AnalysisConsumer.cpp index ad5ccb503b..e717ce0a9c 100644 --- a/lib/Checker/AnalysisConsumer.cpp +++ b/lib/Checker/AnalysisConsumer.cpp @@ -350,6 +350,10 @@ static void ActionGRExprEngine(AnalysisConsumer &C, AnalysisManager& mgr, || C.Opts.EnableExperimentalInternalChecks) RegisterIdempotentOperationChecker(Eng); + // Enable AnalyzerStatsChecker if it was given as an argument + if (C.Opts.AnalyzerStats) + RegisterAnalyzerStatsChecker(Eng); + // Set the graph auditor. llvm::OwningPtr<ExplodedNode::Auditor> Auditor; if (mgr.shouldVisualizeUbigraph()) { |