1 //===-- AnalysisManager.cpp -------------------------------------*- C++ -*-===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 #include "clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h"
12 using namespace clang;
15 void AnalysisManager::anchor() { }
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
28 Options.includeLoopExitInCFG() || Options.shouldUnrollLoops(),
29 Options.shouldSynthesizeBodies(),
30 Options.shouldConditionalizeStaticInitializers(),
31 /*addCXXNewAllocator=*/true,
33 Ctx(ASTCtx), Diags(diags), LangOpts(lang), PathConsumers(PDC),
34 CreateStoreMgr(storemgr), CreateConstraintMgr(constraintmgr),
35 CheckerMgr(checkerMgr), options(Options) {
36 AnaCtxMgr.getCFGBuildOptions().setAllAlwaysAdd();
39 AnalysisManager::~AnalysisManager() {
41 for (PathDiagnosticConsumers::iterator I = PathConsumers.begin(),
42 E = PathConsumers.end(); I != E; ++I) {
47 void AnalysisManager::FlushDiagnostics() {
48 PathDiagnosticConsumer::FilesMade filesMade;
49 for (PathDiagnosticConsumers::iterator I = PathConsumers.begin(),
50 E = PathConsumers.end();
52 (*I)->FlushDiagnostics(&filesMade);