Searched refs:invalidateAllIteratorPositions (Results 1 – 1 of 1) sorted by relevance
362 ProgramStateRef invalidateAllIteratorPositions(ProgramStateRef State,1204 State = invalidateAllIteratorPositions(State, ContReg); in handleAssign()1289 State = invalidateAllIteratorPositions(State, ContReg); in handleClear()1304 State = invalidateAllIteratorPositions(State, ContReg); in handlePushBack()1379 State = invalidateAllIteratorPositions(State, ContReg); in handlePushFront()1446 State = invalidateAllIteratorPositions(State, Cont); in handleInsert()1472 State = invalidateAllIteratorPositions(State, Cont); in handleErase()1503 State = invalidateAllIteratorPositions(State, Cont); in handleErase()2196 ProgramStateRef invalidateAllIteratorPositions(ProgramStateRef State, in invalidateAllIteratorPositions() function