405                                       const ElementRegion *ER, CharKind CK) {  in getIndex()  argument
410     if (ER->getValueType() != Ctx.CharTy)  in getIndex()
412     return ER->getIndex();  in getIndex()
415   if (ER->getValueType() != Ctx.WideCharTy)  in getIndex()
424       SVB.evalBinOpNN(State, BO_Mul, ER->getIndex(), WideSize, SizeTy);  in getIndex()
445   const auto *ER = dyn_cast_or_null<ElementRegion>(R);  in checkInit()  local
446   if (!ER)  in checkInit()
449   const auto *SuperR = ER->getSuperRegion()->getAs<TypedValueRegion>();  in checkInit()
563   const auto *ER = dyn_cast<ElementRegion>(R);  in CheckLocation()  local
564   if (!ER)  in CheckLocation()
568   std::optional<NonLoc> Idx = getIndex(state, ER, CK);  in CheckLocation()
573   const auto *superReg = cast<SubRegion>(ER->getSuperRegion());  in CheckLocation()
1185   const ElementRegion *ER = dyn_cast<ElementRegion>(R);  in isFirstBufInBound()  local
1186   if (!ER)  in isFirstBufInBound()
1191   assert(ER->getValueType() == C.getASTContext().CharTy &&  in isFirstBufInBound()
1195   const SubRegion *superReg = cast<SubRegion>(ER->getSuperRegion());  in isFirstBufInBound()
1199   DefinedOrUnknownSVal Idx = ER->getIndex().castAs<DefinedOrUnknownSVal>();  in isFirstBufInBound()
1285     if (const ElementRegion *ER = dyn_cast<ElementRegion>(R)) {  in invalidateBufferAux()  local
1286       R = ER->getSuperRegion();  in invalidateBufferAux()