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, DiagnosticsEngine &diags, 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), Diags(diags), LangOpts(ASTCtx.getLangOpts()), 42 PathConsumers(PDC), CreateStoreMgr(storemgr), 43 CreateConstraintMgr(constraintmgr), CheckerMgr(checkerMgr), 44 options(Options) { 45 AnaCtxMgr.getCFGBuildOptions().setAllAlwaysAdd(); 46 } 47 48 AnalysisManager::~AnalysisManager() { 49 FlushDiagnostics(); 50 for (PathDiagnosticConsumers::iterator I = PathConsumers.begin(), 51 E = PathConsumers.end(); I != E; ++I) { 52 delete *I; 53 } 54 } 55 56 void AnalysisManager::FlushDiagnostics() { 57 PathDiagnosticConsumer::FilesMade filesMade; 58 for (PathDiagnosticConsumers::iterator I = PathConsumers.begin(), 59 E = PathConsumers.end(); 60 I != E; ++I) { 61 (*I)->FlushDiagnostics(&filesMade); 62 } 63 } 64