Searched refs:getReceiverSVal (Results 1 – 11 of 11) sorted by relevance
172 SVal recVal = Msg->getReceiverSVal(); in VisitObjCMessage()231 SVal recVal = UpdatedMsg->getReceiverSVal(); in VisitObjCMessage()
674 Values.push_back(getReceiverSVal()); in getExtraInvalidatedValues()685 SVal ObjCMethodCall::getReceiverSVal() const { in getReceiverSVal() function in ObjCMethodCall857 Receiver = getReceiverSVal().getAsRegion(); in getRuntimeDefinition()949 SVal SelfVal = getReceiverSVal(); in getInitialStackFrameContents()
552 return State->BindExpr(E, LCtx, Msg->getReceiverSVal()); in bindReturnValue()
237 const MemRegion *RecReg = Msg->getReceiverSVal().getAsRegion(); in checkPostCall()684 SymbolRef Sym = M.getReceiverSVal().getAsSymbol(); in checkPreObjCMessage()794 SymbolRef RecSym = M.getReceiverSVal().getAsSymbol(); in checkPostObjCMessage()
1064 SymbolRef ContainerS = M.getReceiverSVal().getAsSymbol(); in checkPostObjCMessage()1126 return Message->getReceiverSVal().getAsSymbol(); in getMethodReceiverIfKnownImmutable()
444 SVal recVal = msg.getReceiverSVal(); in checkPreObjCMessage()
671 SVal Receiver = M.getReceiverSVal(); in getReceiverNullability()
1506 SVal ReceiverV = Msg.getReceiverSVal(); in getInstanceMethodSummary()2957 if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) { in processSummaryOfInlined()3042 if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) { in checkSummary()
690 SVal svTitle = msg.getReceiverSVal(); in checkPreObjCMessage()
2431 EscapingSymbol = Msg->getReceiverSVal().getAsSymbol(); in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
898 SVal getReceiverSVal() const;