contrib/llvm-project/clang/lib/StaticAnalyzer/Core/AnalysisManager.cpp

   1 //===-- AnalysisManager.cpp -------------------------------------*- C++ -*-===//
   2 //
   3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
   4 // See https://llvm.org/LICENSE.txt for license information.
   5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
   6 //
   7 //===----------------------------------------------------------------------===//
   8
   9 #include "clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h"
  10
  11 using namespace clang;
  12 using namespace ento;
  13
  14 void AnalysisManager::anchor() { }
  15
  16 AnalysisManager::AnalysisManager(ASTContext &ASTCtx,
  17                                  const PathDiagnosticConsumers &PDC,
  18                                  StoreManagerCreator storemgr,
  19                                  ConstraintManagerCreator constraintmgr,
  20                                  CheckerManager *checkerMgr,
  21                                  AnalyzerOptions &Options,
  22                                  CodeInjector *injector)
  23     : AnaCtxMgr(
  24           ASTCtx, Options.UnoptimizedCFG,
  25           Options.ShouldIncludeImplicitDtorsInCFG,
  26           /*addInitializers=*/true,
  27           Options.ShouldIncludeTemporaryDtorsInCFG,
  28           Options.ShouldIncludeLifetimeInCFG,
  29           // Adding LoopExit elements to the CFG is a requirement for loop
  30           // unrolling.
  31           Options.ShouldIncludeLoopExitInCFG ||
  32             Options.ShouldUnrollLoops,
  33           Options.ShouldIncludeScopesInCFG,
  34           Options.ShouldSynthesizeBodies,
  35           Options.ShouldConditionalizeStaticInitializers,
  36           /*addCXXNewAllocator=*/true,
  37           Options.ShouldIncludeRichConstructorsInCFG,
  38           Options.ShouldElideConstructors,
  39           /*addVirtualBaseBranches=*/true,
  40           injector),
  41       Ctx(ASTCtx), LangOpts(ASTCtx.getLangOpts()),
  42       PathConsumers(PDC), CreateStoreMgr(storemgr),
  43       CreateConstraintMgr(constraintmgr), CheckerMgr(checkerMgr),
  44       options(Options) {
  45   AnaCtxMgr.getCFGBuildOptions().setAllAlwaysAdd();
  46   AnaCtxMgr.getCFGBuildOptions().OmitImplicitValueInitializers = true;
  47   AnaCtxMgr.getCFGBuildOptions().AddCXXDefaultInitExprInAggregates =
  48       Options.ShouldIncludeDefaultInitForAggregates;
  49 }
  50
  51 AnalysisManager::~AnalysisManager() {
  52   FlushDiagnostics();
  53   for (PathDiagnosticConsumers::iterator I = PathConsumers.begin(),
  54        E = PathConsumers.end(); I != E; ++I) {
  55     delete *I;
  56   }
  57 }
  58
  59 void AnalysisManager::FlushDiagnostics() {
  60   PathDiagnosticConsumer::FilesMade filesMade;
  61   for (PathDiagnosticConsumers::iterator I = PathConsumers.begin(),
  62        E = PathConsumers.end();
  63        I != E; ++I) {
  64     (*I)->FlushDiagnostics(&filesMade);
  65   }
  66 }