Home
last modified time | relevance | path

Searched refs:getTerminatorCondition (Results 1 – 8 of 8) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
DUnreachableCodeChecker.cpp229 const Stmt *cond = pred->getTerminatorCondition(); in isInvalidPath()
/external/clang/lib/Analysis/
DReachableCode.cpp263 const Stmt *Cond = B->getTerminatorCondition(/* stripParens */ false); in shouldTreatSuccessorsAsReachable()
613 PredBlock->getTerminatorCondition(/* strip parens */ false); in reportDeadCode()
DThreadSafetyCommon.cpp926 til::SExpr *C = translate(B->getTerminatorCondition(true), nullptr); in exitCFGBlockBody()
DThreadSafety.cpp1399 const Stmt *Cond = PredBlock->getTerminatorCondition(); in getEdgeLockset()
DCFG.cpp4459 Stmt *CFGBlock::getTerminatorCondition(bool StripParens) { in getTerminatorCondition() function in CFGBlock
/external/clang/include/clang/Analysis/
DCFG.h626 Stmt *getTerminatorCondition(bool StripParens = true);
628 const Stmt *getTerminatorCondition(bool StripParens = true) const {
629 return const_cast<CFGBlock*>(this)->getTerminatorCondition(StripParens);
/external/clang/lib/StaticAnalyzer/Core/
DBugReporter.cpp1526 BSrc->getTerminatorCondition(), in GenerateExtensivePathDiagnostic()
1614 static const Stmt *getTerminatorCondition(const CFGBlock *B) { in getTerminatorCondition() function
1615 const Stmt *S = B->getTerminatorCondition(); in getTerminatorCondition()
1816 const Stmt *TermCond = getTerminatorCondition(BSrc); in GenerateAlternateExtensivePathDiagnostic()
DPathDiagnostic.cpp671 S = BSrc->getTerminatorCondition(); in create()