Searched refs:getAsLocSymbol (Results 1 – 9 of 9) sorted by relevance
69 SymbolRef SVal::getAsLocSymbol(bool IncludeBaseRegions) const { in getAsLocSymbol() function in SVal72 return X->getLoc().getAsLocSymbol(); in getAsLocSymbol()116 return getAsLocSymbol(IncludeBaseRegion); in getAsSymbol()
646 if (SymbolRef rSym = rhs.getAsLocSymbol()) { in evalBinOpLL()696 if (SymbolRef lSym = lhs.getAsLocSymbol(true)) in evalBinOpLL()846 SymbolRef LHSSym = lhs.getAsLocSymbol(); in evalBinOpLL()847 SymbolRef RHSSym = rhs.getAsLocSymbol(); in evalBinOpLL()
1145 SymbolRef AS = SV.getAsLocSymbol(); in getMessage()1153 SymbolRef AS = PSV.getAsLocSymbol(); in getMessage()1162 SymbolRef RetSym = SV.getAsLocSymbol(); in getMessage()
509 SymbolRef SymV = val.getAsLocSymbol(); in HandleBinding()
996 if (V.getAsLocSymbol(/*IncludeBaseRegions*/ true)) { in trackNullOrUndefValue()
1458 if (SymbolRef Sym = ReceiverV.getAsLocSymbol()) in getInstanceMethodSummary()1961 if (CurrSt->getSValAsScalarOrLoc(*AI, LCtx).getAsLocSymbol() != Sym) in VisitNode()1971 .getAsLocSymbol() == Sym) { in VisitNode()2118 if (CurrSt->getSValAsScalarOrLoc(Exp, LCtx).getAsLocSymbol() == Sym) { in VisitNode()2701 SymbolRef Sym = state->getSVal(CE, C.getLocationContext()).getAsLocSymbol(); in checkPostStmt()2854 if (SymbolRef Sym = V.getAsLocSymbol()) { in processSummaryOfInlined()2863 if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) { in processSummaryOfInlined()2907 if (SymbolRef Sym = V.getAsLocSymbol()) { in checkSummary()2924 if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) { in checkSummary()3266 SymbolRef Sym = RetVal.getAsLocSymbol(); in evalCall()[all …]
223 SymbolRef sym = SM.getBinding(State->getStore(), *X).getAsLocSymbol(); in getAsPointeeSymbol()336 SymbolRef ArgSM = ArgSVal.getAsLocSymbol(); in checkPreStmt()
909 SymbolRef Sym = retVal.getAsLocSymbol(); in MallocUpdateRefState()1710 if (Val.getAsLocSymbol() == Sym) { in getAllocationSite()
153 SymbolRef getAsLocSymbol(bool IncludeBaseRegions = false) const;