| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | AnalysisManager.h | 113 CFG *getCFG(Decl const *D) { in getCFG() function
114 return AnaCtxMgr.getContext(D)->getCFG(); in getCFG()
|
| D | ExplodedGraph.h | 144 CFG &getCFG() const { return *getLocationContext()->getCFG(); } in getCFG() function
|
| /external/clang/lib/Analysis/ |
| D | AnalysisDeclContext.cpp | 187 CFG *AnalysisDeclContext::getCFG() { in getCFG() function in AnalysisDeclContext
229 if (CFG *c = getCFG()) { in getCFGStmtMap()
241 if (CFG *c = getCFG()) { in getCFGReachablityAnalysis()
250 getCFG()->dump(getASTContext().getLangOpts(), ShowColors); in dumpCFG()
262 addParentsForSyntheticStmts(getCFG(), *PM); in getParentMap()
|
| D | PostOrderCFGView.cpp | 32 const CFG *cfg = ctx.getCFG(); in create()
|
| D | LiveVariables.cpp | 474 const CFG *cfg = getImpl(impl).analysisContext.getCFG(); in runOnAllBlocks()
490 CFG *cfg = AC.getCFG(); in computeLiveness()
|
| D | Consumed.cpp | 1356 CFG *CFGraph = AC.getCFG(); in run()
1459 if (CurrBlock == &AC.getCFG()->getExit() && in run()
|
| D | ReachableCode.cpp | 640 CFG *cfg = AC.getCFG(); in FindUnreachableCode()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | DebugCheckers.cpp | 78 if (CFG *cfg = mgr.getCFG(D)) { in checkASTCodeBody()
103 if (CFG *cfg = mgr.getCFG(D)) { in checkASTCodeBody()
|
| D | AnalyzerStatsChecker.cpp | 70 C = LC->getCFG(); in checkEndAnalysis()
|
| D | MallocOverflowSecurityChecker.cpp | 229 CFG *cfg = mgr.getCFG(D); in checkASTCodeBody()
|
| D | DeadStoresChecker.cpp | 438 CFG &cfg = *mgr.getCFG(D); in checkASTCodeBody()
|
| /external/clang/include/clang/Analysis/ |
| D | AnalysisContext.h | 155 CFG *getCFG();
241 CFG *getCFG() const { return getAnalysisDeclContext()->getCFG(); } in getCFG() function
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | CoreEngine.cpp | 171 const CFGBlock *Entry = &(L->getCFG()->getEntry()); in ExecuteWorkList()
182 L->getCFG()->getNumBlockIDs()); in ExecuteWorkList()
293 LC->getCFG()->getNumBlockIDs()); in HandleBlockEdge()
296 if (Blk == &(L.getLocationContext()->getCFG()->getExit())) { in HandleBlockEdge()
298 assert (L.getLocationContext()->getCFG()->getExit().size() == 0 in HandleBlockEdge()
|
| D | ExprEngineCallAndReturn.cpp | 45 const CFG *CalleeCFG = calleeCtx->getCFG(); in processCallEnter()
376 const CFG *CalleeCFG = CalleeADC->getCFG(); in examineStackFrames()
784 const CFG *CalleeCFG = CalleeADC->getCFG(); in mayInlineDecl()
857 const CFG *CalleeCFG = CalleeADC->getCFG(); in shouldInlineCall()
|
| D | BugReporter.cpp | 2695 CFGBlock &Exit = ProgP.getLocationContext()->getCFG()->getExit(); in getStmt()
|
| /external/clang/include/clang/Analysis/Analyses/ |
| D | ThreadSafetyCommon.h | 136 CFGraph = AC.getCFG(); in init()
365 const til::SCFG *getCFG() const { return Scfg; } in getCFG() function
366 til::SCFG *getCFG() { return Scfg; } in getCFG() function
|
| D | Dominators.h | 84 cfg = AC.getCFG(); in buildDominatorTree()
|
| /external/clang/lib/Sema/ |
| D | AnalysisBasedWarnings.cpp | 245 CFG *cfg = AC.getCFG(); in checkRecursiveFunction()
286 CFG *cfg = AC.getCFG(); in CheckFallThrough()
1086 CFG *Cfg = AC.getCFG(); in DiagnoseSwitchLabelsFallthrough()
1931 if (AC.getCFG()) { in IssueWarnings()
1944 if (cra->isReachable(&AC.getCFG()->getEntry(), block)) in IssueWarnings()
2011 if (CFG *cfg = AC.getCFG()) { in IssueWarnings()
2057 AC.getCFG(); in IssueWarnings()
2063 if (CFG *cfg = AC.getCFG()) { in IssueWarnings()
|
| /external/clang/lib/StaticAnalyzer/Frontend/ |
| D | AnalysisConsumer.cpp | 611 CFG *DeclCFG = Mgr->getCFG(D); in HandleCode()
639 if (!Mgr->getCFG(D)) in ActionExprEngine()
|