LoopWidening.h File Reference

This header contains the declarations of functions which are used to widen loops which do not otherwise exit. More...

#include "clang/Analysis/CFG.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.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.

Detailed Description

This header contains the declarations of functions which are used to widen loops which do not otherwise exit.

The widening is done by invalidating anything which might be modified by the body of the loop.

Definition in file LoopWidening.h.