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(
  18     ASTContext &ASTCtx, DiagnosticsEngine &diags, const LangOptions &lang,
  19     const PathDiagnosticConsumers &PDC, StoreManagerCreator storemgr,
  20     ConstraintManagerCreator constraintmgr, CheckerManager *checkerMgr,
  21     AnalyzerOptions &Options, CodeInjector *injector)
  22     : AnaCtxMgr(ASTCtx, Options.UnoptimizedCFG,
  23                 Options.includeImplicitDtorsInCFG(),
  24                 /*AddInitializers=*/true, Options.includeTemporaryDtorsInCFG(),
  25                 Options.includeLifetimeInCFG(),
  26                 // Adding LoopExit elements to the CFG is a requirement for loop
  27                 // unrolling.
  28                 Options.includeLoopExitInCFG() || Options.shouldUnrollLoops(),
  29                 Options.includeScopesInCFG(),
  30                 Options.shouldSynthesizeBodies(),
  31                 Options.shouldConditionalizeStaticInitializers(),
  32                 /*addCXXNewAllocator=*/true,
  33                 Options.includeRichConstructorsInCFG(),
  34                 Options.shouldElideConstructors(),
  35                 injector),
  36       Ctx(ASTCtx), Diags(diags), LangOpts(lang), PathConsumers(PDC),
  37       CreateStoreMgr(storemgr), CreateConstraintMgr(constraintmgr),
  38       CheckerMgr(checkerMgr), options(Options) {
  39   AnaCtxMgr.getCFGBuildOptions().setAllAlwaysAdd();
  40 }
  41
  42 AnalysisManager::~AnalysisManager() {
  43   FlushDiagnostics();
  44   for (PathDiagnosticConsumers::iterator I = PathConsumers.begin(),
  45        E = PathConsumers.end(); I != E; ++I) {
  46     delete *I;
  47   }
  48 }
  49
  50 void AnalysisManager::FlushDiagnostics() {
  51   PathDiagnosticConsumer::FilesMade filesMade;
  52   for (PathDiagnosticConsumers::iterator I = PathConsumers.begin(),
  53        E = PathConsumers.end();
  54        I != E; ++I) {
  55     (*I)->FlushDiagnostics(&filesMade);
  56   }
  57 }