Lines Matching refs:MemRegion
51 const MemRegion *getArrayRegion(const MemRegion *Region, bool &Polymorphic,
53 const MemRegion *getPointedRegion(const MemRegion *Region,
75 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, const MemRegion *, AllocKind) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
105 const MemRegion *
106 PointerArithChecker::getPointedRegion(const MemRegion *Region, in getPointedRegion()
118 const MemRegion *PointerArithChecker::getArrayRegion(const MemRegion *Region, in getArrayRegion()
123 while (Region->getKind() == MemRegion::Kind::CXXBaseObjectRegionKind) { in getArrayRegion()
127 if (Region->getKind() == MemRegion::Kind::ElementRegionKind) { in getArrayRegion()
141 if (Region->getKind() == MemRegion::Kind::SymbolicRegionKind) in getArrayRegion()
157 const MemRegion *Region = C.getSVal(E).getAsRegion(); in reportPointerArithMisuse()
167 if (const MemRegion *ArrayRegion = in reportPointerArithMisuse()
191 Region->getKind() == MemRegion::Kind::SymbolicRegionKind) in reportPointerArithMisuse()
230 const MemRegion *Region = SV.getAsRegion(); in checkPostStmt()
251 const MemRegion *Region = AllocedVal.getAsRegion(); in checkPostStmt()
267 const MemRegion *Region = CastedVal.getAsRegion(); in checkPostStmt()
285 const MemRegion *Region = CastedVal.getAsRegion(); in checkPreStmt()