Searched refs:ReceiverRegion (Results 1 – 1 of 1) 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()