| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | DebugCheckers.cpp | 39 Dom.buildDominatorTree(AC->getCFG()); in checkASTCodeBody()
65 Dom.buildDominatorTree(AC->getCFG()); in checkASTCodeBody()
90 ControlDependencyCalculator Dom(AC->getCFG()); in checkASTCodeBody()
161 if (CFG *cfg = mgr.getCFG(D)) { in checkASTCodeBody()
190 if (CFG *cfg = mgr.getCFG(D)) { in checkASTCodeBody()
|
| H A D | AnalyzerStatsChecker.cpp | 69 C = LC->getCFG(); in checkEndAnalysis()
|
| H A D | MallocOverflowSecurityChecker.cpp | 300 CFG *cfg = mgr.getCFG(D); in checkASTCodeBody()
|
| H A D | DeadStoresChecker.cpp | 545 CFG &cfg = *mgr.getCFG(D); in checkASTCodeBody()
|
| /llvm-project-15.0.7/clang/unittests/Analysis/ |
| H A D | CFGTest.cpp | 47 EXPECT_EQ(1u, B.getCFG()->getEntry().succ_size()); in TEST()
48 CFGBlock *Block = *B.getCFG()->getEntry().succ_begin(); in TEST()
77 EXPECT_EQ(IsLinear, B.getCFG()->isLinear()); in TEST()
101 CFG *Cfg = B.getCFG(); in TEST()
234 auto *CFG = AC.getCFG(); in TEST()
|
| H A D | CFGDominatorTree.cpp | 34 CFG *cfg = Result.getCFG(); in TEST()
123 CFG *cfg = Result.getCFG(); in TEST()
177 CFG *cfg = Result.getCFG(); in TEST()
|
| H A D | CFGBuildResult.h | 32 CFG *getCFG() const { return Cfg.get(); } in getCFG() function
|
| /llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/ |
| H A D | TypeErasedDataflowAnalysis.cpp | 338 PostOrderCFGView POV(&CFCtx.getCFG()); in runTypeErasedDataflowAnalysis()
339 ForwardDataflowWorklist Worklist(CFCtx.getCFG(), &POV); in runTypeErasedDataflowAnalysis()
342 BlockStates.resize(CFCtx.getCFG().size(), llvm::None); in runTypeErasedDataflowAnalysis()
345 const CFGBlock &Entry = CFCtx.getCFG().getEntry(); in runTypeErasedDataflowAnalysis()
397 for (const CFGBlock *Block : CFCtx.getCFG()) { in runTypeErasedDataflowAnalysis()
|
| H A D | Transfer.cpp | 521 auto ExitBlock = CFCtx->getCFG().getExit().getBlockID(); in VisitCallExpr()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | AnalysisManager.h | 108 CFG *getCFG(Decl const *D) { in getCFG() function
109 return AnaCtxMgr.getContext(D)->getCFG(); in getCFG()
|
| H A D | ExplodedGraph.h | 156 CFG &getCFG() const { return *getLocationContext()->getCFG(); } in getCFG() function
|
| /llvm-project-15.0.7/clang/include/clang/Analysis/ |
| H A D | AnalysisDeclContext.h | 152 CFG *getCFG();
253 CFG *getCFG() const { return Ctx->getCFG(); } in getCFG() function
|
| H A D | ProgramPoint.h | 342 return &getLocationContext()->getCFG()->getExit(); in getBlock()
646 const CFG *CalleeCFG = CalleeCtx->getCFG(); in getEntry()
|
| /llvm-project-15.0.7/clang/lib/Analysis/ |
| H A D | AnalysisDeclContext.cpp | 213 CFG *AnalysisDeclContext::getCFG() { in getCFG() function in AnalysisDeclContext
255 if (CFG *c = getCFG()) { in getCFGStmtMap()
267 if (CFG *c = getCFG()) { in getCFGReachablityAnalysis()
276 getCFG()->dump(getASTContext().getLangOpts(), ShowColors); in dumpCFG()
288 addParentsForSyntheticStmts(getCFG(), *PM); in getParentMap()
|
| H A D | PostOrderCFGView.cpp | 34 const CFG *cfg = ctx.getCFG(); in create()
|
| H A D | LiveVariables.cpp | 510 const CFG *cfg = getImpl(impl).analysisContext.getCFG(); in runOnAllBlocks()
525 CFG *cfg = AC.getCFG(); in computeLiveness()
629 for (const CFGBlock *B : *analysisContext.getCFG()) { in dumpExprLiveness()
|
| H A D | Consumed.cpp | 1309 CFG *CFGraph = AC.getCFG(); in run()
1405 if (CurrBlock == &AC.getCFG()->getExit() && in run()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | CoreEngine.cpp | 93 const CFGBlock *Entry = &(L->getCFG()->getEntry()); in ExecuteWorkList()
102 L->getCFG()->getNumBlockIDs()); in ExecuteWorkList()
245 LC->getCFG()->getNumBlockIDs()); in HandleBlockEdge()
268 if (Blk == &(L.getLocationContext()->getCFG()->getExit())) { in HandleBlockEdge()
269 assert(L.getLocationContext()->getCFG()->getExit().empty() && in HandleBlockEdge()
|
| H A D | ExprEngineCallAndReturn.cpp | 392 const CFG *Cfg = ADC->getCFG(); in isSmall()
397 const CFG *Cfg = ADC->getCFG(); in isLarge()
402 const CFG *Cfg = ADC->getCFG(); in isHuge()
1000 const CFG *CalleeCFG = CalleeADC->getCFG(); in mayInlineDecl()
|
| /llvm-project-15.0.7/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | ControlFlowContext.h | 38 const CFG &getCFG() const { return *Cfg; } in getCFG() function
|
| /llvm-project-15.0.7/clang/include/clang/Analysis/Analyses/ |
| H A D | Dominators.h | 58 CFG *getCFG() { return cfg; } in getCFG() function
255 CFG *cfg = PostDomTree.getCFG();
|
| H A D | ThreadSafetyCommon.h | 154 CFGraph = AC.getCFG(); in init()
397 const til::SCFG *getCFG() const { return Scfg; } in getCFG() function
398 til::SCFG *getCFG() { return Scfg; } in getCFG() function
|
| /llvm-project-15.0.7/clang/lib/Sema/ |
| H A D | AnalysisBasedWarnings.cpp | 265 CFG *cfg = AC.getCFG(); in checkRecursiveFunction()
360 CFG *BodyCFG = AC.getCFG(); in checkThrowInNonThrowingFunc()
400 CFG *cfg = AC.getCFG(); in CheckFallThrough()
1265 CFG *Cfg = AC.getCFG(); in DiagnoseSwitchLabelsFallthrough()
2288 if (AC.getCFG()) { in IssueWarnings()
2301 if (!cra->isReachable(&AC.getCFG()->getEntry(), block)) { in IssueWarnings()
2373 if (CFG *cfg = AC.getCFG()) { in IssueWarnings()
2397 if (AC.getCFG()) { in IssueWarnings()
2436 AC.getCFG(); in IssueWarnings()
2442 if (CFG *cfg = AC.getCFG()) { in IssueWarnings()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Frontend/ |
| H A D | AnalysisConsumer.cpp | 673 CFG *DeclCFG = Mgr->getCFG(D); in HandleCode()
713 if (!Mgr->getCFG(D)) in RunPathSensitiveChecks()
|
| /llvm-project-15.0.7/clang/unittests/Analysis/FlowSensitive/ |
| H A D | TestingSupport.h | 174 for (const CFGBlock *Block : AnalysisData.CFCtx.getCFG()) {
|