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