1139   auto BeginSym = getContainerBegin(State, ContReg);  in handleBegin()  local
1140   if (!BeginSym) {  in handleBegin()
1142     BeginSym = SymMgr.conjureSymbol(CE, C.getLocationContext(),  in handleBegin()
1144     State = assumeNoOverflow(State, BeginSym, 4);  in handleBegin()
1145     State = createContainerBegin(State, ContReg, BeginSym);  in handleBegin()
1148                               IteratorPosition::getPosition(ContReg, BeginSym));  in handleBegin()
1386     if (const auto BeginSym = CData->getBegin()) {  in handlePushFront()  local
1392                       nonloc::SymbolVal(BeginSym),  in handlePushFront()
1394                       SymMgr.getType(BeginSym)).getAsSymbol();  in handlePushFront()
1416   if (const auto BeginSym = CData->getBegin()) {  in handlePopFront()  local
1418       State = invalidateIteratorPositions(State, BeginSym, BO_LE);  in handlePopFront()
1420       State = invalidateIteratorPositions(State, BeginSym, BO_EQ);  in handlePopFront()
1427                     nonloc::SymbolVal(BeginSym),  in handlePopFront()
1429                     SymMgr.getType(BeginSym)).getAsSymbol();  in handlePopFront()