Home
last modified time | relevance | path

Searched refs:getReceiverSVal (Results 1 – 13 of 13) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DExprEngineObjC.cpp172 SVal recVal = Msg->getReceiverSVal(); in VisitObjCMessage()
231 SVal recVal = UpdatedMsg->getReceiverSVal(); in VisitObjCMessage()
DCallEvent.cpp689 SVal IvarLVal = getState()->getLValue(PropIvar, getReceiverSVal()); in getExtraInvalidatedValues()
701 Values.push_back(getReceiverSVal()); in getExtraInvalidatedValues()
712 SVal ObjCMethodCall::getReceiverSVal() const { in getReceiverSVal() function in ObjCMethodCall
912 Receiver = getReceiverSVal().getAsRegion(); in getRuntimeDefinition()
1026 SVal SelfVal = getReceiverSVal(); in getInitialStackFrameContents()
DExprEngineCallAndReturn.cpp539 return State->BindExpr(E, LCtx, Msg->getReceiverSVal()); in bindReturnValue()
/external/clang/lib/StaticAnalyzer/Checkers/
DCheckObjCDealloc.cpp345 ReleasedValue = M.getReceiverSVal().getAsSymbol(); in checkPreObjCMessage()
347 if (diagnoseMistakenDealloc(M.getReceiverSVal().getAsSymbol(), M, C)) in checkPreObjCMessage()
928 SVal ReceiverVal = M.getReceiverSVal(); in getValueReleasedByNillingOut()
DDynamicTypePropagation.cpp237 const MemRegion *RecReg = Msg->getReceiverSVal().getAsRegion(); in checkPostCall()
709 SymbolRef Sym = M.getReceiverSVal().getAsSymbol(); in checkPreObjCMessage()
818 SymbolRef RecSym = M.getReceiverSVal().getAsSymbol(); in checkPostObjCMessage()
DObjCSuperDeallocChecker.cpp91 SymbolRef ReceiverSymbol = M.getReceiverSVal().getAsSymbol(); in checkPreObjCMessage()
DBasicObjCFoundationChecks.cpp1056 SymbolRef ContainerS = M.getReceiverSVal().getAsSymbol(); in checkPostObjCMessage()
1117 return Message->getReceiverSVal().getAsSymbol(); in getMethodReceiverIfKnownImmutable()
DCallAndMessageChecker.cpp444 SVal recVal = msg.getReceiverSVal(); in checkPreObjCMessage()
DRetainCountChecker.cpp1507 SVal ReceiverV = Msg.getReceiverSVal(); in getInstanceMethodSummary()
2950 if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) { in processSummaryOfInlined()
3035 if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) { in checkSummary()
DNullabilityChecker.cpp818 SVal Receiver = M.getReceiverSVal(); in getReceiverNullability()
DLocalizationChecker.cpp754 SVal svTitle = msg.getReceiverSVal(); in checkPreObjCMessage()
DMallocChecker.cpp2439 EscapingSymbol = Msg->getReceiverSVal().getAsSymbol(); in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DCallEvent.h930 SVal getReceiverSVal() const;