498     const auto *ContReg = InstCall->getCXXThisVal().getAsRegion();  in checkPreCall()  local
499     if (!ContReg)  in checkPreCall()
1130   const auto *ContReg = Cont.getAsRegion();  in handleBegin()  local
1131   if (!ContReg)  in handleBegin()
1134   ContReg = ContReg->getMostDerivedObjectRegion();  in handleBegin()
1139   auto BeginSym = getContainerBegin(State, ContReg);  in handleBegin()
1145     State = createContainerBegin(State, ContReg, BeginSym);  in handleBegin()
1148                               IteratorPosition::getPosition(ContReg, BeginSym));  in handleBegin()
1154   const auto *ContReg = Cont.getAsRegion();  in handleEnd()  local
1155   if (!ContReg)  in handleEnd()
1158   ContReg = ContReg->getMostDerivedObjectRegion();  in handleEnd()
1163   auto EndSym = getContainerEnd(State, ContReg);  in handleEnd()
1169     State = createContainerEnd(State, ContReg, EndSym);  in handleEnd()
1172                               IteratorPosition::getPosition(ContReg, EndSym));  in handleEnd()
1193   const auto *ContReg = Cont.getAsRegion();  in handleAssign()  local
1194   if (!ContReg)  in handleAssign()
1197   ContReg = ContReg->getMostDerivedObjectRegion();  in handleAssign()
1202   const auto CData = getContainerData(State, ContReg);  in handleAssign()
1204     State = invalidateAllIteratorPositions(State, ContReg);  in handleAssign()
1220           State = reassignAllIteratorPositionsUnless(State, OldContReg, ContReg,  in handleAssign()
1230             State = setContainerData(State, ContReg, CData->newEnd(NewEndSym));  in handleAssign()
1232             State = setContainerData(State, ContReg,  in handleAssign()
1242           State = reassignAllIteratorPositions(State, OldContReg, ContReg);  in handleAssign()
1249                 setContainerData(State, ContReg, CData->newBegin(OldBeginSym));  in handleAssign()
1251             State = setContainerData(State, ContReg,  in handleAssign()
1260         State = reassignAllIteratorPositions(State, OldContReg, ContReg);  in handleAssign()
1268   const auto *ContReg = Cont.getAsRegion();  in handleClear()  local
1269   if (!ContReg)  in handleClear()
1272   ContReg = ContReg->getMostDerivedObjectRegion();  in handleClear()
1277   if (!hasSubscriptOperator(State, ContReg) ||  in handleClear()
1278       !backModifiable(State, ContReg)) {  in handleClear()
1279     const auto CData = getContainerData(State, ContReg);  in handleClear()
1283             invalidateAllIteratorPositionsExcept(State, ContReg, EndSym, BO_GE);  in handleClear()
1289   State = invalidateAllIteratorPositions(State, ContReg);  in handleClear()
1295   const auto *ContReg = Cont.getAsRegion();  in handlePushBack()  local
1296   if (!ContReg)  in handlePushBack()
1299   ContReg = ContReg->getMostDerivedObjectRegion();  in handlePushBack()
1303   if (hasSubscriptOperator(State, ContReg) && frontModifiable(State, ContReg)) {  in handlePushBack()
1304     State = invalidateAllIteratorPositions(State, ContReg);  in handlePushBack()
1309   const auto CData = getContainerData(State, ContReg);  in handlePushBack()
1315     if (hasSubscriptOperator(State, ContReg)) {  in handlePushBack()
1326     State = setContainerData(State, ContReg, CData->newEnd(newEndSym));  in handlePushBack()
1332   const auto *ContReg = Cont.getAsRegion();  in handlePopBack()  local
1333   if (!ContReg)  in handlePopBack()
1336   ContReg = ContReg->getMostDerivedObjectRegion();  in handlePopBack()
1339   const auto CData = getContainerData(State, ContReg);  in handlePopBack()
1355     if (hasSubscriptOperator(State, ContReg) &&  in handlePopBack()
1356         backModifiable(State, ContReg)) {  in handlePopBack()
1358       State = setContainerData(State, ContReg, CData->newEnd(nullptr));  in handlePopBack()
1363     State = setContainerData(State, ContReg, CData->newEnd(newEndSym));  in handlePopBack()
1370   const auto *ContReg = Cont.getAsRegion();  in handlePushFront()  local
1371   if (!ContReg)  in handlePushFront()
1374   ContReg = ContReg->getMostDerivedObjectRegion();  in handlePushFront()
1378   if (hasSubscriptOperator(State, ContReg)) {  in handlePushFront()
1379     State = invalidateAllIteratorPositions(State, ContReg);  in handlePushFront()
1382     const auto CData = getContainerData(State, ContReg);  in handlePushFront()
1395       State = setContainerData(State, ContReg, CData->newBegin(newBeginSym));  in handlePushFront()
1403   const auto *ContReg = Cont.getAsRegion();  in handlePopFront()  local
1404   if (!ContReg)  in handlePopFront()
1407   ContReg = ContReg->getMostDerivedObjectRegion();  in handlePopFront()
1410   const auto CData = getContainerData(State, ContReg);  in handlePopFront()
1417     if (hasSubscriptOperator(State, ContReg)) {  in handlePopFront()
1430     State = setContainerData(State, ContReg, CData->newBegin(newBeginSym));  in handlePopFront()