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