Home
last modified time | relevance | path

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

/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DUnreachableCodeChecker.cpp230 const Stmt *cond = pred->getTerminatorCondition(); in isInvalidPath()
/freebsd-14.2/contrib/llvm-project/clang/lib/Analysis/
H A DReachableCode.cpp312 const Stmt *Cond = B->getTerminatorCondition(/* stripParens */ false); in shouldTreatSuccessorsAsReachable()
666 PredBlock->getTerminatorCondition(/* strip parens */ false); in reportDeadCode()
H A DThreadSafetyCommon.cpp960 til::SExpr *C = translate(B->getTerminatorCondition(true), nullptr); in exitCFGBlockBody()
H A DPathDiagnostic.cpp674 S = BSrc->getTerminatorCondition(); in create()
H A DThreadSafety.cpp1477 const Stmt *Cond = PredBlock->getTerminatorCondition(); in getEdgeLockset()
H A DCFG.cpp6266 Stmt *CFGBlock::getTerminatorCondition(bool StripParens) { in getTerminatorCondition() function in CFGBlock
/freebsd-14.2/contrib/llvm-project/clang/include/clang/Analysis/
H A DCFG.h1089 Stmt *getTerminatorCondition(bool StripParens = true);
1091 const Stmt *getTerminatorCondition(bool StripParens = true) const {
1092 return const_cast<CFGBlock*>(this)->getTerminatorCondition(StripParens);
/freebsd-14.2/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DTypeErasedDataflowAnalysis.cpp489 dyn_cast_or_null<Expr>(Block.getTerminatorCondition())) { in transferCFGBlock()
/freebsd-14.2/contrib/llvm-project/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.cpp2059 if (const Stmt *ElseCond = Else->getTerminatorCondition()) in isAssertlikeBlock()