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

References

tools/clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp
 1345   const auto CData = getContainerData(State, ContReg);
 1354       SVB.evalBinOp(State, BO_Sub,
 1361     if (hasSubscriptOperator(State, ContReg) &&
 1362         backModifiable(State, ContReg)) {
 1363       State = invalidateIteratorPositions(State, BackSym, BO_GE);
 1363       State = invalidateIteratorPositions(State, BackSym, BO_GE);
 1364       State = setContainerData(State, ContReg, CData->newEnd(nullptr));
 1364       State = setContainerData(State, ContReg, CData->newEnd(nullptr));
 1366       State = invalidateIteratorPositions(State, BackSym, BO_EQ);
 1366       State = invalidateIteratorPositions(State, BackSym, BO_EQ);
 1369     State = setContainerData(State, ContReg, CData->newEnd(newEndSym));
 1369     State = setContainerData(State, ContReg, CData->newEnd(newEndSym));
 1370     C.addTransition(State);