| /external/clang/lib/StaticAnalyzer/Core/ |
| D | LoopWidening.cpp | 23 static const Expr *getLoopCondition(const Stmt *LoopStmt) { in getLoopCondition() argument
24 switch (LoopStmt->getStmtClass()) { in getLoopCondition()
28 return cast<ForStmt>(LoopStmt)->getCond(); in getLoopCondition()
30 return cast<WhileStmt>(LoopStmt)->getCond(); in getLoopCondition()
32 return cast<DoStmt>(LoopStmt)->getCond(); in getLoopCondition()
41 unsigned BlockCount, const Stmt *LoopStmt) { in getWidenedLoopState() argument
43 assert(isa<ForStmt>(LoopStmt) || isa<WhileStmt>(LoopStmt) || in getWidenedLoopState()
44 isa<DoStmt>(LoopStmt)); in getWidenedLoopState()
62 return PrevState->invalidateRegions(Regions, getLoopCondition(LoopStmt), in getWidenedLoopState()
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| D | LoopUnrolling.cpp | 30 const Stmt *LoopStmt; member
34 : K(InK), LoopStmt(S), LCtx(L), maxStep(N) {} in LoopState()
47 const Stmt *getLoopStmt() const { return LoopStmt; } in getLoopStmt()
50 return K == X.K && LoopStmt == X.LoopStmt; in operator ==()
54 ID.AddPointer(LoopStmt); in Profile()
75 ProgramStateRef processLoopEnd(const Stmt *LoopStmt, ProgramStateRef State) { in processLoopEnd() argument
77 if (!LS.isEmpty() && LS.getHead().getLoopStmt() == LoopStmt) in processLoopEnd()
209 bool shouldCompletelyUnroll(const Stmt *LoopStmt, ASTContext &ASTCtx, in shouldCompletelyUnroll() argument
212 if (!isLoopStmt(LoopStmt)) in shouldCompletelyUnroll()
217 auto Matches = match(forLoopMatcher(), *LoopStmt, ASTCtx); in shouldCompletelyUnroll()
[all …]
|
| D | LoopWidening.cpp | 28 static const Expr *getLoopCondition(const Stmt *LoopStmt) { in getLoopCondition() argument
29 switch (LoopStmt->getStmtClass()) { in getLoopCondition()
33 return cast<ForStmt>(LoopStmt)->getCond(); in getLoopCondition()
35 return cast<WhileStmt>(LoopStmt)->getCond(); in getLoopCondition()
37 return cast<DoStmt>(LoopStmt)->getCond(); in getLoopCondition()
46 unsigned BlockCount, const Stmt *LoopStmt) { in getWidenedLoopState() argument
48 assert(isa<ForStmt>(LoopStmt) || isa<WhileStmt>(LoopStmt) || in getWidenedLoopState()
49 isa<DoStmt>(LoopStmt)); in getWidenedLoopState()
95 return PrevState->invalidateRegions(Regions, getLoopCondition(LoopStmt), in getWidenedLoopState()
|
| /external/llvm-project/clang-tools-extra/clang-tidy/bugprone/ |
| D | InfiniteLoopCheck.cpp | 30 static bool isChanged(const Stmt *LoopStmt, const VarDecl *Var, in isChanged() argument
32 if (const auto *ForLoop = dyn_cast<ForStmt>(LoopStmt)) in isChanged()
42 return ExprMutationAnalyzer(*LoopStmt, *Context).isMutated(Var); in isChanged()
47 const Stmt *LoopStmt, const Stmt *Cond, in isVarThatIsPossiblyChanged() argument
61 isChanged(LoopStmt, Var, Context); in isVarThatIsPossiblyChanged()
74 const Stmt *LoopStmt, const Stmt *Cond, in isAtLeastOneCondVarChanged() argument
76 if (isVarThatIsPossiblyChanged(Func, LoopStmt, Cond, Context)) in isAtLeastOneCondVarChanged()
83 if (isAtLeastOneCondVarChanged(Func, LoopStmt, Child, Context)) in isAtLeastOneCondVarChanged()
133 const auto *LoopStmt = Result.Nodes.getNodeAs<Stmt>("loop-stmt"); in check() local
140 if (const auto *While = dyn_cast<WhileStmt>(LoopStmt)) { in check()
[all …]
|
| /external/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | LoopUnrolling.h | 39 ProgramStateRef updateLoopStack(const Stmt *LoopStmt, ASTContext &ASTCtx,
44 ProgramStateRef processLoopEnd(const Stmt *LoopStmt, ProgramStateRef State);
|
| D | LoopWidening.h | 30 unsigned BlockCount, const Stmt *LoopStmt);
|
| /external/llvm-project/clang-tools-extra/clang-tidy/performance/ |
| D | InefficientVectorOperationCheck.cpp | 200 const Stmt *LoopStmt = ForLoop; in check() local
201 if (!LoopStmt) in check()
202 LoopStmt = RangeLoop; in check()
220 LoopStmt->getBeginLoc())) { in check()
266 Diag << FixItHint::CreateInsertion(LoopStmt->getBeginLoc(), ReserveStmt); in check()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | LoopWidening.h | 31 unsigned BlockCount, const Stmt *LoopStmt);
|
| /external/llvm-project/clang/include/clang/Analysis/ |
| D | ProgramPoint.h | 715 LoopExit(const Stmt *LoopStmt, const LocationContext *LC) in LoopExit() argument
716 : ProgramPoint(LoopStmt, nullptr, LoopExitKind, LC) {} in LoopExit()
|
| D | CFG.h | 1158 void appendLoopExit(const Stmt *LoopStmt, BumpVectorContext &C) { in appendLoopExit() argument
1159 Elements.push_back(CFGLoopExit(LoopStmt), C); in appendLoopExit()
|
| /external/llvm-project/clang/lib/Analysis/ |
| D | CFG.cpp | 750 void addLoopExit(const Stmt *LoopStmt);
865 void appendLoopExit(CFGBlock *B, const Stmt *LoopStmt) { in appendLoopExit() argument
866 B->appendLoopExit(LoopStmt, cfg->getBumpVectorContext()); in appendLoopExit()
1720 void CFGBuilder::addLoopExit(const Stmt *LoopStmt){ in addLoopExit() argument
1724 appendLoopExit(Block, LoopStmt); in addLoopExit()
|