LoopWidening.cpp File Reference

#include "clang/StaticAnalyzer/Core/PathSensitive/LoopWidening.h"
#include "clang/ASTMatchers/ASTMatchFinder.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.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
ProgramStateRef	clang::ento::getWidenedLoopState (ProgramStateRef PrevState, const LocationContext *LCtx, unsigned BlockCount, ConstCFGElementRef Elem)
	Get the states that result from widening the loop.

Variables
const auto	MatchRef = "matchref"

Variable Documentation

MatchRef

const auto MatchRef = "matchref"

Definition at line 24 of file LoopWidening.cpp.

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