Lines Matching refs:IteratorPosition
86 struct IteratorPosition { struct
98 IteratorPosition(const MemRegion *C, bool V, SymbolRef Of) in IteratorPosition() function
106 IteratorPosition invalidate() const { in invalidate() argument
107 return IteratorPosition(Cont, false, Offset); in invalidate()
110 static IteratorPosition getPosition(const MemRegion *C, SymbolRef Of) { in getPosition() argument
111 return IteratorPosition(C, true, Of); in getPosition()
114 IteratorPosition setTo(SymbolRef NewOf) const { in setTo() argument
115 return IteratorPosition(Cont, Valid, NewOf); in setTo()
118 IteratorPosition reAssign(const MemRegion *NewCont) const { in reAssign() argument
119 return IteratorPosition(NewCont, Valid, Offset); in reAssign()
122 bool operator==(const IteratorPosition &X) const { in operator ==() argument
126 bool operator!=(const IteratorPosition &X) const { in operator !=() argument
249 IteratorPosition advancePosition(CheckerContext &C, OverloadedOperatorKind Op,
250 const IteratorPosition &Pos,
290 REGISTER_MAP_WITH_PROGRAMSTATE(IteratorSymbolMap, SymbolRef, IteratorPosition)
292 IteratorPosition)
345 const IteratorPosition *getIteratorPosition(ProgramStateRef State,
347 const IteratorPosition *getIteratorPosition(ProgramStateRef State,
350 const IteratorPosition &Pos);
353 const IteratorPosition &Pos);
357 const IteratorPosition &Pos, bool Equal);
359 const IteratorPosition &Pos1,
360 const IteratorPosition &Pos2,
394 bool isPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos);
395 bool isAheadOfRange(ProgramStateRef State, const IteratorPosition &Pos);
396 bool isBehindPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos);
1148 IteratorPosition::getPosition(ContReg, BeginSym)); in handleBegin()
1172 IteratorPosition::getPosition(ContReg, EndSym)); in handleEnd()
1187 IteratorPosition::getPosition(Cont, Sym)); in assignToContainer()
1555 IteratorPosition IteratorChecker::advancePosition(CheckerContext &C, in advancePosition()
1557 const IteratorPosition &Pos, in advancePosition()
2032 const IteratorPosition *getIteratorPosition(ProgramStateRef State, in getIteratorPosition()
2045 const IteratorPosition *getIteratorPosition(ProgramStateRef State, in getIteratorPosition()
2057 const IteratorPosition &Pos) { in setIteratorPosition()
2071 const IteratorPosition &Pos) { in setIteratorPosition()
2095 const IteratorPosition &Pos, in adjustIteratorPosition()
2105 const IteratorPosition &Pos1, in relateIteratorPositions()
2106 const IteratorPosition &Pos2, in relateIteratorPositions()
2198 auto MatchCont = [&](const IteratorPosition &Pos) { in invalidateAllIteratorPositions()
2201 auto Invalidate = [&](const IteratorPosition &Pos) { in invalidateAllIteratorPositions()
2211 auto MatchContAndCompare = [&](const IteratorPosition &Pos) { in invalidateAllIteratorPositionsExcept()
2215 auto Invalidate = [&](const IteratorPosition &Pos) { in invalidateAllIteratorPositionsExcept()
2224 auto Compare = [&](const IteratorPosition &Pos) { in invalidateIteratorPositions()
2227 auto Invalidate = [&](const IteratorPosition &Pos) { in invalidateIteratorPositions()
2238 auto Compare = [&](const IteratorPosition &Pos) { in invalidateIteratorPositions()
2242 auto Invalidate = [&](const IteratorPosition &Pos) { in invalidateIteratorPositions()
2251 auto MatchCont = [&](const IteratorPosition &Pos) { in reassignAllIteratorPositions()
2254 auto ReAssign = [&](const IteratorPosition &Pos) { in reassignAllIteratorPositions()
2265 auto MatchContAndCompare = [&](const IteratorPosition &Pos) { in reassignAllIteratorPositionsUnless()
2269 auto ReAssign = [&](const IteratorPosition &Pos) { in reassignAllIteratorPositionsUnless()
2281 auto LessThanEnd = [&](const IteratorPosition &Pos) { in rebaseSymbolInIteratorPositionsIf()
2284 auto RebaseSymbol = [&](const IteratorPosition &Pos) { in rebaseSymbolInIteratorPositionsIf()
2317 bool isPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos) { in isPastTheEnd()
2333 bool isAheadOfRange(ProgramStateRef State, const IteratorPosition &Pos) { in isAheadOfRange()
2349 bool isBehindPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos) { in isBehindPastTheEnd()