ΒΆclang::ento::ProgramStateRef setIteratorPosition(
clang::ento::ProgramStateRef State,
const clang::ento::SVal& Val,
const clang::ento::iterator::IteratorPosition&
Pos)
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