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
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()
187 Region->getKind() == MemRegion::Kind::SymbolicRegionKind) in reportPointerArithMisuse()
223 const MemRegion *Region = SV.getAsRegion(); in checkPostStmt()
244 const MemRegion *Region = AllocedVal.getAsRegion(); in checkPostStmt()
260 const MemRegion *Region = CastedVal.getAsRegion(); in checkPostStmt()
278 const MemRegion *Region = CastedVal.getAsRegion(); in checkPreStmt()