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()
959 SVal IvarLVal = getState()->getLValue(PropIvar, getReceiverSVal()); in getExtraInvalidatedValues()973 Values.push_back(getReceiverSVal()); in getExtraInvalidatedValues()976 SVal ObjCMethodCall::getReceiverSVal() const { in getReceiverSVal() function in ObjCMethodCall1262 Receiver = getReceiverSVal().getAsRegion(); in getRuntimeDefinition()1295 if (SymbolRef ReceiverSym = getReceiverSVal().getAsSymbol()) { in getRuntimeDefinition()1365 SVal SelfVal = getReceiverSVal(); in getInitialStackFrameContents()
759 return State->BindExpr(E, LCtx, Msg->getReceiverSVal()); in bindReturnValue()
680 const MemRegion *SelfRegion = Call.getReceiverSVal().getAsRegion(); in maybeEmitNoteForObjCSelf()
349 const MemRegion *RecReg = Msg->getReceiverSVal().getAsRegion(); in checkPostCall()798 SymbolRef Sym = M.getReceiverSVal().getAsSymbol(); in checkPreObjCMessage()968 SymbolRef RecSym = M.getReceiverSVal().getAsSymbol(); in checkPostObjCMessage()
339 ReleasedValue = M.getReceiverSVal().getAsSymbol(); in checkPreObjCMessage()341 if (diagnoseMistakenDealloc(M.getReceiverSVal().getAsSymbol(), M, C)) in checkPreObjCMessage()928 SVal ReceiverVal = M.getReceiverSVal(); in getValueReleasedByNillingOut()
187 SVal Receiver = MCall->getReceiverSVal(); in isNonNullPtr()
86 SymbolRef ReceiverSymbol = M.getReceiverSVal().getAsSymbol(); in checkPreObjCMessage()
1027 SymbolRef ContainerS = M.getReceiverSVal().getAsSymbol(); in checkPostObjCMessage()1088 return Message->getReceiverSVal().getAsSymbol(); in getMethodReceiverIfKnownImmutable()
882 SVal Receiver = M.getReceiverSVal(); in getReceiverNullability()1043 if (const MemRegion *ReceiverRegion = getTrackRegion(M.getReceiverSVal())) { in checkPostObjCMessage()
577 SVal recVal = msg.getReceiverSVal(); in checkPreObjCMessage()
824 SVal svTitle = msg.getReceiverSVal(); in checkPreObjCMessage()
3171 EscapingSymbol = Msg->getReceiverSVal().getAsSymbol(); in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
372 SVal ReceiverV = MC->getReceiverSVal(); in checkPostCall()471 if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) { in processSummaryOfInlined()646 if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) { in checkSummary()
1187 SVal getReceiverSVal() const;