| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | AnalysisManager.h | 106 CFG *getCFG(Decl const *D) { in getCFG() function
107 return AnaCtxMgr.getContext(D)->getCFG(); in getCFG()
|
| D | ExplodedGraph.h | 146 CFG &getCFG() const { return *getLocationContext()->getCFG(); } in getCFG() function
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | DebugCheckers.cpp | 76 if (CFG *cfg = mgr.getCFG(D)) { in checkASTCodeBody()
96 if (CFG *cfg = mgr.getCFG(D)) { in checkASTCodeBody()
|
| D | DeadStoresChecker.cpp | 394 CFG& getCFG() { return *cfg; } in getCFG() function in __anon5b4b46d90311::FindEscaped
424 CFG &cfg = *mgr.getCFG(D); in checkASTCodeBody()
428 FS.getCFG().VisitBlockStmts(FS); in checkASTCodeBody()
|
| D | AnalyzerStatsChecker.cpp | 70 C = LC->getCFG(); in checkEndAnalysis()
|
| D | MallocOverflowSecurityChecker.cpp | 228 CFG *cfg = mgr.getCFG(D); in checkASTCodeBody()
|
| D | IdempotentOperationChecker.cpp | 609 if (!CRA->isReachable(&AC->getCFG()->getEntry(), CB)) in pathWasCompletelyAnalyzed()
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | CoreEngine.cpp | 170 const CFGBlock *Entry = &(L->getCFG()->getEntry()); in ExecuteWorkList()
181 L->getCFG()->getNumBlockIDs()); in ExecuteWorkList()
292 LC->getCFG()->getNumBlockIDs()); in HandleBlockEdge()
295 if (Blk == &(L.getLocationContext()->getCFG()->getExit())) { in HandleBlockEdge()
297 assert (L.getLocationContext()->getCFG()->getExit().size() == 0 in HandleBlockEdge()
|
| D | ExprEngineCallAndReturn.cpp | 38 const CFG *CalleeCFG = calleeCtx->getCFG(); in processCallEnter()
278 const CFG *CalleeCFG = CalleeADC->getCFG(); in shouldInlineDecl()
|
| D | BugReporter.cpp | 1504 CFGBlock &Exit = ProgP.getLocationContext()->getCFG()->getExit(); in getStmt()
|
| D | ExprEngine.cpp | 506 if (S != currStmt && Pred->getLocationContext()->getCFG()->isBlkExpr(S)) in Visit()
|
| /external/clang/lib/Analysis/ |
| D | AnalysisDeclContext.cpp | 130 CFG *AnalysisDeclContext::getCFG() { in getCFG() function in AnalysisDeclContext
161 if (CFG *c = getCFG()) { in getCFGStmtMap()
173 if (CFG *c = getCFG()) { in getCFGReachablityAnalysis()
182 getCFG()->dump(getASTContext().getLangOpts(), ShowColors); in dumpCFG()
|
| D | PostOrderCFGView.cpp | 32 const CFG *cfg = ctx.getCFG(); in create()
|
| D | LiveVariables.cpp | 483 const CFG *cfg = getImpl(impl).analysisContext.getCFG(); in runOnAllBlocks()
499 CFG *cfg = AC.getCFG(); in computeLiveness()
|
| D | ReachableCode.cpp | 293 CFG *cfg = AC.getCFG(); in FindUnreachableCode()
|
| D | ThreadSafety.cpp | 2142 CFG *CFGraph = AC.getCFG(); in runAnalysis()
|
| /external/clang/include/clang/Analysis/ |
| D | AnalysisContext.h | 134 CFG *getCFG();
220 CFG *getCFG() const { return getAnalysisDeclContext()->getCFG(); } in getCFG() function
|
| /external/clang/lib/Sema/ |
| D | AnalysisBasedWarnings.cpp | 97 CFG *cfg = AC.getCFG(); in CheckFallThrough()
827 CFG *Cfg = AC.getCFG(); in DiagnoseSwitchLabelsFallthrough()
1261 if (AC.getCFG()) { in IssueWarnings()
1279 if (cra->isReachable(&AC.getCFG()->getEntry(), block)) in IssueWarnings()
1336 if (CFG *cfg = AC.getCFG()) { in IssueWarnings()
1370 if (CFG *cfg = AC.getCFG()) { in IssueWarnings()
|
| /external/clang/include/clang/Analysis/Analyses/ |
| D | Dominators.h | 81 cfg = AC.getCFG(); in buildDominatorTree()
|
| /external/clang/include/clang/Analysis/Visitors/ |
| D | CFGStmtVisitor.h | 52 !static_cast<ImplClass*>(this)->getCFG().isBlkExpr(S)) in Visit()
|
| /external/clang/lib/StaticAnalyzer/Frontend/ |
| D | AnalysisConsumer.cpp | 542 CFG *DeclCFG = Mgr->getCFG(D); in HandleCode()
580 if (!Mgr->getCFG(D)) in ActionExprEngine()
|
| /external/clang/include/clang/Analysis/Support/ |
| D | BlkExprDeclBitVector.h | 187 CFG& getCFG() { assert(cfg && "CFG should not be NULL."); return *cfg; } in getCFG() function
|