clang  14.0.0git
Namespaces | Functions
LoopWidening.h File Reference
#include "clang/Analysis/CFG.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
Include dependency graph for LoopWidening.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.




ProgramStateRef clang::ento::getWidenedLoopState (ProgramStateRef PrevState, const LocationContext *LCtx, unsigned BlockCount, const Stmt *LoopStmt)
 Get the states that result from widening the loop. More...

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.