Lines Matching refs:MemRegion
52 const MemRegion *getArrayRegion(const MemRegion *Region, bool &Polymorphic,
54 const MemRegion *getPointedRegion(const MemRegion *Region,
76 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, const MemRegion *, AllocKind) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
106 const MemRegion *
107 PointerArithChecker::getPointedRegion(const MemRegion *Region, in getPointedRegion()
119 const MemRegion *PointerArithChecker::getArrayRegion(const MemRegion *Region, in getArrayRegion()
124 while (Region->getKind() == MemRegion::Kind::CXXBaseObjectRegionKind) { in getArrayRegion()
128 if (Region->getKind() == MemRegion::Kind::ElementRegionKind) { in getArrayRegion()
142 if (Region->getKind() == MemRegion::Kind::SymbolicRegionKind) in getArrayRegion()
158 const MemRegion *Region = in reportPointerArithMisuse()
169 if (const MemRegion *ArrayRegion = in reportPointerArithMisuse()
193 Region->getKind() == MemRegion::Kind::SymbolicRegionKind) in reportPointerArithMisuse()
232 const MemRegion *Region = SV.getAsRegion(); in checkPostStmt()
253 const MemRegion *Region = AllocedVal.getAsRegion(); in checkPostStmt()
269 const MemRegion *Region = CastedVal.getAsRegion(); in checkPostStmt()
287 const MemRegion *Region = CastedVal.getAsRegion(); in checkPreStmt()