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 // Adding LoopExit elements to the CFG is a requirement for loop 31 // unrolling. 32 Options.includeLoopExitInCFG() || Options.shouldUnrollLoops(), 33 Options.shouldSynthesizeBodies(), 34 Options.shouldConditionalizeStaticInitializers(), 35 /*addCXXNewAllocator=*/true, 36 injector), 37 Ctx(ctx), 38 Diags(diags), 39 LangOpts(lang), 40 PathConsumers(PDC), 41 CreateStoreMgr(storemgr), CreateConstraintMgr(constraintmgr), 42 CheckerMgr(checkerMgr), 43 options(Options) { 44 AnaCtxMgr.getCFGBuildOptions().setAllAlwaysAdd(); 45 } 46 47 AnalysisManager::~AnalysisManager() { 48 FlushDiagnostics(); 49 for (PathDiagnosticConsumers::iterator I = PathConsumers.begin(), 50 E = PathConsumers.end(); I != E; ++I) { 51 delete *I; 52 } 53 } 54 55 void AnalysisManager::FlushDiagnostics() { 56 PathDiagnosticConsumer::FilesMade filesMade; 57 for (PathDiagnosticConsumers::iterator I = PathConsumers.begin(), 58 E = PathConsumers.end(); 59 I != E; ++I) { 60 (*I)->FlushDiagnostics(&filesMade); 61 } 62 } 63