ΒΆ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)
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