Lines Matching refs:MemRegion
149 NullabilityBugVisitor(const MemRegion *M) : Region(M) {} in NullabilityBugVisitor()
164 const MemRegion *Region;
173 const MemRegion *Region, CheckerContext &C,
177 void reportBug(ErrorKind Error, ExplodedNode *N, const MemRegion *Region, in reportBug()
237 REGISTER_MAP_WITH_PROGRAMSTATE(NullabilityMap, const MemRegion *,
268 const MemRegion *Region = RegionSVal->getRegion(); in getTrackRegion()
392 ErrorKind Error, ExplodedNode *N, const MemRegion *Region, in reportBugIfPreconditionHolds()
439 const MemRegion *Region = in checkEvent()
510 const MemRegion *Region = getTrackRegion(*RetSVal); in checkPreStmt()
582 const MemRegion *Region = getTrackRegion(*ArgSVal); in checkPreCall()
639 const MemRegion *Region = getTrackRegion(Call.getReturnValue()); in checkPostCall()
681 const MemRegion *SelfRegion = ValueRegionSVal->getRegion(); in getReceiverNullability()
708 const MemRegion *ReturnRegion = getTrackRegion(M.getReturnValue()); in checkPostObjCMessage()
832 const MemRegion *Region = getTrackRegion(*RegionSVal); in checkPostStmt()
937 const MemRegion *ValueRegion = getTrackRegion(*ValDefOrUnknown); in checkBind()