reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

tools/clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp
 1208   const auto CData = getContainerData(State, ContReg);
 1210     State = invalidateAllIteratorPositions(State, ContReg);
 1210     State = invalidateAllIteratorPositions(State, ContReg);
 1219       const auto OldCData = getContainerData(State, OldContReg);
 1226           State = reassignAllIteratorPositionsUnless(State, OldContReg, ContReg,
 1226           State = reassignAllIteratorPositionsUnless(State, OldContReg, ContReg,
 1234           State = assumeNoOverflow(State, NewEndSym, 4);
 1234           State = assumeNoOverflow(State, NewEndSym, 4);
 1236             State = setContainerData(State, ContReg, CData->newEnd(NewEndSym));
 1236             State = setContainerData(State, ContReg, CData->newEnd(NewEndSym));
 1238             State = setContainerData(State, ContReg,
 1238             State = setContainerData(State, ContReg,
 1243           State = rebaseSymbolInIteratorPositionsIf(
 1244               State, SVB, OldEndSym, NewEndSym, OldEndSym, BO_LT);
 1248           State = reassignAllIteratorPositions(State, OldContReg, ContReg);
 1248           State = reassignAllIteratorPositions(State, OldContReg, ContReg);
 1254             State =
 1255                 setContainerData(State, ContReg, CData->newBegin(OldBeginSym));
 1257             State = setContainerData(State, ContReg,
 1257             State = setContainerData(State, ContReg,
 1260           State =
 1261               setContainerData(State, OldContReg, OldCData->newEnd(nullptr));
 1266         State = reassignAllIteratorPositions(State, OldContReg, ContReg);
 1266         State = reassignAllIteratorPositions(State, OldContReg, ContReg);
 1270   C.addTransition(State);