Searched refs:getAsLocSymbol (Results 1 – 10 of 10) sorted by relevance
211 SymbolRef Sym = C.getSVal(CE).getAsLocSymbol(); in checkPostStmt()372 if (SymbolRef Sym = ReceiverV.getAsLocSymbol()) in checkPostCall()457 if (SymbolRef Sym = V.getAsLocSymbol()) { in processSummaryOfInlined()470 if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) { in processSummaryOfInlined()561 SymbolRef Pointee = PointeeVal.getAsLocSymbol(); in updateOutParameters()623 if (SymbolRef Sym = V.getAsLocSymbol()) { in checkSummary()645 if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) { in checkSummary()659 if (SymbolRef Sym = MCall->getCXXThisVal().getAsLocSymbol()) { in checkSummary()987 .getAsLocSymbol(/*IncludeBaseRegions=*/true); in processReturn()
393 if (SymbolRef SR = Call->getArgSVal(I).getAsLocSymbol()) { in annotateConsumedSummaryMismatch()565 if (CurrSt->getSValAsScalarOrLoc(*AI, LCtx).getAsLocSymbol() != Sym) in VisitNode()574 .getAsLocSymbol() == Sym) { in VisitNode()597 if (CurrSt->getSValAsScalarOrLoc(Exp, LCtx).getAsLocSymbol() == Sym) { in VisitNode()625 SymbolRef SymV = Val.getAsLocSymbol(); in HandleBinding()
68 SymbolRef SVal::getAsLocSymbol(bool IncludeBaseRegions) const { in getAsLocSymbol() function in SVal109 return getAsLocSymbol(IncludeBaseRegions); in getAsSymbol()
491 if (SymbolRef lSym = lhs.getAsLocSymbol(true)) in evalBinOpNN()835 if (SymbolRef rSym = rhs.getAsLocSymbol()) { in evalBinOpLL()883 if (SymbolRef lSym = lhs.getAsLocSymbol(true)) { in evalBinOpLL()1041 SymbolRef LHSSym = lhs.getAsLocSymbol(); in evalBinOpLL()1042 SymbolRef RHSSym = rhs.getAsLocSymbol(); in evalBinOpLL()
527 SymbolRef SymV = val.getAsLocSymbol(); in HandleBinding()
306 SymbolRef AS = SV.getAsLocSymbol(); in getMessage()317 SymbolRef AS = PSV.getAsLocSymbol(); in getMessage()326 SymbolRef RetSym = SV.getAsLocSymbol(); in getMessage()
1571 StoreManager::FindUniqueBinding FB(V.getAsLocSymbol()); in VisitNode()2207 if (V.getAsLocSymbol(/*IncludeBaseRegions=*/true)) in handle()
214 SymbolRef sym = SM.getBinding(State->getStore(), *X).getAsLocSymbol(); in getAsPointeeSymbol()312 SymbolRef ArgSM = ArgSVal.getAsLocSymbol(); in checkPreStmt()
1548 SymbolRef Sym = RetVal->getAsLocSymbol(); in ProcessZeroAllocCheck()1774 SymbolRef Sym = RetVal->getAsLocSymbol(); in MallocUpdateRefState()2714 if (Val.getAsLocSymbol() == Sym) { in getAllocationSite()
158 SymbolRef getAsLocSymbol(bool IncludeBaseRegions = false) const;