Home
last modified time | relevance | path

Searched refs:CFGReverseBlockReachabilityAnalysis (Results 1 – 6 of 6) sorted by relevance

/external/clang/lib/Analysis/
DCFGReachabilityAnalysis.cpp22 CFGReverseBlockReachabilityAnalysis::CFGReverseBlockReachabilityAnalysis(const CFG &cfg) in CFGReverseBlockReachabilityAnalysis() function in CFGReverseBlockReachabilityAnalysis
25 bool CFGReverseBlockReachabilityAnalysis::isReachable(const CFGBlock *Src, in isReachable()
42 void CFGReverseBlockReachabilityAnalysis::mapReachability(const CFGBlock *Dst) { in mapReachability()
DAnalysisDeclContext.cpp218 CFGReverseBlockReachabilityAnalysis *AnalysisDeclContext::getCFGReachablityAnalysis() { in getCFGReachablityAnalysis()
223 CFA.reset(new CFGReverseBlockReachabilityAnalysis(*c)); in getCFGReachablityAnalysis()
/external/clang/include/clang/Analysis/Analyses/
DCFGReachabilityAnalysis.h32 class CFGReverseBlockReachabilityAnalysis {
38 CFGReverseBlockReachabilityAnalysis(const CFG &cfg);
/external/clang/include/clang/Analysis/
DAnalysisContext.h32 class CFGReverseBlockReachabilityAnalysis; variable
86 OwningPtr<CFGReverseBlockReachabilityAnalysis> CFA;
155 CFGReverseBlockReachabilityAnalysis *getCFGReachablityAnalysis();
/external/clang/lib/StaticAnalyzer/Checkers/
DIdempotentOperationChecker.cpp543 CFGReverseBlockReachabilityAnalysis *CRA = AC->getCFGReachablityAnalysis(); in pathWasCompletelyAnalyzed()
577 CFGReverseBlockReachabilityAnalysis &CRA; in pathWasCompletelyAnalyzed()
580 CFGReverseBlockReachabilityAnalysis &cra) in pathWasCompletelyAnalyzed()
/external/clang/lib/Sema/
DAnalysisBasedWarnings.cpp1546 CFGReverseBlockReachabilityAnalysis *cra = in IssueWarnings()