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