AnalysisManager.cpp revision e1ce783708b65eaa832ffad03d239264046dd0eb 
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
12using namespace clang;
13using namespace ento;
14
15void AnalysisManager::anchor() { }
16
17AnalysisManager::AnalysisManager(ASTContext &ctx, DiagnosticsEngine &diags,
18                                 const LangOptions &lang,
19                                 PathDiagnosticConsumer *pd,
20                                 StoreManagerCreator storemgr,
21                                 ConstraintManagerCreator constraintmgr,
22                                 CheckerManager *checkerMgr,
23                                 unsigned maxnodes, unsigned maxvisit,
24                                 bool vizdot, bool vizubi,
25                                 AnalysisPurgeMode purge,
26                                 bool eager, bool trim,
27                                 bool useUnoptimizedCFG,
28                                 bool addImplicitDtors,
29                                 bool eagerlyTrimEGraph,
30                                 AnalysisIPAMode ipa,
31                                 unsigned inlineMaxStack,
32                                 unsigned inlineMaxFunctionSize,
33                                 AnalysisInliningMode IMode,
34                                 bool NoRetry)
35  : AnaCtxMgr(useUnoptimizedCFG, addImplicitDtors, /*addInitializers=*/true),
36    Ctx(ctx), Diags(diags), LangOpts(lang), PD(pd),
37    CreateStoreMgr(storemgr), CreateConstraintMgr(constraintmgr),
38    CheckerMgr(checkerMgr),
39    MaxNodes(maxnodes), MaxVisit(maxvisit),
40    VisualizeEGDot(vizdot), VisualizeEGUbi(vizubi), PurgeDead(purge),
41    EagerlyAssume(eager), TrimGraph(trim),
42    EagerlyTrimEGraph(eagerlyTrimEGraph),
43    IPAMode(ipa),
44    InlineMaxStackDepth(inlineMaxStack),
45    InlineMaxFunctionSize(inlineMaxFunctionSize),
46    InliningMode(IMode),
47    NoRetryExhausted(NoRetry)
48{
49  AnaCtxMgr.getCFGBuildOptions().setAllAlwaysAdd();
50}
51
52AnalysisManager::AnalysisManager(ASTContext &ctx, DiagnosticsEngine &diags,
53                                 AnalysisManager &ParentAM)
54  : AnaCtxMgr(ParentAM.AnaCtxMgr.getUseUnoptimizedCFG(),
55              ParentAM.AnaCtxMgr.getCFGBuildOptions().AddImplicitDtors,
56              ParentAM.AnaCtxMgr.getCFGBuildOptions().AddInitializers),
57    Ctx(ctx), Diags(diags),
58    LangOpts(ParentAM.LangOpts), PD(ParentAM.getPathDiagnosticConsumer()),
59    CreateStoreMgr(ParentAM.CreateStoreMgr),
60    CreateConstraintMgr(ParentAM.CreateConstraintMgr),
61    CheckerMgr(ParentAM.CheckerMgr),
62    MaxNodes(ParentAM.MaxNodes),
63    MaxVisit(ParentAM.MaxVisit),
64    VisualizeEGDot(ParentAM.VisualizeEGDot),
65    VisualizeEGUbi(ParentAM.VisualizeEGUbi),
66    PurgeDead(ParentAM.PurgeDead),
67    EagerlyAssume(ParentAM.EagerlyAssume),
68    TrimGraph(ParentAM.TrimGraph),
69    EagerlyTrimEGraph(ParentAM.EagerlyTrimEGraph),
70    IPAMode(ParentAM.IPAMode),
71    InlineMaxStackDepth(ParentAM.InlineMaxStackDepth),
72    InlineMaxFunctionSize(ParentAM.InlineMaxFunctionSize),
73    InliningMode(ParentAM.InliningMode),
74    NoRetryExhausted(ParentAM.NoRetryExhausted)
75{
76  AnaCtxMgr.getCFGBuildOptions().setAllAlwaysAdd();
77}
78