Home
last modified time | relevance | path

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

/src/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DAdornedCFG.cpp52 if (const Stmt *TerminatorCond = Block->getTerminatorCondition()) in buildStmtToBasicBlockMap()
122 if (const Stmt *TerminatorCond = Block->getTerminatorCondition()) in buildContainsExprConsumedInDifferentBlock()
H A DTypeErasedDataflowAnalysis.cpp205 static const Expr *getTerminatorCondition(const Stmt *TerminatorStmt) { in getTerminatorCondition() function
282 const Expr *Cond = getTerminatorCondition(Pred->getTerminatorStmt()); in computeBlockInputState()
451 dyn_cast_or_null<Expr>(Block.getTerminatorCondition())) {
/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DUnreachableCodeChecker.cpp232 const Stmt *cond = pred->getTerminatorCondition(); in isInvalidPath()
/src/contrib/llvm-project/clang/lib/Analysis/
H A DReachableCode.cpp313 const Stmt *Cond = B->getTerminatorCondition(/* stripParens */ false); in shouldTreatSuccessorsAsReachable()
709 PredBlock->getTerminatorCondition(/* strip parens */ false); in reportDeadCode()
H A DThreadSafetyCommon.cpp960 til::SExpr *C = translate(B->getTerminatorCondition(true), nullptr); in exitCFGBlockBody()
H A DPathDiagnostic.cpp677 S = BSrc->getTerminatorCondition(); in create()
H A DThreadSafety.cpp1477 const Stmt *Cond = PredBlock->getTerminatorCondition(); in getEdgeLockset()
H A DCFG.cpp6263 Stmt *CFGBlock::getTerminatorCondition(bool StripParens) { in getTerminatorCondition() function in CFGBlock
/src/contrib/llvm-project/clang/include/clang/Analysis/
H A DCFG.h1092 Stmt *getTerminatorCondition(bool StripParens = true);
1094 const Stmt *getTerminatorCondition(bool StripParens = true) const {
1095 return const_cast<CFGBlock*>(this)->getTerminatorCondition(StripParens);
/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DBugReporter.cpp1118 static const Stmt *getTerminatorCondition(const CFGBlock *B) { in getTerminatorCondition() function
1119 const Stmt *S = B->getTerminatorCondition(); in getTerminatorCondition()
1295 const Stmt *TermCond = getTerminatorCondition(BSrc); in generatePathDiagnosticsForNode()
H A DBugReporterVisitors.cpp2063 if (const Stmt *ElseCond = Else->getTerminatorCondition()) in isAssertlikeBlock()