reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

Declarations

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h

  993   SVal getReceiverSVal() const;

References

tools/clang/lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp

 1027   SymbolRef ContainerS = M.getReceiverSVal().getAsSymbol();
 1088   return Message->getReceiverSVal().getAsSymbol();

tools/clang/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp

  458   SVal recVal = msg.getReceiverSVal();

tools/clang/lib/StaticAnalyzer/Checkers/CheckObjCDealloc.cpp

  338     ReleasedValue = M.getReceiverSVal().getAsSymbol();
  340     if (diagnoseMistakenDealloc(M.getReceiverSVal().getAsSymbol(), M, C))
  927   SVal ReceiverVal = M.getReceiverSVal();

tools/clang/lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp

  224         const MemRegion *RecReg = Msg->getReceiverSVal().getAsRegion();
  707   SymbolRef Sym = M.getReceiverSVal().getAsSymbol();
  846   SymbolRef RecSym = M.getReceiverSVal().getAsSymbol();

tools/clang/lib/StaticAnalyzer/Checkers/LocalizationChecker.cpp

  823     SVal svTitle = msg.getReceiverSVal();

tools/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp

 2981       EscapingSymbol = Msg->getReceiverSVal().getAsSymbol();

tools/clang/lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp

  792   SVal Receiver = M.getReceiverSVal();

tools/clang/lib/StaticAnalyzer/Checkers/ObjCSuperDeallocChecker.cpp

   86   SymbolRef ReceiverSymbol = M.getReceiverSVal().getAsSymbol();

tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp

  371       SVal ReceiverV = MC->getReceiverSVal();
  470     if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) {
  645       if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) {

tools/clang/lib/StaticAnalyzer/Checkers/TrustNonnullChecker.cpp

  187     SVal Receiver = MCall->getReceiverSVal();

tools/clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp

  564       const MemRegion *SelfRegion = MC->getReceiverSVal().getAsRegion();

tools/clang/lib/StaticAnalyzer/Core/CallEvent.cpp

  952       SVal IvarLVal = getState()->getLValue(PropIvar, getReceiverSVal());
  966   Values.push_back(getReceiverSVal());
 1207       Receiver = getReceiverSVal().getAsRegion();
 1349   SVal SelfVal = getReceiverSVal();

tools/clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp

  616       return State->BindExpr(E, LCtx, Msg->getReceiverSVal());

tools/clang/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp

  187     SVal recVal = Msg->getReceiverSVal();
  251       SVal recVal = UpdatedMsg->getReceiverSVal();