Lines Matching defs:invalidateIteratorPositions

126 ProgramStateRef invalidateIteratorPositions(ProgramStateRef State,
129 ProgramStateRef invalidateIteratorPositions(ProgramStateRef State,
436       State = invalidateIteratorPositions(State, EndSym, BO_GE);
482       State = invalidateIteratorPositions(State, BackSym, BO_GE);
485       State = invalidateIteratorPositions(State, BackSym, BO_EQ);
545       State = invalidateIteratorPositions(State, BeginSym, BO_LE);
547       State = invalidateIteratorPositions(State, BeginSym, BO_EQ);
583       State = invalidateIteratorPositions(State, Pos->getOffset(), BO_GE);
587         State = invalidateIteratorPositions(State, EndSym, BO_GE);
615       State = invalidateIteratorPositions(State, Pos->getOffset(), BO_GE);
619         State = invalidateIteratorPositions(State, EndSym, BO_GE);
624     State = invalidateIteratorPositions(State, Pos->getOffset(), BO_EQ);
650       State = invalidateIteratorPositions(State, Pos1->getOffset(), BO_GE);
654         State = invalidateIteratorPositions(State, EndSym, BO_GE);
659     State = invalidateIteratorPositions(State, Pos1->getOffset(), BO_GE,
682   State = invalidateIteratorPositions(State, NextSym, BO_EQ);
695   State = invalidateIteratorPositions(State, Pos1->getOffset(), BO_GT,
955 ProgramStateRef invalidateIteratorPositions(ProgramStateRef State,
967 ProgramStateRef invalidateIteratorPositions(ProgramStateRef State,