¶clang::ento::ProgramStateRef
createIteratorPosition(
    clang::ento::ProgramStateRef State,
    const clang::ento::SVal& Val,
    const clang::ento::MemRegion* Cont,
    const clang::Stmt* S,
    const clang::LocationContext* LCtx,
    unsigned int blockCount)

Declared at: clang/lib/StaticAnalyzer/Checkers/Iterator.h:168

Parameters

clang::ento::ProgramStateRef State

const clang::ento::SVal& Val

const clang::ento::MemRegion* Cont

const clang::Stmt* S

const clang::LocationContext* LCtx

unsigned int blockCount