reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1497 const auto *Pos1 = getIteratorPosition(State, Iter1); 1498 const auto *Pos2 = getIteratorPosition(State, Iter2); 1507 if (hasSubscriptOperator(State, Cont) && backModifiable(State, Cont)) { 1507 if (hasSubscriptOperator(State, Cont) && backModifiable(State, Cont)) { 1508 if (frontModifiable(State, Cont)) { 1509 State = invalidateAllIteratorPositions(State, Cont); 1509 State = invalidateAllIteratorPositions(State, Cont); 1511 State = invalidateIteratorPositions(State, Pos1->getOffset(), BO_GE); 1511 State = invalidateIteratorPositions(State, Pos1->getOffset(), BO_GE); 1513 if (const auto *CData = getContainerData(State, Cont)) { 1515 State = invalidateIteratorPositions(State, EndSym, BO_GE); 1515 State = invalidateIteratorPositions(State, EndSym, BO_GE); 1516 State = setContainerData(State, Cont, CData->newEnd(nullptr)); 1516 State = setContainerData(State, Cont, CData->newEnd(nullptr)); 1520 State = invalidateIteratorPositions(State, Pos1->getOffset(), BO_GE, 1520 State = invalidateIteratorPositions(State, Pos1->getOffset(), BO_GE, 1523 C.addTransition(State);