clang 19.0.0git
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
11using namespace clang;
12using namespace ento;
13
14void 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), PP(PP), LangOpts(ASTCtx.getLangOpts()),
42 PathConsumers(PDC), CreateStoreMgr(storemgr),
43 CreateConstraintMgr(constraintmgr), CheckerMgr(checkerMgr),
44 options(Options) {
48 Options.ShouldIncludeDefaultInitForAggregates;
49}
50
53 for (PathDiagnosticConsumer *Consumer : PathConsumers) {
54 delete Consumer;
55 }
56}
57
60 for (PathDiagnosticConsumer *Consumer : PathConsumers) {
61 Consumer->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:182
CFG::BuildOptions & getCFGBuildOptions()
Stores options for the analyzer from the command line.
bool OmitImplicitValueInitializers
Definition: CFG.h:1245
bool AddCXXDefaultInitExprInAggregates
Definition: CFG.h:1241
BuildOptions & setAllAlwaysAdd()
Definition: CFG.h:1258
CodeInjector is an interface which is responsible for injecting AST of function definitions that may ...
Definition: CodeInjector.h:35
Engages in a tight little dance with the lexer to efficiently preprocess tokens.
Definition: Preprocessor.h:128
AnalysisManager(ASTContext &ctx, Preprocessor &PP, const PathDiagnosticConsumers &Consumers, StoreManagerCreator storemgr, ConstraintManagerCreator constraintmgr, CheckerManager *checkerMgr, AnalyzerOptions &Options, CodeInjector *injector=nullptr)
std::unique_ptr< ConstraintManager >(* ConstraintManagerCreator)(ProgramStateManager &, ExprEngine *)
Definition: ProgramState.h:42
std::vector< PathDiagnosticConsumer * > PathDiagnosticConsumers
std::unique_ptr< StoreManager >(* StoreManagerCreator)(ProgramStateManager &)
Definition: ProgramState.h:44
The JSON file list parser is used to communicate input to InstallAPI.
#define true
Definition: stdbool.h:21