AnalysisManager.cpp revision 5903a373db3d27794c90b25687e0dd6adb0e497d 
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#include "clang/Index/Entity.h"
12#include "clang/Index/Indexer.h"
13
14using namespace clang;
15using namespace ento;
16
17void AnalysisManager::anchor() { }
18
19AnalysisManager::AnalysisManager(ASTContext &ctx, DiagnosticsEngine &diags,
20                                 const LangOptions &lang,
21                                 PathDiagnosticConsumer *pd,
22                                 StoreManagerCreator storemgr,
23                                 ConstraintManagerCreator constraintmgr,
24                                 CheckerManager *checkerMgr,
25                                 idx::Indexer *idxer,
26                                 unsigned maxnodes, unsigned maxvisit,
27                                 bool vizdot, bool vizubi,
28                                 AnalysisPurgeMode purge,
29                                 bool eager, bool trim,
30                                 bool useUnoptimizedCFG,
31                                 bool addImplicitDtors, bool addInitializers,
32                                 bool eagerlyTrimEGraph,
33                                 AnalysisIPAMode ipa,
34                                 unsigned inlineMaxStack,
35                                 unsigned inlineMaxFunctionSize,
36                                 AnalysisInliningMode IMode,
37                                 bool retry)
38  : AnaCtxMgr(useUnoptimizedCFG, addImplicitDtors, addInitializers),
39    Ctx(ctx), Diags(diags), LangOpts(lang), PD(pd),
40    CreateStoreMgr(storemgr), CreateConstraintMgr(constraintmgr),
41    CheckerMgr(checkerMgr), Idxer(idxer),
42    AScope(ScopeDecl), MaxNodes(maxnodes), MaxVisit(maxvisit),
43    VisualizeEGDot(vizdot), VisualizeEGUbi(vizubi), PurgeDead(purge),
44    EagerlyAssume(eager), TrimGraph(trim),
45    EagerlyTrimEGraph(eagerlyTrimEGraph),
46    IPAMode(ipa),
47    InlineMaxStackDepth(inlineMaxStack),
48    InlineMaxFunctionSize(inlineMaxFunctionSize),
49    InliningMode(IMode),
50    RetryExhausted(retry)
51{
52  AnaCtxMgr.getCFGBuildOptions().setAllAlwaysAdd();
53}
54
55AnalysisManager::AnalysisManager(ASTContext &ctx, DiagnosticsEngine &diags,
56                                 AnalysisManager &ParentAM)
57  : AnaCtxMgr(ParentAM.AnaCtxMgr.getUseUnoptimizedCFG(),
58              ParentAM.AnaCtxMgr.getCFGBuildOptions().AddImplicitDtors,
59              ParentAM.AnaCtxMgr.getCFGBuildOptions().AddInitializers),
60    Ctx(ctx), Diags(diags),
61    LangOpts(ParentAM.LangOpts), PD(ParentAM.getPathDiagnosticConsumer()),
62    CreateStoreMgr(ParentAM.CreateStoreMgr),
63    CreateConstraintMgr(ParentAM.CreateConstraintMgr),
64    CheckerMgr(ParentAM.CheckerMgr),
65    Idxer(ParentAM.Idxer),
66    AScope(ScopeDecl),
67    MaxNodes(ParentAM.MaxNodes),
68    MaxVisit(ParentAM.MaxVisit),
69    VisualizeEGDot(ParentAM.VisualizeEGDot),
70    VisualizeEGUbi(ParentAM.VisualizeEGUbi),
71    PurgeDead(ParentAM.PurgeDead),
72    EagerlyAssume(ParentAM.EagerlyAssume),
73    TrimGraph(ParentAM.TrimGraph),
74    EagerlyTrimEGraph(ParentAM.EagerlyTrimEGraph),
75    IPAMode(ParentAM.IPAMode),
76    InlineMaxStackDepth(ParentAM.InlineMaxStackDepth),
77    InlineMaxFunctionSize(ParentAM.InlineMaxFunctionSize),
78    InliningMode(ParentAM.InliningMode),
79    RetryExhausted(ParentAM.RetryExhausted)
80{
81  AnaCtxMgr.getCFGBuildOptions().setAllAlwaysAdd();
82}
83
84
85AnalysisDeclContext *
86AnalysisManager::getAnalysisDeclContextInAnotherTU(const Decl *D) {
87  idx::Entity Ent = idx::Entity::get(const_cast<Decl *>(D),
88                                     Idxer->getProgram());
89  FunctionDecl *FuncDef;
90  idx::TranslationUnit *TU;
91  llvm::tie(FuncDef, TU) = Idxer->getDefinitionFor(Ent);
92
93  if (FuncDef == 0)
94    return 0;
95
96  // This AnalysisDeclContext wraps function definition in another translation unit.
97  // But it is still owned by the AnalysisManager associated with the current
98  // translation unit.
99  return AnaCtxMgr.getContext(FuncDef, TU);
100}
101