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