Home | History | Annotate | Download | only in Checkers

Lines Matching refs:getReceiverSVal

1467   SVal ReceiverV = Msg.getReceiverSVal();
2832     if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) {
2880       if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) {