Searched refs:getReceiverSVal (Results 1 – 15 of 15) sorted by relevance
188 SVal recVal = Msg->getReceiverSVal(); in VisitObjCMessage()252 SVal recVal = UpdatedMsg->getReceiverSVal(); in VisitObjCMessage()
935 SVal IvarLVal = getState()->getLValue(PropIvar, getReceiverSVal()); in getExtraInvalidatedValues()949 Values.push_back(getReceiverSVal()); in getExtraInvalidatedValues()960 SVal ObjCMethodCall::getReceiverSVal() const { in getReceiverSVal() function in ObjCMethodCall1190 Receiver = getReceiverSVal().getAsRegion(); in getRuntimeDefinition()1332 SVal SelfVal = getReceiverSVal(); in getInitialStackFrameContents()
599 return State->BindExpr(E, LCtx, Msg->getReceiverSVal()); in bindReturnValue()
333 const MemRegion *SelfRegion = MC->getReceiverSVal().getAsRegion(); in VisitNode()
232 const MemRegion *RecReg = Msg->getReceiverSVal().getAsRegion(); in checkPostCall()715 SymbolRef Sym = M.getReceiverSVal().getAsSymbol(); in checkPreObjCMessage()855 SymbolRef RecSym = M.getReceiverSVal().getAsSymbol(); in checkPostObjCMessage()
339 ReleasedValue = M.getReceiverSVal().getAsSymbol(); in checkPreObjCMessage()341 if (diagnoseMistakenDealloc(M.getReceiverSVal().getAsSymbol(), M, C)) in checkPreObjCMessage()929 SVal ReceiverVal = M.getReceiverSVal(); in getValueReleasedByNillingOut()
188 SVal Receiver = MCall->getReceiverSVal(); in isNonNullPtr()
88 SymbolRef ReceiverSymbol = M.getReceiverSVal().getAsSymbol(); in checkPreObjCMessage()
1027 SymbolRef ContainerS = M.getReceiverSVal().getAsSymbol(); in checkPostObjCMessage()1088 return Message->getReceiverSVal().getAsSymbol(); in getMethodReceiverIfKnownImmutable()
466 SVal recVal = msg.getReceiverSVal(); in checkPreObjCMessage()
795 SVal Receiver = M.getReceiverSVal(); in getReceiverNullability()
825 SVal svTitle = msg.getReceiverSVal(); in checkPreObjCMessage()
2675 EscapingSymbol = Msg->getReceiverSVal().getAsSymbol(); in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
401 SVal ReceiverV = MC->getReceiverSVal(); in checkPostCall()514 if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) { in processSummaryOfInlined()661 if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) { in checkSummary()
1025 SVal getReceiverSVal() const;