¶clang::ento::ProgramStateRef advancePosition(
    clang::ento::ProgramStateRef State,
    const clang::ento::SVal& Iter,
    clang::OverloadedOperatorKind Op,
    const clang::ento::SVal& Distance)

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

Parameters

clang::ento::ProgramStateRef State

const clang::ento::SVal& Iter

clang::OverloadedOperatorKind Op

const clang::ento::SVal& Distance