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 } 58