Searched refs:LoopStmt (Results 1 – 7 of 7) sorted by relevance
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | LoopUnrolling.cpp | 31 const Stmt *LoopStmt; member
35 : K(InK), LoopStmt(S), LCtx(L), maxStep(N) {} in LoopState()
48 const Stmt *getLoopStmt() const { return LoopStmt; } in getLoopStmt()
51 return K == X.K && LoopStmt == X.LoopStmt; in operator ==()
55 ID.AddPointer(LoopStmt); in Profile()
78 if (!LS.isEmpty() && LS.getHead().getLoopStmt() == LoopStmt) in processLoopEnd()
201 if (!isLoopStmt(LoopStmt)) in shouldCompletelyUnroll()
206 auto Matches = match(forLoopMatcher(), *LoopStmt, ASTCtx); in shouldCompletelyUnroll()
230 bool madeNewBranch(ExplodedNode *N, const Stmt *LoopStmt) { in madeNewBranch() argument
240 if (S == LoopStmt) in madeNewBranch()
[all …]
|
| H A D | LoopWidening.cpp | 29 static const Expr *getLoopCondition(const Stmt *LoopStmt) { in getLoopCondition() argument
30 switch (LoopStmt->getStmtClass()) { in getLoopCondition()
34 return cast<ForStmt>(LoopStmt)->getCond(); in getLoopCondition()
36 return cast<WhileStmt>(LoopStmt)->getCond(); in getLoopCondition()
38 return cast<DoStmt>(LoopStmt)->getCond(); in getLoopCondition()
47 unsigned BlockCount, const Stmt *LoopStmt) { in getWidenedLoopState() argument
49 assert(isa<ForStmt>(LoopStmt) || isa<WhileStmt>(LoopStmt) || in getWidenedLoopState()
50 isa<DoStmt>(LoopStmt)); in getWidenedLoopState()
94 return PrevState->invalidateRegions(Regions, getLoopCondition(LoopStmt), in getWidenedLoopState()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | LoopUnrolling.h | 40 ProgramStateRef updateLoopStack(const Stmt *LoopStmt, ASTContext &ASTCtx,
45 ProgramStateRef processLoopEnd(const Stmt *LoopStmt, ProgramStateRef State);
|
| H A D | LoopWidening.h | 31 unsigned BlockCount, const Stmt *LoopStmt);
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/Analysis/ |
| H A D | ProgramPoint.h | 717 LoopExit(const Stmt *LoopStmt, const LocationContext *LC) in LoopExit() argument
718 : ProgramPoint(LoopStmt, nullptr, LoopExitKind, LC) {} in LoopExit()
|
| H A D | CFG.h | 936 void appendLoopExit(const Stmt *LoopStmt, BumpVectorContext &C) { in appendLoopExit() argument
937 Elements.push_back(CFGLoopExit(LoopStmt), C); in appendLoopExit()
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/Analysis/ |
| H A D | CFG.cpp | 721 void addLoopExit(const Stmt *LoopStmt);
836 void appendLoopExit(CFGBlock *B, const Stmt *LoopStmt) { in appendLoopExit() argument
837 B->appendLoopExit(LoopStmt, cfg->getBumpVectorContext()); in appendLoopExit()
1599 void CFGBuilder::addLoopExit(const Stmt *LoopStmt){ in addLoopExit() argument
1603 appendLoopExit(Block, LoopStmt); in addLoopExit()
5190 const Stmt *LoopStmt = LE->getLoopStmt(); in print_elem() local
5191 OS << LoopStmt->getStmtClassName() << " (LoopExit)\n"; in print_elem()
|