¶clang::ento::ProgramStateRef getWidenedLoopState(
    clang::ento::ProgramStateRef PrevState,
    const clang::LocationContext* LCtx,
    unsigned int BlockCount,
    const clang::Stmt* LoopStmt)

Description

Get the states that result from widening the loop. Widen the loop by invalidating anything that might be modified by the loop body in any iteration.

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/LoopWidening.h:28

Parameters

clang::ento::ProgramStateRef PrevState

const clang::LocationContext* LCtx

unsigned int BlockCount

const clang::Stmt* LoopStmt