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()
149   if (isAtLeastOneCondVarChanged(Func, LoopStmt, Cond, Result.Context))  in check()
157     diag(LoopStmt->getBeginLoc(),  in check()
161     diag(LoopStmt->getBeginLoc(),  in check()