353   const auto *ER = dyn_cast<ElementRegion>(R);  in CheckLocation()  local
354   if (!ER)  in CheckLocation()
361   NonLoc Idx = ER->getIndex();  in CheckLocation()
364     if (ER->getValueType() != Ctx.CharTy)  in CheckLocation()
367     if (ER->getValueType() != Ctx.WideCharTy)  in CheckLocation()
383   const auto *superReg = cast<SubRegion>(ER->getSuperRegion());  in CheckLocation()
406         StInBound->getSVal(ER).isUndef()) {  in CheckLocation()
981   const ElementRegion *ER = dyn_cast<ElementRegion>(R);  in IsFirstBufInBound()  local
982   if (!ER)  in IsFirstBufInBound()
987   assert(ER->getValueType() == C.getASTContext().CharTy &&  in IsFirstBufInBound()
991   const SubRegion *superReg = cast<SubRegion>(ER->getSuperRegion());  in IsFirstBufInBound()
995   DefinedOrUnknownSVal Idx = ER->getIndex().castAs<DefinedOrUnknownSVal>();  in IsFirstBufInBound()
1019     if (const ElementRegion *ER = dyn_cast<ElementRegion>(R)) {  in InvalidateBuffer()  local
1020       R = ER->getSuperRegion();  in InvalidateBuffer()