| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | UnreachableCodeChecker.cpp | 207 if (const Stmt *S = CB->getTerminatorStmt()) in getUnreachableStmt()
253 && !CB->getTerminatorStmt(); // No terminator in isEmptyCFGBlock()
|
| /llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/ |
| H A D | ControlFlowContext.cpp | 41 if (const Stmt *TerminatorStmt = Block->getTerminatorStmt()) in buildStmtToBasicBlockMap()
|
| H A D | TypeErasedDataflowAnalysis.cpp | 196 auto StmtBlock = CFCtx.getStmtToBlock().find(Block.getTerminatorStmt()); in computeBlockInputState()
219 if (const Stmt *PredTerminatorStmt = Pred->getTerminatorStmt()) { in computeBlockInputState()
|
| /llvm-project-15.0.7/clang/lib/Analysis/ |
| H A D | CFGStmtMap.cpp | 73 if (Stmt *Term = B->getTerminatorStmt()) in Accumulate()
|
| H A D | ReachableCode.cpp | 52 if (const Stmt *Term = B->getTerminatorStmt()) { in isTrivialDoWhile()
118 } else if (!Current->getTerminatorStmt() && Current->succ_size() == 1) { in isDeadReturn()
295 if (const Stmt *Term = B->getTerminatorStmt()) { in shouldTreatSuccessorsAsReachable()
|
| H A D | ProgramPoint.cpp | 136 const Stmt *T = E.getSrc()->getTerminatorStmt(); in printJson()
|
| H A D | CalledOnceCheck.cpp | 513 if (const Stmt *Terminator = Conditional->getTerminatorStmt()) { in clarify()
1337 if (const Expr *Condition = getCondition(BB->getTerminatorStmt())) { in joinSuccessors()
|
| H A D | ThreadSafety.cpp | 817 if (const Stmt *S = CurrBlock->getTerminatorStmt()) { in findBlockLocations()
1465 if (!Cond || isa<ConditionalOperator>(PredBlock->getTerminatorStmt())) in getEdgeLockset()
2387 isa_and_nonnull<ContinueStmt>((*PI)->getTerminatorStmt()) in runAnalysis()
|
| H A D | LiveVariables.cpp | 485 if (const Stmt *term = block->getTerminatorStmt()) in runOnBlock()
|
| H A D | UninitializedValues.cpp | 636 const Stmt *Term = Block->getTerminatorStmt(); in getUninitUse()
|
| H A D | CFG.cpp | 2075 Blk->getTerminatorStmt()); in prependAutomaticObjDtorsWithTerminator()
2092 Blk->insertLifetimeEnds(InsertPos, *I, Blk->getTerminatorStmt()); in prependAutomaticObjLifetimeWithTerminator()
2112 Blk->insertScopeEnd(InsertPos, *PlaceToInsert, Blk->getTerminatorStmt()); in prependAutomaticObjScopeEndWithTerminator()
5319 dyn_cast_or_null<SwitchStmt>(From->getTerminatorStmt())) { in FilterEdge()
6182 Stmt *Terminator = getTerminatorStmt(); in getTerminatorCondition()
|
| H A D | Consumed.cpp | 79 if (const Stmt *StmtNode = Block->getTerminatorStmt()) { in getLastStmtLoc()
|
| H A D | PathDiagnostic.cpp | 725 BE->getBlock()->getTerminatorStmt()->getBeginLoc(), SMng); in create()
|
| /llvm-project-15.0.7/clang/lib/Sema/ |
| H A D | AnalysisBasedWarnings.cpp | 417 const Stmt *Term = B->getTerminatorStmt(); in CheckFallThrough()
466 const Stmt *Term = B.getTerminatorStmt(); in CheckFallThrough()
1102 const Stmt *Term = P->getTerminatorStmt(); in checkFallThroughIntoBlock()
1198 if (const Stmt *Term = B.getTerminatorStmt()) in getLastStmt()
1296 const Stmt *Term = B->getTerminatorStmt(); in DiagnoseSwitchLabelsFallthrough()
1300 Term = B->getTerminatorStmt(); in DiagnoseSwitchLabelsFallthrough()
|
| /llvm-project-15.0.7/clang/unittests/Analysis/ |
| H A D | CFGTest.cpp | 49 EXPECT_TRUE(isa<DeclStmt>(Block->getTerminatorStmt())); in TEST()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | LoopUnrolling.cpp | 288 S = BE->getBlock()->getTerminatorStmt(); in madeNewBranch()
|
| H A D | ExplodedGraph.cpp | 336 return BE->getSrc()->getTerminatorStmt(); in getStmtForDiagnostics()
|
| H A D | BugReporterVisitors.cpp | 1778 CurTerminatorStmt = Map->getBlock(CurStmt)->getTerminatorStmt(); in VisitNode()
1917 if (llvm::isa_and_nonnull<CXXForRangeStmt>(NB->getTerminatorStmt())) in VisitNode()
1988 if (const Stmt *term = srcBlk->getTerminatorStmt()) { in peelOffOuterExpr()
2593 if (const Stmt *Term = SrcBlock->getTerminatorStmt()) { in VisitNodeImpl()
|
| H A D | CoreEngine.cpp | 326 if (const Stmt *Term = B->getTerminatorStmt()) { in HandleBlockExit()
|
| H A D | BugReporter.cpp | 866 const Stmt *T = Src->getTerminatorStmt(); in generateMinimalDiagForBlockEdge()
1281 if (const Stmt *Term = BSrc->getTerminatorStmt()) { in generatePathDiagnosticsForNode()
|
| H A D | ExprEngine.cpp | 2154 const Stmt *Term = nodeBuilder.getContext().getBlock()->getTerminatorStmt(); in processCFGBlockEntrance()
2175 const Stmt *Term = nodeBuilder.getContext().getBlock()->getTerminatorStmt(); in processCFGBlockEntrance()
|
| /llvm-project-15.0.7/clang/include/clang/Analysis/ |
| H A D | CFG.h | 1051 Stmt *getTerminatorStmt() { return Terminator.getStmt(); } in getTerminatorStmt() function
1052 const Stmt *getTerminatorStmt() const { return Terminator.getStmt(); } in getTerminatorStmt() function
|
| H A D | ProgramPoint.h | 259 return getBlock()->getTerminatorStmt(); in getTerminator()
|