clang
6.0.0
|
Go to the source code of this file.
Namespaces | |
clang | |
Dataflow Directional Tag Classes. | |
clang::ento | |
Functions | |
static const Expr * | getLoopCondition (const Stmt *LoopStmt) |
Return the loops condition Stmt or NULL if LoopStmt is not a loop. More... | |
ProgramStateRef | clang::ento::getWidenedLoopState (ProgramStateRef PrevState, const LocationContext *LCtx, unsigned BlockCount, const Stmt *LoopStmt) |
Get the states that result from widening the loop. More... | |
Return the loops condition Stmt or NULL if LoopStmt is not a loop.
Definition at line 23 of file LoopWidening.cpp.
References clang::Stmt::getStmtClass().
Referenced by clang::ento::getWidenedLoopState().