368 ProgramStateRef invalidateIteratorPositions(ProgramStateRef State,
371 ProgramStateRef invalidateIteratorPositions(ProgramStateRef State,
1316       State = invalidateIteratorPositions(State, EndSym, BO_GE);  in handlePushBack()
1357       State = invalidateIteratorPositions(State, BackSym, BO_GE);  in handlePopBack()
1360       State = invalidateIteratorPositions(State, BackSym, BO_EQ);  in handlePopBack()
1418       State = invalidateIteratorPositions(State, BeginSym, BO_LE);  in handlePopFront()
1420       State = invalidateIteratorPositions(State, BeginSym, BO_EQ);  in handlePopFront()
1448       State = invalidateIteratorPositions(State, Pos->getOffset(), BO_GE);  in handleInsert()
1452         State = invalidateIteratorPositions(State, EndSym, BO_GE);  in handleInsert()
1474       State = invalidateIteratorPositions(State, Pos->getOffset(), BO_GE);  in handleErase()
1478         State = invalidateIteratorPositions(State, EndSym, BO_GE);  in handleErase()
1483     State = invalidateIteratorPositions(State, Pos->getOffset(), BO_EQ);  in handleErase()
1505       State = invalidateIteratorPositions(State, Pos1->getOffset(), BO_GE);  in handleErase()
1509         State = invalidateIteratorPositions(State, EndSym, BO_GE);  in handleErase()
1514     State = invalidateIteratorPositions(State, Pos1->getOffset(), BO_GE,  in handleErase()
1537   State = invalidateIteratorPositions(State, NextSym, BO_EQ);  in handleEraseAfter()
1550   State = invalidateIteratorPositions(State, Pos1->getOffset(), BO_GT,  in handleEraseAfter()
2221 ProgramStateRef invalidateIteratorPositions(ProgramStateRef State,  in invalidateIteratorPositions()  function
2233 ProgramStateRef invalidateIteratorPositions(ProgramStateRef State,  in invalidateIteratorPositions()  function