26 struct IteratorPosition {  struct
38   IteratorPosition(const MemRegion *C, bool V, SymbolRef Of)  in IteratorPosition()  argument
46   IteratorPosition invalidate() const {  in invalidate()  argument
47     return IteratorPosition(Cont, false, Offset);  in invalidate()
50   static IteratorPosition getPosition(const MemRegion *C, SymbolRef Of) {  in getPosition()  argument
51     return IteratorPosition(C, true, Of);  in getPosition()
54   IteratorPosition setTo(SymbolRef NewOf) const {  in setTo()  argument
55     return IteratorPosition(Cont, Valid, NewOf);  in setTo()
58   IteratorPosition reAssign(const MemRegion *NewCont) const {  in reAssign()  argument
59     return IteratorPosition(NewCont, Valid, Offset);  in reAssign()
62   bool operator==(const IteratorPosition &X) const {
66   bool operator!=(const IteratorPosition &X) const { return !(*this == X); }
115   CLANG_ENTO_PROGRAMSTATE_MAP(SymbolRef, IteratorPosition);
117   CLANG_ENTO_PROGRAMSTATE_MAP(const MemRegion *, IteratorPosition);
164 const IteratorPosition *getIteratorPosition(ProgramStateRef State, SVal Val);
166                                     const IteratorPosition &Pos);