ΒΆ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