Searched refs:ReceiverRegion (Results 1 – 2 of 2) sorted by relevance
514 const MemRegion *ReceiverRegion = PropKey.first; in checkDeadSymbols() local515 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()
175 if (const MemRegion *ReceiverRegion = ReceiverSVal.getAsRegion()) { in inferReceiverType() local176 if (DynamicTypeInfo DTI = getDynamicTypeInfo(State, ReceiverRegion)) { in inferReceiverType()