clang-tools  14.0.0git
Namespaces | Functions
InfiniteLoopCheck.cpp File Reference
#include "InfiniteLoopCheck.h"
#include "../utils/Aliasing.h"
#include "clang/AST/ASTContext.h"
#include "clang/ASTMatchers/ASTMatchFinder.h"
#include "clang/Analysis/Analyses/ExprMutationAnalyzer.h"
Include dependency graph for InfiniteLoopCheck.cpp:

Go to the source code of this file.

Namespaces

 clang
 ===– Representation.cpp - ClangDoc Representation --------—*- C++ -*-===//
 
 clang::tidy
 
 clang::tidy::bugprone
 

Functions

static internal::Matcher< Stmt > clang::tidy::bugprone::loopEndingStmt (internal::Matcher< Stmt > Internal)
 
static bool clang::tidy::bugprone::isChanged (const Stmt *LoopStmt, const VarDecl *Var, ASTContext *Context)
 Return whether Var was changed in LoopStmt. More...
 
static bool clang::tidy::bugprone::isVarThatIsPossiblyChanged (const Decl *Func, const Stmt *LoopStmt, const Stmt *Cond, ASTContext *Context)
 Return whether Cond is a variable that is possibly changed in LoopStmt. More...
 
static bool clang::tidy::bugprone::isAtLeastOneCondVarChanged (const Decl *Func, const Stmt *LoopStmt, const Stmt *Cond, ASTContext *Context)
 Return whether at least one variable of Cond changed in LoopStmt. More...
 
static std::string clang::tidy::bugprone::getCondVarNames (const Stmt *Cond)
 Return the variable names in Cond. More...
 
static bool clang::tidy::bugprone::isKnownFalse (const Expr &Cond, const ASTContext &Ctx)