clang  9.0.0
AnalysisManager.cpp
Go to the documentation of this file.
1 //===-- AnalysisManager.cpp -------------------------------------*- C++ -*-===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 
10 
11 using namespace clang;
12 using namespace ento;
13 
14 void AnalysisManager::anchor() { }
15 
17  const PathDiagnosticConsumers &PDC,
18  StoreManagerCreator storemgr,
19  ConstraintManagerCreator constraintmgr,
20  CheckerManager *checkerMgr,
21  AnalyzerOptions &Options,
22  CodeInjector *injector)
23  : AnaCtxMgr(
24  ASTCtx, Options.UnoptimizedCFG,
25  Options.ShouldIncludeImplicitDtorsInCFG,
26  /*addInitializers=*/true,
27  Options.ShouldIncludeTemporaryDtorsInCFG,
28  Options.ShouldIncludeLifetimeInCFG,
29  // Adding LoopExit elements to the CFG is a requirement for loop
30  // unrolling.
31  Options.ShouldIncludeLoopExitInCFG ||
32  Options.ShouldUnrollLoops,
33  Options.ShouldIncludeScopesInCFG,
34  Options.ShouldSynthesizeBodies,
35  Options.ShouldConditionalizeStaticInitializers,
36  /*addCXXNewAllocator=*/true,
37  Options.ShouldIncludeRichConstructorsInCFG,
38  Options.ShouldElideConstructors,
39  /*addVirtualBaseBranches=*/true,
40  injector),
41  Ctx(ASTCtx), Diags(diags), LangOpts(ASTCtx.getLangOpts()),
42  PathConsumers(PDC), CreateStoreMgr(storemgr),
43  CreateConstraintMgr(constraintmgr), CheckerMgr(checkerMgr),
44  options(Options) {
45  AnaCtxMgr.getCFGBuildOptions().setAllAlwaysAdd();
46 }
47 
50  for (PathDiagnosticConsumers::iterator I = PathConsumers.begin(),
51  E = PathConsumers.end(); I != E; ++I) {
52  delete *I;
53  }
54 }
55 
58  for (PathDiagnosticConsumers::iterator I = PathConsumers.begin(),
59  E = PathConsumers.end();
60  I != E; ++I) {
61  (*I)->FlushDiagnostics(&filesMade);
62  }
63 }
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
Definition: ASTContext.h:154
AnalysisManager(ASTContext &ctx, DiagnosticsEngine &diags, const PathDiagnosticConsumers &Consumers, StoreManagerCreator storemgr, ConstraintManagerCreator constraintmgr, CheckerManager *checkerMgr, AnalyzerOptions &Options, CodeInjector *injector=nullptr)
std::unique_ptr< StoreManager >(* StoreManagerCreator)(ProgramStateManager &)
Definition: ProgramState.h:43
Concrete class used by the front-end to report problems and issues.
Definition: Diagnostic.h:149
std::unique_ptr< ConstraintManager >(* ConstraintManagerCreator)(ProgramStateManager &, SubEngine *)
Definition: ProgramState.h:41
CFG::BuildOptions & getCFGBuildOptions()
std::vector< PathDiagnosticConsumer * > PathDiagnosticConsumers
BuildOptions & setAllAlwaysAdd()
Definition: CFG.h:1075
Dataflow Directional Tag Classes.
CodeInjector is an interface which is responsible for injecting AST of function definitions that may ...
Definition: CodeInjector.h:35
const LangOptions & getLangOpts() const
Stores options for the analyzer from the command line.
#define true
Definition: stdbool.h:16