Searched refs:ReceiverSVal (Results 1 – 1 of 1) sorted by relevance
173 SVal ReceiverSVal = C.getSVal(RecE); in inferReceiverType() local176 if (const MemRegion *ReceiverRegion = ReceiverSVal.getAsRegion()) { in inferReceiverType()182 if (SymbolRef ReceiverSymbol = ReceiverSVal.getAsSymbol()) { in inferReceiverType()202 if (ReceiverSVal == SelfSVal) { in inferReceiverType()