121 ProgramStateRef invalidateIteratorPositions(ProgramStateRef State,
124 ProgramStateRef invalidateIteratorPositions(ProgramStateRef State,
431       State = invalidateIteratorPositions(State, EndSym, BO_GE);  in handlePushBack()
477       State = invalidateIteratorPositions(State, BackSym, BO_GE);  in handlePopBack()
480       State = invalidateIteratorPositions(State, BackSym, BO_EQ);  in handlePopBack()
540       State = invalidateIteratorPositions(State, BeginSym, BO_LE);  in handlePopFront()
542       State = invalidateIteratorPositions(State, BeginSym, BO_EQ);  in handlePopFront()
578       State = invalidateIteratorPositions(State, Pos->getOffset(), BO_GE);  in handleInsert()
582         State = invalidateIteratorPositions(State, EndSym, BO_GE);  in handleInsert()
610       State = invalidateIteratorPositions(State, Pos->getOffset(), BO_GE);  in handleErase()
614         State = invalidateIteratorPositions(State, EndSym, BO_GE);  in handleErase()
619     State = invalidateIteratorPositions(State, Pos->getOffset(), BO_EQ);  in handleErase()
645       State = invalidateIteratorPositions(State, Pos1->getOffset(), BO_GE);  in handleErase()
649         State = invalidateIteratorPositions(State, EndSym, BO_GE);  in handleErase()
654     State = invalidateIteratorPositions(State, Pos1->getOffset(), BO_GE,  in handleErase()
677   State = invalidateIteratorPositions(State, NextSym, BO_EQ);  in handleEraseAfter()
690   State = invalidateIteratorPositions(State, Pos1->getOffset(), BO_GT,  in handleEraseAfter()
946 ProgramStateRef invalidateIteratorPositions(ProgramStateRef State,  in invalidateIteratorPositions()  function
958 ProgramStateRef invalidateIteratorPositions(ProgramStateRef State,  in invalidateIteratorPositions()  function