Searched refs:ReceiverRegion (Results 1 – 2 of 2) sorted by relevance
511 const MemRegion *ReceiverRegion = PropKey.first; in checkDeadSymbols() local512 if (!SR.isLiveRegion(ReceiverRegion)) { in checkDeadSymbols()1084 if (const MemRegion *ReceiverRegion = getTrackRegion(M.getReceiverSVal())) { in checkPostObjCMessage() local1088 ObjectPropPair Key = std::make_pair(ReceiverRegion, Ident); in checkPostObjCMessage()
171 if (const MemRegion *ReceiverRegion = ReceiverSVal.getAsRegion()) { in inferReceiverType() local172 if (DynamicTypeInfo DTI = getDynamicTypeInfo(State, ReceiverRegion)) { in inferReceiverType()