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 Expr *	getLoopCondition (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().