Searched refs:UnreachableCodeChecker (Results 1 – 3 of 3) sorted by relevance
32 class UnreachableCodeChecker : public Checker<check::EndAnalysis> { class48 void UnreachableCodeChecker::checkEndAnalysis(ExplodedGraph &G, in checkEndAnalysis()178 void UnreachableCodeChecker::FindUnreachableEntryPoints(const CFGBlock *CB, in FindUnreachableEntryPoints()200 const Stmt *UnreachableCodeChecker::getUnreachableStmt(const CFGBlock *CB) { in getUnreachableStmt()218 bool UnreachableCodeChecker::isInvalidPath(const CFGBlock *CB, in isInvalidPath()250 bool UnreachableCodeChecker::isEmptyCFGBlock(const CFGBlock *CB) { in isEmptyCFGBlock()257 mgr.registerChecker<UnreachableCodeChecker>(); in registerUnreachableCodeChecker()
644 SRCS_FUL+= StaticAnalyzer/Checkers/UnreachableCodeChecker.cpp
813 def UnreachableCodeChecker : Checker<"UnreachableCode">,