clang 20.0.0git
Namespaces | Functions | Variables
LoopWidening.cpp File Reference
#include "clang/AST/AST.h"
#include "clang/ASTMatchers/ASTMatchFinder.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/LoopWidening.h"

Go to the source code of this file.

Namespaces

namespace  clang
 The JSON file list parser is used to communicate input to InstallAPI.
 
namespace  clang::ento
 

Functions

static const ExprgetLoopCondition (const Stmt *LoopStmt)
 Return the loops condition Stmt or NULL if LoopStmt is not a loop.
 
ProgramStateRef clang::ento::getWidenedLoopState (ProgramStateRef PrevState, const LocationContext *LCtx, unsigned BlockCount, const Stmt *LoopStmt)
 Get the states that result from widening the loop.
 

Variables

const auto MatchRef = "matchref"
 

Function Documentation

◆ getLoopCondition()

static const Expr * getLoopCondition ( const Stmt LoopStmt)
static

Return the loops condition Stmt or NULL if LoopStmt is not a loop.

Definition at line 28 of file LoopWidening.cpp.

References clang::Stmt::getStmtClass().

Referenced by clang::ento::getWidenedLoopState().

Variable Documentation

◆ MatchRef

const auto MatchRef = "matchref"

Definition at line 25 of file LoopWidening.cpp.

Referenced by clang::ento::getWidenedLoopState().