ΒΆclang::ento::ProgramStateRef updateLoopStack(
const clang::Stmt* LoopStmt,
clang::ASTContext& ASTCtx,
clang::ento::ExplodedNode* Pred,
unsigned int maxVisitOnPath)
clang::ento::ProgramStateRef updateLoopStack(
const clang::Stmt* LoopStmt,
clang::ASTContext& ASTCtx,
clang::ento::ExplodedNode* Pred,
unsigned int maxVisitOnPath)
Description
Updates the stack of loops contained by the ProgramState.
Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/LoopUnrolling.h:37
Parameters
- const clang::Stmt* LoopStmt
- clang::ASTContext& ASTCtx
- clang::ento::ExplodedNode* Pred
- unsigned int maxVisitOnPath