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
namespace	clang::ento

Functions
ProgramStateRef	clang::ento::getWidenedLoopState (ProgramStateRef PrevState, const LocationContext *LCtx, unsigned BlockCount, const Stmt *LoopStmt)
	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.