52   const MemRegion *getArrayRegion(const MemRegion *Region, bool &Polymorphic,
54   const MemRegion *getPointedRegion(const MemRegion *Region,
107 PointerArithChecker::getPointedRegion(const MemRegion *Region,  in getPointedRegion()  argument
109   assert(Region);  in getPointedRegion()
111   SVal S = State->getSVal(Region);  in getPointedRegion()
119 const MemRegion *PointerArithChecker::getArrayRegion(const MemRegion *Region,  in getArrayRegion()  argument
123   assert(Region);  in getArrayRegion()
124   while (Region->getKind() == MemRegion::Kind::CXXBaseObjectRegionKind) {  in getArrayRegion()
125     Region = Region->getAs<CXXBaseObjectRegion>()->getSuperRegion();  in getArrayRegion()
128   if (Region->getKind() == MemRegion::Kind::ElementRegionKind) {  in getArrayRegion()
129     Region = Region->getAs<ElementRegion>()->getSuperRegion();  in getArrayRegion()
133   if (const AllocKind *Kind = State->get<RegionState>(Region)) {  in getArrayRegion()
136       return Region;  in getArrayRegion()
142   if (Region->getKind() == MemRegion::Kind::SymbolicRegionKind)  in getArrayRegion()
143     return Region;  in getArrayRegion()
158   const MemRegion *Region =  in reportPointerArithMisuse()  local
160   if (!Region)  in reportPointerArithMisuse()
163     Region = getPointedRegion(Region, C);  in reportPointerArithMisuse()
164   if (!Region)  in reportPointerArithMisuse()
170           getArrayRegion(Region, IsPolymorphic, Kind, C)) {  in reportPointerArithMisuse()
193       Region->getKind() == MemRegion::Kind::SymbolicRegionKind)  in reportPointerArithMisuse()
205     R->markInteresting(Region);  in reportPointerArithMisuse()
232   const MemRegion *Region = SV.getAsRegion();  in checkPostStmt()  local
233   if (!Region)  in checkPostStmt()
239   State = State->set<RegionState>(Region, AllocKind::Array);  in checkPostStmt()
253   const MemRegion *Region = AllocedVal.getAsRegion();  in checkPostStmt()  local
254   if (!Region)  in checkPostStmt()
256   State = State->set<RegionState>(Region, Kind);  in checkPostStmt()
269   const MemRegion *Region = CastedVal.getAsRegion();  in checkPostStmt()  local
270   if (!Region)  in checkPostStmt()
274   State = State->set<RegionState>(Region, AllocKind::Reinterpreted);  in checkPostStmt()
287   const MemRegion *Region = CastedVal.getAsRegion();  in checkPreStmt()  local
288   if (!Region)  in checkPreStmt()
291   if (const AllocKind *Kind = State->get<RegionState>(Region)) {  in checkPreStmt()
295   State = State->set<RegionState>(Region, AllocKind::Array);  in checkPreStmt()