Searched refs:getReceiverSVal (Results 1 – 15 of 15) sorted by relevance
201 SVal recVal = Msg->getReceiverSVal(); in VisitObjCMessage()265 SVal recVal = UpdatedMsg->getReceiverSVal(); in VisitObjCMessage()
1007 SVal IvarLVal = getState()->getLValue(PropIvar, getReceiverSVal()); in getExtraInvalidatedValues()1021 Values.push_back(getReceiverSVal()); in getExtraInvalidatedValues()1024 SVal ObjCMethodCall::getReceiverSVal() const { in getReceiverSVal() function in ObjCMethodCall1310 Receiver = getReceiverSVal().getAsRegion(); in getRuntimeDefinition()1343 if (SymbolRef ReceiverSym = getReceiverSVal().getAsSymbol()) { in getRuntimeDefinition()1413 SVal SelfVal = getReceiverSVal(); in getInitialStackFrameContents()
757 return State->BindExpr(E, LCtx, Msg->getReceiverSVal()); in bindReturnValue()
617 const MemRegion *SelfRegion = Call.getReceiverSVal().getAsRegion(); in maybeEmitNoteForObjCSelf()
346 ReleasedValue = M.getReceiverSVal().getAsSymbol(); in checkPreObjCMessage()348 if (diagnoseMistakenDealloc(M.getReceiverSVal().getAsSymbol(), M, C)) in checkPreObjCMessage()918 SVal ReceiverVal = M.getReceiverSVal(); in getValueReleasedByNillingOut()
344 const MemRegion *RecReg = Msg->getReceiverSVal().getAsRegion(); in checkPostCall()799 SymbolRef Sym = M.getReceiverSVal().getAsSymbol(); in checkPreObjCMessage()968 SymbolRef RecSym = M.getReceiverSVal().getAsSymbol(); in checkPostObjCMessage()
186 SVal Receiver = MCall->getReceiverSVal(); in isNonNullPtr()
87 SymbolRef ReceiverSymbol = M.getReceiverSVal().getAsSymbol(); in checkPreObjCMessage()
1030 SymbolRef ContainerS = M.getReceiverSVal().getAsSymbol(); in checkPostObjCMessage()1091 return Message->getReceiverSVal().getAsSymbol(); in getMethodReceiverIfKnownImmutable()
925 SVal Receiver = M.getReceiverSVal(); in getReceiverNullability()1084 if (const MemRegion *ReceiverRegion = getTrackRegion(M.getReceiverSVal())) { in checkPostObjCMessage()
576 SVal recVal = msg.getReceiverSVal(); in checkPreObjCMessage()
815 SVal svTitle = msg.getReceiverSVal(); in checkPreObjCMessage()
3419 EscapingSymbol = Msg->getReceiverSVal().getAsSymbol(); in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
369 SVal ReceiverV = MC->getReceiverSVal(); in checkPostCall()468 if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) { in processSummaryOfInlined()643 if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) { in checkSummary()
1303 SVal getReceiverSVal() const;