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