reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1443 const auto *Pos = getIteratorPosition(State, Iter); 1450 if (hasSubscriptOperator(State, Cont) && backModifiable(State, Cont)) { 1450 if (hasSubscriptOperator(State, Cont) && backModifiable(State, Cont)) { 1451 if (frontModifiable(State, Cont)) { 1452 State = invalidateAllIteratorPositions(State, Cont); 1452 State = invalidateAllIteratorPositions(State, Cont); 1454 State = invalidateIteratorPositions(State, Pos->getOffset(), BO_GE); 1454 State = invalidateIteratorPositions(State, Pos->getOffset(), BO_GE); 1456 if (const auto *CData = getContainerData(State, Cont)) { 1458 State = invalidateIteratorPositions(State, EndSym, BO_GE); 1458 State = invalidateIteratorPositions(State, EndSym, BO_GE); 1459 State = setContainerData(State, Cont, CData->newEnd(nullptr)); 1459 State = setContainerData(State, Cont, CData->newEnd(nullptr)); 1462 C.addTransition(State);