Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DUnreachableCodeChecker.cpp235 const Stmt *cond = pred->getTerminatorCondition(); in isInvalidPath()
/llvm-project-15.0.7/clang/lib/Analysis/
H A DReachableCode.cpp304 const Stmt *Cond = B->getTerminatorCondition(/* stripParens */ false); in shouldTreatSuccessorsAsReachable()
653 PredBlock->getTerminatorCondition(/* strip parens */ false); in reportDeadCode()
H A DThreadSafetyCommon.cpp940 til::SExpr *C = translate(B->getTerminatorCondition(true), nullptr); in exitCFGBlockBody()
H A DPathDiagnostic.cpp677 S = BSrc->getTerminatorCondition(); in create()
H A DThreadSafety.cpp1463 const Stmt *Cond = PredBlock->getTerminatorCondition(); in getEdgeLockset()
H A DCFG.cpp6181 Stmt *CFGBlock::getTerminatorCondition(bool StripParens) { in getTerminatorCondition() function in CFGBlock
/llvm-project-15.0.7/clang/include/clang/Analysis/
H A DCFG.h1062 Stmt *getTerminatorCondition(bool StripParens = true);
1064 const Stmt *getTerminatorCondition(bool StripParens = true) const {
1065 return const_cast<CFGBlock*>(this)->getTerminatorCondition(StripParens);
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DBugReporter.cpp1108 static const Stmt *getTerminatorCondition(const CFGBlock *B) { in getTerminatorCondition() function
1109 const Stmt *S = B->getTerminatorCondition(); in getTerminatorCondition()
1285 const Stmt *TermCond = getTerminatorCondition(BSrc); in generatePathDiagnosticsForNode()
H A DBugReporterVisitors.cpp1883 if (const Stmt *ElseCond = Else->getTerminatorCondition()) in isAssertlikeBlock()