contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/AnalysisManager.cpp

   1 //===-- AnalysisManager.cpp -------------------------------------*- C++ -*-===//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file is distributed under the University of Illinois Open Source
   6 // License. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9
  10 #include "clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h"
  11
  12 using namespace clang;
  13 using namespace ento;
  14
  15 void AnalysisManager::anchor() { }
  16
  17 AnalysisManager::AnalysisManager(ASTContext &ctx, DiagnosticsEngine &diags,
  18                                  const LangOptions &lang,
  19                                  const PathDiagnosticConsumers &PDC,
  20                                  StoreManagerCreator storemgr,
  21                                  ConstraintManagerCreator constraintmgr,
  22                                  CheckerManager *checkerMgr,
  23                                  AnalyzerOptions &Options,
  24                                  CodeInjector *injector)
  25   : AnaCtxMgr(Options.UnoptimizedCFG,
  26               Options.includeImplicitDtorsInCFG(),
  27               /*AddInitializers=*/true,
  28               Options.includeTemporaryDtorsInCFG(),
  29               Options.includeLifetimeInCFG(),
  30               Options.shouldSynthesizeBodies(),
  31               Options.shouldConditionalizeStaticInitializers(),
  32               /*addCXXNewAllocator=*/true,
  33               injector),
  34     Ctx(ctx),
  35     Diags(diags),
  36     LangOpts(lang),
  37     PathConsumers(PDC),
  38     CreateStoreMgr(storemgr), CreateConstraintMgr(constraintmgr),
  39     CheckerMgr(checkerMgr),
  40     options(Options) {
  41   AnaCtxMgr.getCFGBuildOptions().setAllAlwaysAdd();
  42 }
  43
  44 AnalysisManager::~AnalysisManager() {
  45   FlushDiagnostics();
  46   for (PathDiagnosticConsumers::iterator I = PathConsumers.begin(),
  47        E = PathConsumers.end(); I != E; ++I) {
  48     delete *I;
  49   }
  50 }
  51
  52 void AnalysisManager::FlushDiagnostics() {
  53   PathDiagnosticConsumer::FilesMade filesMade;
  54   for (PathDiagnosticConsumers::iterator I = PathConsumers.begin(),
  55        E = PathConsumers.end();
  56        I != E; ++I) {
  57     (*I)->FlushDiagnostics(&filesMade);
  58   }
  59 }