Searched refs:getReceiverSVal (Results 1 – 15 of 15) sorted by relevance
184 SVal recVal = Msg->getReceiverSVal(); in VisitObjCMessage()248 SVal recVal = UpdatedMsg->getReceiverSVal(); in VisitObjCMessage()
954 SVal IvarLVal = getState()->getLValue(PropIvar, getReceiverSVal()); in getExtraInvalidatedValues()968 Values.push_back(getReceiverSVal()); in getExtraInvalidatedValues()971 SVal ObjCMethodCall::getReceiverSVal() const { in getReceiverSVal() function in ObjCMethodCall1257 Receiver = getReceiverSVal().getAsRegion(); in getRuntimeDefinition()1290 if (SymbolRef ReceiverSym = getReceiverSVal().getAsSymbol()) { in getRuntimeDefinition()1360 SVal SelfVal = getReceiverSVal(); in getInitialStackFrameContents()
653 return State->BindExpr(E, LCtx, Msg->getReceiverSVal()); in bindReturnValue()
585 const MemRegion *SelfRegion = MC->getReceiverSVal().getAsRegion(); in VisitNode()
338 ReleasedValue = M.getReceiverSVal().getAsSymbol(); in checkPreObjCMessage()340 if (diagnoseMistakenDealloc(M.getReceiverSVal().getAsSymbol(), M, C)) in checkPreObjCMessage()927 SVal ReceiverVal = M.getReceiverSVal(); in getValueReleasedByNillingOut()
351 const MemRegion *RecReg = Msg->getReceiverSVal().getAsRegion(); in checkPostCall()800 SymbolRef Sym = M.getReceiverSVal().getAsSymbol(); in checkPreObjCMessage()970 SymbolRef RecSym = M.getReceiverSVal().getAsSymbol(); in checkPostObjCMessage()
187 SVal Receiver = MCall->getReceiverSVal(); in isNonNullPtr()
86 SymbolRef ReceiverSymbol = M.getReceiverSVal().getAsSymbol(); in checkPreObjCMessage()
1026 SymbolRef ContainerS = M.getReceiverSVal().getAsSymbol(); in checkPostObjCMessage()1087 return Message->getReceiverSVal().getAsSymbol(); in getMethodReceiverIfKnownImmutable()
577 SVal recVal = msg.getReceiverSVal(); in checkPreObjCMessage()
833 SVal Receiver = M.getReceiverSVal(); in getReceiverNullability()
823 SVal svTitle = msg.getReceiverSVal(); in checkPreObjCMessage()
2964 EscapingSymbol = Msg->getReceiverSVal().getAsSymbol(); in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
371 SVal ReceiverV = MC->getReceiverSVal(); in checkPostCall()470 if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) { in processSummaryOfInlined()645 if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) { in checkSummary()
1175 SVal getReceiverSVal() const;