Lines Matching refs:Stmt
30 const Stmt *LoopStmt;
33 LoopState(Kind InK, const Stmt *S, const LocationContext *L, unsigned N)
37 static LoopState getNormal(const Stmt *S, const LocationContext *L,
41 static LoopState getUnrolled(const Stmt *S, const LocationContext *L,
47 const Stmt *getLoopStmt() const { return LoopStmt; }
71 static bool isLoopStmt(const Stmt *S) {
75 ProgramStateRef processLoopEnd(const Stmt *LoopStmt, ProgramStateRef State) {
82 static internal::Matcher<Stmt> simpleCondition(StringRef BindName) {
93 static internal::Matcher<Stmt>
104 static internal::Matcher<Stmt>
111 static internal::Matcher<Stmt>
120 static internal::Matcher<Stmt>
127 static internal::Matcher<Stmt> hasSuspiciousStmt(StringRef NodeName) {
139 static internal::Matcher<Stmt> forLoopMatcher() {
175 const Stmt *S = N->getStmtForDiagnostics();
209 bool shouldCompletelyUnroll(const Stmt *LoopStmt, ASTContext &ASTCtx,
241 bool madeNewBranch(ExplodedNode *N, const Stmt *LoopStmt) {
242 const Stmt *S = nullptr;
261 ProgramStateRef updateLoopStack(const Stmt *LoopStmt, ASTContext &ASTCtx,