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.cpp733 til::SExpr *C = translate(B->getTerminatorCondition(true), CallCtx.get()); in exitCFGBlockBody()
DThreadSafety.cpp1743 const Stmt *Cond = PredBlock->getTerminatorCondition(); in getEdgeLockset()
DCFG.cpp4379 Stmt *CFGBlock::getTerminatorCondition(bool StripParens) { in getTerminatorCondition() function in CFGBlock
/external/clang/include/clang/Analysis/
DCFG.h627 Stmt *getTerminatorCondition(bool StripParens = true);
629 const Stmt *getTerminatorCondition(bool StripParens = true) const {
630 return const_cast<CFGBlock*>(this)->getTerminatorCondition(StripParens);
/external/clang/lib/StaticAnalyzer/Core/
DBugReporter.cpp1533 BSrc->getTerminatorCondition(), in GenerateExtensivePathDiagnostic()
1623 static const Stmt *getTerminatorCondition(const CFGBlock *B) { in getTerminatorCondition() function
1624 const Stmt *S = B->getTerminatorCondition(); in getTerminatorCondition()
1827 const Stmt *TermCond = getTerminatorCondition(BSrc); in GenerateAlternateExtensivePathDiagnostic()
DPathDiagnostic.cpp668 S = BSrc->getTerminatorCondition(); in create()