Home | History | Annotate | Download | only in Checkers

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)
104 const MemRegion *
105 PointerArithChecker::getPointedRegion(const MemRegion *Region,
117 const MemRegion *PointerArithChecker::getArrayRegion(const MemRegion *Region,
156   const MemRegion *Region = C.getSVal(E).getAsRegion();
166   if (const MemRegion *ArrayRegion =
190       Region->getKind() == MemRegion::Kind::SymbolicRegionKind)
229   const MemRegion *Region = SV.getAsRegion();
250   const MemRegion *Region = AllocedVal.getAsRegion();
266   const MemRegion *Region = CastedVal.getAsRegion();
284   const MemRegion *Region = CastedVal.getAsRegion();