StaticAnalyzer/Checkers/ContainerModeling.cpp

292   auto EndSym = getContainerEnd(State, ContReg);
293   if (!EndSym) {
296     EndSym = getContainerEnd(State, ContReg);
299                               IteratorPosition::getPosition(ContReg, EndSym));
408       if (const auto EndSym = CData->getEnd()) {
410             invalidateAllIteratorPositionsExcept(State, ContReg, EndSym, BO_GE);
443   if (const auto EndSym = CData->getEnd()) {
445       State = invalidateIteratorPositions(State, EndSym, BO_GE);
452                     nonloc::SymbolVal(EndSym),
454                     SymMgr.getType(EndSym)).getAsSymbol();
475   if (const auto EndSym = CData->getEnd()) {
481                     nonloc::SymbolVal(EndSym),
483                     SymMgr.getType(EndSym)).getAsSymbol();
595       if (const auto EndSym = CData->getEnd()) {
596         State = invalidateIteratorPositions(State, EndSym, BO_GE);
627       if (const auto EndSym = CData->getEnd()) {
628         State = invalidateIteratorPositions(State, EndSym, BO_GE);
662       if (const auto EndSym = CData->getEnd()) {
663         State = invalidateIteratorPositions(State, EndSym, BO_GE);