Home
last modified time | relevance | path

Searched refs:getCFG (Results 1 – 20 of 20) sorted by relevance

/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DAnalysisManager.h110 CFG *getCFG(Decl const *D) { in getCFG() function
111 return AnaCtxMgr.getContext(D)->getCFG(); in getCFG()
H A DExplodedGraph.h155 CFG &getCFG() const { return *getLocationContext()->getCFG(); } in getCFG() function
/freebsd-12.1/contrib/llvm/tools/clang/lib/Analysis/
H A DAnalysisDeclContext.cpp212 CFG *AnalysisDeclContext::getCFG() { in getCFG() function in AnalysisDeclContext
254 if (CFG *c = getCFG()) { in getCFGStmtMap()
266 if (CFG *c = getCFG()) { in getCFGReachablityAnalysis()
275 getCFG()->dump(getASTContext().getLangOpts(), ShowColors); in dumpCFG()
287 addParentsForSyntheticStmts(getCFG(), *PM); in getParentMap()
H A DPostOrderCFGView.cpp34 const CFG *cfg = ctx.getCFG(); in create()
H A DLiveVariables.cpp530 const CFG *cfg = getImpl(impl).analysisContext.getCFG(); in runOnAllBlocks()
546 CFG *cfg = AC.getCFG(); in computeLiveness()
671 for (auto I : *analysisContext.getCFG()) { in dumpStmtLiveness()
H A DConsumed.cpp1310 CFG *CFGraph = AC.getCFG(); in run()
1406 if (CurrBlock == &AC.getCFG()->getExit() && in run()
H A DReachableCode.cpp682 CFG *cfg = AC.getCFG(); in FindUnreachableCode()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DCoreEngine.cpp86 const CFGBlock *Entry = &(L->getCFG()->getEntry()); in ExecuteWorkList()
95 L->getCFG()->getNumBlockIDs()); in ExecuteWorkList()
218 LC->getCFG()->getNumBlockIDs()); in HandleBlockEdge()
221 if (Blk == &(L.getLocationContext()->getCFG()->getExit())) { in HandleBlockEdge()
222 assert(L.getLocationContext()->getCFG()->getExit().empty() && in HandleBlockEdge()
H A DExprEngineCallAndReturn.cpp388 const CFG *CalleeCFG = CalleeADC->getCFG(); in examineStackFrames()
877 const CFG *CalleeCFG = CalleeADC->getCFG(); in mayInlineDecl()
943 const CFG *CalleeCFG = CalleeADC->getCFG(); in shouldInlineCall()
H A DBugReporter.cpp2186 CFGBlock &Exit = ProgP.getLocationContext()->getCFG()->getExit(); in getStmt()
2795 const CFG &Cfg = N->getCFG(); in isInevitablySinking()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DDebugCheckers.cpp99 if (CFG *cfg = mgr.getCFG(D)) { in checkASTCodeBody()
124 if (CFG *cfg = mgr.getCFG(D)) { in checkASTCodeBody()
H A DAnalyzerStatsChecker.cpp70 C = LC->getCFG(); in checkEndAnalysis()
H A DMallocOverflowSecurityChecker.cpp300 CFG *cfg = mgr.getCFG(D); in checkASTCodeBody()
H A DDeadStoresChecker.cpp467 CFG &cfg = *mgr.getCFG(D); in checkASTCodeBody()
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/Analysis/
H A DAnalysisDeclContext.h159 CFG *getCFG();
255 CFG *getCFG() const { return getAnalysisDeclContext()->getCFG(); } in getCFG() function
H A DProgramPoint.h345 return &getLocationContext()->getCFG()->getExit(); in getBlock()
649 const CFG *CalleeCFG = CalleeCtx->getCFG(); in getEntry()
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/Analysis/Analyses/
H A DThreadSafetyCommon.h154 CFGraph = AC.getCFG(); in init()
389 const til::SCFG *getCFG() const { return Scfg; } in getCFG() function
390 til::SCFG *getCFG() { return Scfg; } in getCFG() function
H A DDominators.h87 cfg = AC.getCFG(); in buildDominatorTree()
/freebsd-12.1/contrib/llvm/tools/clang/lib/Sema/
H A DAnalysisBasedWarnings.cpp250 CFG *cfg = AC.getCFG(); in checkRecursiveFunction()
341 CFG *BodyCFG = AC.getCFG(); in checkThrowInNonThrowingFunc()
381 CFG *cfg = AC.getCFG(); in CheckFallThrough()
1249 CFG *Cfg = AC.getCFG(); in DiagnoseSwitchLabelsFallthrough()
2089 if (AC.getCFG()) { in IssueWarnings()
2102 if (cra->isReachable(&AC.getCFG()->getEntry(), block)) in IssueWarnings()
2171 if (CFG *cfg = AC.getCFG()) { in IssueWarnings()
2224 AC.getCFG(); in IssueWarnings()
2230 if (CFG *cfg = AC.getCFG()) { in IssueWarnings()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Frontend/
H A DAnalysisConsumer.cpp707 CFG *DeclCFG = Mgr->getCFG(D); in HandleCode()
731 if (!Mgr->getCFG(D)) in RunPathSensitiveChecks()