Searched refs:getReceiverSVal (Results 1 – 9 of 9) sorted by relevance
616 Values.push_back(getReceiverSVal()); in getExtraInvalidatedValues()627 SVal ObjCMethodCall::getReceiverSVal() const { in getReceiverSVal() function in ObjCMethodCall799 Receiver = getReceiverSVal().getAsRegion(); in getRuntimeDefinition()891 SVal SelfVal = getReceiverSVal(); in getInitialStackFrameContents()
161 SVal recVal = UpdatedMsg->getReceiverSVal(); in VisitObjCMessage()
551 return State->BindExpr(E, LCtx, Msg->getReceiverSVal()); in bindReturnValue()
140 const MemRegion *RecReg = Msg->getReceiverSVal().getAsRegion(); in checkPostCall()
1064 SymbolRef ContainerS = M.getReceiverSVal().getAsSymbol(); in checkPostObjCMessage()1126 return Message->getReceiverSVal().getAsSymbol(); in getMethodReceiverIfKnownImmutable()
437 SVal recVal = msg.getReceiverSVal(); in checkPreObjCMessage()
1457 SVal ReceiverV = Msg.getReceiverSVal(); in getInstanceMethodSummary()2863 if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) { in processSummaryOfInlined()2924 if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) { in checkSummary()
2094 EscapingSymbol = Msg->getReceiverSVal().getAsSymbol(); in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
839 SVal getReceiverSVal() const;