135 ProgramStateRef invalidateIteratorPositions(ProgramStateRef State,
138 ProgramStateRef invalidateIteratorPositions(ProgramStateRef State,
445       State = invalidateIteratorPositions(State, EndSym, BO_GE);  in handlePushBack()
491       State = invalidateIteratorPositions(State, BackSym, BO_GE);  in handlePopBack()
494       State = invalidateIteratorPositions(State, BackSym, BO_EQ);  in handlePopBack()
554       State = invalidateIteratorPositions(State, BeginSym, BO_LE);  in handlePopFront()
556       State = invalidateIteratorPositions(State, BeginSym, BO_EQ);  in handlePopFront()
592       State = invalidateIteratorPositions(State, Pos->getOffset(), BO_GE);  in handleInsert()
596         State = invalidateIteratorPositions(State, EndSym, BO_GE);  in handleInsert()
624       State = invalidateIteratorPositions(State, Pos->getOffset(), BO_GE);  in handleErase()
628         State = invalidateIteratorPositions(State, EndSym, BO_GE);  in handleErase()
633     State = invalidateIteratorPositions(State, Pos->getOffset(), BO_EQ);  in handleErase()
659       State = invalidateIteratorPositions(State, Pos1->getOffset(), BO_GE);  in handleErase()
663         State = invalidateIteratorPositions(State, EndSym, BO_GE);  in handleErase()
668     State = invalidateIteratorPositions(State, Pos1->getOffset(), BO_GE,  in handleErase()
691   State = invalidateIteratorPositions(State, NextSym, BO_EQ);  in handleEraseAfter()
704   State = invalidateIteratorPositions(State, Pos1->getOffset(), BO_GT,  in handleEraseAfter()
960 ProgramStateRef invalidateIteratorPositions(ProgramStateRef State,  in invalidateIteratorPositions()  function
972 ProgramStateRef invalidateIteratorPositions(ProgramStateRef State,  in invalidateIteratorPositions()  function