Searched refs:getTrackRegion (Results 1 – 1 of 1) sorted by relevance
191 const SymbolicRegion *getTrackRegion(SVal Val,315 NullabilityChecker::getTrackRegion(SVal Val, bool CheckSuperRegion) const { in getTrackRegion() function in NullabilityChecker534 getTrackRegion(Event.Location, /*CheckSuperRegion=*/true); in checkEvent()736 const MemRegion *Region = getTrackRegion(*RetSVal); in checkPreStmt()826 const MemRegion *Region = getTrackRegion(*ArgSVal); in checkPreCall()885 const MemRegion *Region = getTrackRegion(Call.getReturnValue()); in checkPostCall()986 const MemRegion *ReturnRegion = getTrackRegion(M.getReturnValue()); in checkPostObjCMessage()1084 if (const MemRegion *ReceiverRegion = getTrackRegion(M.getReceiverSVal())) { in checkPostObjCMessage()1151 const MemRegion *Region = getTrackRegion(*RegionSVal); in checkPostStmt()1323 const MemRegion *ValueRegion = getTrackRegion(*ValDefOrUnknown); in checkBind()