reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1468 const auto *Pos = getIteratorPosition(State, Iter); 1476 if (hasSubscriptOperator(State, Cont) && backModifiable(State, Cont)) { 1476 if (hasSubscriptOperator(State, Cont) && backModifiable(State, Cont)) { 1477 if (frontModifiable(State, Cont)) { 1478 State = invalidateAllIteratorPositions(State, Cont); 1478 State = invalidateAllIteratorPositions(State, Cont); 1480 State = invalidateIteratorPositions(State, Pos->getOffset(), BO_GE); 1480 State = invalidateIteratorPositions(State, Pos->getOffset(), BO_GE); 1482 if (const auto *CData = getContainerData(State, Cont)) { 1484 State = invalidateIteratorPositions(State, EndSym, BO_GE); 1484 State = invalidateIteratorPositions(State, EndSym, BO_GE); 1485 State = setContainerData(State, Cont, CData->newEnd(nullptr)); 1485 State = setContainerData(State, Cont, CData->newEnd(nullptr)); 1489 State = invalidateIteratorPositions(State, Pos->getOffset(), BO_EQ); 1489 State = invalidateIteratorPositions(State, Pos->getOffset(), BO_EQ); 1491 C.addTransition(State);