Lines Matching refs:MemRegion
148 NullabilityBugVisitor(const MemRegion *M) : Region(M) {} in NullabilityBugVisitor()
163 const MemRegion *Region;
172 ExplodedNode *N, const MemRegion *Region,
178 const MemRegion *Region, BugReporter &BR, in reportBug()
247 REGISTER_MAP_WITH_PROGRAMSTATE(NullabilityMap, const MemRegion *,
297 const MemRegion *Region = RegionSVal->getRegion(); in getTrackRegion()
459 ErrorKind Error, ExplodedNode *N, const MemRegion *Region, in reportBugIfInvariantHolds()
506 const MemRegion *Region = in checkEvent()
633 const MemRegion *Region = getTrackRegion(*RetSVal); in checkPreStmt()
722 const MemRegion *Region = getTrackRegion(*ArgSVal); in checkPreCall()
786 const MemRegion *Region = getTrackRegion(Call.getReturnValue()); in checkPostCall()
828 const MemRegion *SelfRegion = ValueRegionSVal->getRegion(); in getReceiverNullability()
855 const MemRegion *ReturnRegion = getTrackRegion(M.getReturnValue()); in checkPostObjCMessage()
979 const MemRegion *Region = getTrackRegion(*RegionSVal); in checkPostStmt()
1151 const MemRegion *ValueRegion = getTrackRegion(*ValDefOrUnknown); in checkBind()