clang: lib/StaticAnalyzer/Core/AnalysisManager.cpp Source File (original) (raw)
22 std::unique_ptr injector)
23 : AnaCtxMgr(
24 ASTCtx, Options.UnoptimizedCFG,
25 Options.ShouldIncludeImplicitDtorsInCFG,
26 true, Options.ShouldIncludeTemporaryDtorsInCFG,
27 Options.ShouldIncludeLifetimeInCFG,
28
29
30 Options.ShouldIncludeLoopExitInCFG || Options.ShouldUnrollLoops,
31 Options.ShouldIncludeScopesInCFG, Options.ShouldSynthesizeBodies,
32 Options.ShouldConditionalizeStaticInitializers,
33 true,
34 Options.ShouldIncludeRichConstructorsInCFG,
35 Options.ShouldElideConstructors,
36 true, std::move(injector)),
37 Ctx(ASTCtx), PP(PP), LangOpts(ASTCtx.getLangOpts()),
38 PathConsumers(std::move(PDC)), CreateStoreMgr(storemgr),
39 CreateConstraintMgr(constraintmgr), CheckerMgr(checkerMgr),
41 AnaCtxMgr.getCFGBuildOptions().setAllAlwaysAdd();
42 AnaCtxMgr.getCFGBuildOptions().OmitImplicitValueInitializers = true;
43 AnaCtxMgr.getCFGBuildOptions().AddCXXDefaultInitExprInAggregates =
44 Options.ShouldIncludeDefaultInitForAggregates;
45}
53 for (const auto &Consumer : PathConsumers) {
54 Consumer->FlushDiagnostics(&filesMade);
55 }
56}
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
AnalysisManager(ASTContext &ctx, Preprocessor &PP, PathDiagnosticConsumers Consumers, StoreManagerCreator storemgr, ConstraintManagerCreator constraintmgr, CheckerManager *checkerMgr, AnalyzerOptions &Options, std::unique_ptr< CodeInjector > injector=nullptr)
Definition AnalysisManager.cpp:16