clang 17.0.0git
|
This header contains the declarations of functions which are used to widen loops which do not otherwise exit. More...
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. | |
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.