44   static inline const Stmt *getUnreachableStmt(const CFGBlock *CB);
45   static void FindUnreachableEntryPoints(const CFGBlock *CB,
48   static bool isInvalidPath(const CFGBlock *CB, const ParentMap &PM);
49   static inline bool isEmptyCFGBlock(const CFGBlock *CB);
83       const CFGBlock *CB = BE->getBlock();  in checkEndAnalysis()  local
84       reachable.insert(CB->getBlockID());  in checkEndAnalysis()
101     const CFGBlock *CB = *I;  in checkEndAnalysis()  local
103     if (reachable.count(CB->getBlockID()))  in checkEndAnalysis()
107     if (isEmptyCFGBlock(CB))  in checkEndAnalysis()
111     if (!visited.count(CB->getBlockID()))  in checkEndAnalysis()
112       FindUnreachableEntryPoints(CB, reachable, visited);  in checkEndAnalysis()
115     if (reachable.count(CB->getBlockID()))  in checkEndAnalysis()
119     if (CB->size() > 0 && isInvalidPath(CB, *PM))  in checkEndAnalysis()
126     if (const Stmt *label = CB->getLabel())  in checkEndAnalysis()
133     if (!CB->empty()) {  in checkEndAnalysis()
135       for (CFGBlock::const_iterator ci = CB->begin(), ce = CB->end();  in checkEndAnalysis()
153     if (const Stmt *S = getUnreachableStmt(CB)) {  in checkEndAnalysis()
174 void UnreachableCodeChecker::FindUnreachableEntryPoints(const CFGBlock *CB,  in FindUnreachableEntryPoints()  argument
177   visited.insert(CB->getBlockID());  in FindUnreachableEntryPoints()
179   for (CFGBlock::const_pred_iterator I = CB->pred_begin(), E = CB->pred_end();  in FindUnreachableEntryPoints()
187       reachable.insert(CB->getBlockID());  in FindUnreachableEntryPoints()
196 const Stmt *UnreachableCodeChecker::getUnreachableStmt(const CFGBlock *CB) {  in getUnreachableStmt()  argument
197   for (CFGBlock::const_iterator I = CB->begin(), E = CB->end(); I != E; ++I) {  in getUnreachableStmt()
201   if (const Stmt *S = CB->getTerminator())  in getUnreachableStmt()
212 bool UnreachableCodeChecker::isInvalidPath(const CFGBlock *CB,  in isInvalidPath()  argument
217   if (CB->pred_size() > 1)  in isInvalidPath()
221   if (CB->pred_size() == 0)  in isInvalidPath()
224   const CFGBlock *pred = *CB->pred_begin();  in isInvalidPath()
247 bool UnreachableCodeChecker::isEmptyCFGBlock(const CFGBlock *CB) {  in isEmptyCFGBlock()  argument
248   return CB->getLabel() == nullptr // No labels  in isEmptyCFGBlock()
249       && CB->size() == 0           // No statements  in isEmptyCFGBlock()
250       && !CB->getTerminator();     // No terminator  in isEmptyCFGBlock()