288   const ElementRegion *ER = dyn_cast<ElementRegion>(R);  in CheckLocation()  local
289   if (!ER)  in CheckLocation()
292   assert(ER->getValueType() == C.getASTContext().CharTy &&  in CheckLocation()
296   const SubRegion *superReg = cast<SubRegion>(ER->getSuperRegion());  in CheckLocation()
303   DefinedOrUnknownSVal Idx = ER->getIndex().castAs<DefinedOrUnknownSVal>();  in CheckLocation()
872   const ElementRegion *ER = dyn_cast<ElementRegion>(R);  in IsFirstBufInBound()  local
873   if (!ER)  in IsFirstBufInBound()
876   assert(ER->getValueType() == C.getASTContext().CharTy &&  in IsFirstBufInBound()
880   const SubRegion *superReg = cast<SubRegion>(ER->getSuperRegion());  in IsFirstBufInBound()
886   DefinedOrUnknownSVal Idx = ER->getIndex().castAs<DefinedOrUnknownSVal>();  in IsFirstBufInBound()
910     if (const ElementRegion *ER = dyn_cast<ElementRegion>(R)) {  in InvalidateBuffer()  local
911       R = ER->getSuperRegion();  in InvalidateBuffer()