Lines Matching refs:MemRegion
50 const MemRegion *getArrayRegion(const MemRegion *Region, bool &Polymorphic,
52 const MemRegion *getPointedRegion(const MemRegion *Region,
74 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, const MemRegion *, AllocKind) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
104 const MemRegion *
105 PointerArithChecker::getPointedRegion(const MemRegion *Region, in getPointedRegion()
117 const MemRegion *PointerArithChecker::getArrayRegion(const MemRegion *Region, in getArrayRegion()
156 const MemRegion *Region = C.getSVal(E).getAsRegion(); in reportPointerArithMisuse()
166 if (const MemRegion *ArrayRegion = in reportPointerArithMisuse()
190 Region->getKind() == MemRegion::Kind::SymbolicRegionKind) in reportPointerArithMisuse()
229 const MemRegion *Region = SV.getAsRegion(); in checkPostStmt()
250 const MemRegion *Region = AllocedVal.getAsRegion(); in checkPostStmt()
266 const MemRegion *Region = CastedVal.getAsRegion(); in checkPostStmt()
284 const MemRegion *Region = CastedVal.getAsRegion(); in checkPreStmt()