ΒΆclang::ento::ProgramStateRef advancePosition(
clang::ento::ProgramStateRef State,
const clang::ento::SVal& Iter,
clang::OverloadedOperatorKind Op,
const clang::ento::SVal& Distance)
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