Searched refs:getReceiverSVal (Results 1 – 12 of 12) sorted by relevance
987 SVal IvarLVal = getState()->getLValue(PropIvar, getReceiverSVal()); in getExtraInvalidatedValues()1001 Values.push_back(getReceiverSVal()); in getExtraInvalidatedValues()1004 SVal ObjCMethodCall::getReceiverSVal() const { in getReceiverSVal() function in ObjCMethodCall1290 Receiver = getReceiverSVal().getAsRegion(); in getRuntimeDefinition()1323 if (SymbolRef ReceiverSym = getReceiverSVal().getAsSymbol()) { in getRuntimeDefinition()1393 SVal SelfVal = getReceiverSVal(); in getInitialStackFrameContents()
756 return State->BindExpr(E, LCtx, Msg->getReceiverSVal()); in bindReturnValue()
710 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()
186 SVal Receiver = MCall->getReceiverSVal(); in isNonNullPtr()
87 SymbolRef ReceiverSymbol = M.getReceiverSVal().getAsSymbol(); in checkPreObjCMessage()
1031 SymbolRef ContainerS = M.getReceiverSVal().getAsSymbol(); in checkPostObjCMessage()1092 return Message->getReceiverSVal().getAsSymbol(); in getMethodReceiverIfKnownImmutable()
925 SVal Receiver = M.getReceiverSVal(); in getReceiverNullability()1084 if (const MemRegion *ReceiverRegion = getTrackRegion(M.getReceiverSVal())) { in checkPostObjCMessage()
819 SVal svTitle = msg.getReceiverSVal(); in checkPreObjCMessage()
3226 EscapingSymbol = Msg->getReceiverSVal().getAsSymbol(); in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
370 SVal ReceiverV = MC->getReceiverSVal(); in checkPostCall()469 if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) { in processSummaryOfInlined()644 if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) { in checkSummary()
1296 SVal getReceiverSVal() const;