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()
923 SVal IvarLVal = getState()->getLValue(PropIvar, getReceiverSVal()); in getExtraInvalidatedValues()937 Values.push_back(getReceiverSVal()); in getExtraInvalidatedValues()940 SVal ObjCMethodCall::getReceiverSVal() const { in getReceiverSVal() function in ObjCMethodCall1226 Receiver = getReceiverSVal().getAsRegion(); in getRuntimeDefinition()1259 if (SymbolRef ReceiverSym = getReceiverSVal().getAsSymbol()) { in getRuntimeDefinition()1329 SVal SelfVal = getReceiverSVal(); in getInitialStackFrameContents()
706 return State->BindExpr(E, LCtx, Msg->getReceiverSVal()); in bindReturnValue()
680 const MemRegion *SelfRegion = Call.getReceiverSVal().getAsRegion(); in maybeEmitNoteForObjCSelf()
338 ReleasedValue = M.getReceiverSVal().getAsSymbol(); in checkPreObjCMessage()340 if (diagnoseMistakenDealloc(M.getReceiverSVal().getAsSymbol(), M, C)) in checkPreObjCMessage()927 SVal ReceiverVal = M.getReceiverSVal(); in getValueReleasedByNillingOut()
348 const MemRegion *RecReg = Msg->getReceiverSVal().getAsRegion(); in checkPostCall()797 SymbolRef Sym = M.getReceiverSVal().getAsSymbol(); in checkPreObjCMessage()967 SymbolRef RecSym = M.getReceiverSVal().getAsSymbol(); in checkPostObjCMessage()
187 SVal Receiver = MCall->getReceiverSVal(); in isNonNullPtr()
86 SymbolRef ReceiverSymbol = M.getReceiverSVal().getAsSymbol(); in checkPreObjCMessage()
1024 SymbolRef ContainerS = M.getReceiverSVal().getAsSymbol(); in checkPostObjCMessage()1085 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()
3180 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()
1174 SVal getReceiverSVal() const;