Changeset View
Changeset View
Standalone View
Standalone View
lib/StaticAnalyzer/Core/AnalysisManager.cpp
| Show All 20 Lines | AnalysisManager::AnalysisManager( | ||||
| AnalyzerOptions &Options, CodeInjector *injector) | AnalyzerOptions &Options, CodeInjector *injector) | ||||
| : AnaCtxMgr(ASTCtx, Options.UnoptimizedCFG, | : AnaCtxMgr(ASTCtx, Options.UnoptimizedCFG, | ||||
| Options.includeImplicitDtorsInCFG(), | Options.includeImplicitDtorsInCFG(), | ||||
| /*AddInitializers=*/true, Options.includeTemporaryDtorsInCFG(), | /*AddInitializers=*/true, Options.includeTemporaryDtorsInCFG(), | ||||
| Options.includeLifetimeInCFG(), | Options.includeLifetimeInCFG(), | ||||
| // Adding LoopExit elements to the CFG is a requirement for loop | // Adding LoopExit elements to the CFG is a requirement for loop | ||||
| // unrolling. | // unrolling. | ||||
| Options.includeLoopExitInCFG() || Options.shouldUnrollLoops(), | Options.includeLoopExitInCFG() || Options.shouldUnrollLoops(), | ||||
| Options.includeScopesInCFG(), | |||||
dcoughlin: The indentation looks off here. | |||||
| Options.shouldSynthesizeBodies(), | Options.shouldSynthesizeBodies(), | ||||
| Options.shouldConditionalizeStaticInitializers(), | Options.shouldConditionalizeStaticInitializers(), | ||||
| /*addCXXNewAllocator=*/true, | /*addCXXNewAllocator=*/true, | ||||
| injector), | injector), | ||||
| Ctx(ASTCtx), Diags(diags), LangOpts(lang), PathConsumers(PDC), | Ctx(ASTCtx), Diags(diags), LangOpts(lang), PathConsumers(PDC), | ||||
| CreateStoreMgr(storemgr), CreateConstraintMgr(constraintmgr), | CreateStoreMgr(storemgr), CreateConstraintMgr(constraintmgr), | ||||
| CheckerMgr(checkerMgr), options(Options) { | CheckerMgr(checkerMgr), options(Options) { | ||||
| AnaCtxMgr.getCFGBuildOptions().setAllAlwaysAdd(); | AnaCtxMgr.getCFGBuildOptions().setAllAlwaysAdd(); | ||||
| Show All 18 Lines | |||||
The indentation looks off here.