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