¶clang::ento::ProgramStateRef processLoopEnd(
    const clang::Stmt* LoopStmt,
    clang::ento::ProgramStateRef State)

Description

Updates the given ProgramState. In current implementation it removes the top element of the stack of loops.

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/LoopUnrolling.h:42

Parameters

const clang::Stmt* LoopStmt

clang::ento::ProgramStateRef State