¶clang::ento::ProgramStateRef setIteratorPosition(
    clang::ento::ProgramStateRef State,
    const clang::ento::SVal& Val,
    const clang::ento::iterator::IteratorPosition&
        Pos)

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

Parameters

clang::ento::ProgramStateRef State

const clang::ento::SVal& Val

const clang::ento::iterator::IteratorPosition& Pos