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()986 .getAsLocSymbol(/*IncludeBaseRegions=*/true); in processReturn()
399 if (SymbolRef SR = Call->getArgSVal(I).getAsLocSymbol()) { in annotateConsumedSummaryMismatch()571 if (CurrSt->getSValAsScalarOrLoc(*AI, LCtx).getAsLocSymbol() != Sym) in VisitNode()580 .getAsLocSymbol() == Sym) { in VisitNode()603 if (CurrSt->getSValAsScalarOrLoc(Exp, LCtx).getAsLocSymbol() == Sym) { in VisitNode()631 SymbolRef SymV = Val.getAsLocSymbol(); in HandleBinding()
85 SymbolRef SVal::getAsLocSymbol(bool IncludeBaseRegions) const { in getAsLocSymbol() function in SVal126 return getAsLocSymbol(IncludeBaseRegions); in getAsSymbol()
448 if (SymbolRef lSym = lhs.getAsLocSymbol(true)) in evalBinOpNN()760 if (SymbolRef rSym = rhs.getAsLocSymbol()) { in evalBinOpLL()810 if (SymbolRef lSym = lhs.getAsLocSymbol(true)) { in evalBinOpLL()968 SymbolRef LHSSym = lhs.getAsLocSymbol(); in evalBinOpLL()969 SymbolRef RHSSym = rhs.getAsLocSymbol(); in evalBinOpLL()
513 SymbolRef SymV = val.getAsLocSymbol(); in HandleBinding()
303 SymbolRef AS = SV.getAsLocSymbol(); in getMessage()314 SymbolRef AS = PSV.getAsLocSymbol(); in getMessage()323 SymbolRef RetSym = SV.getAsLocSymbol(); in getMessage()
1557 StoreManager::FindUniqueBinding FB(V.getAsLocSymbol()); in VisitNode()2125 if (V.getAsLocSymbol(/*IncludeBaseRegions=*/true)) in trackExpressionValue()
215 SymbolRef sym = SM.getBinding(State->getStore(), *X).getAsLocSymbol(); in getAsPointeeSymbol()313 SymbolRef ArgSM = ArgSVal.getAsLocSymbol(); in checkPreStmt()
1336 SymbolRef Sym = RetVal->getAsLocSymbol(); in ProcessZeroAllocCheck()1562 SymbolRef Sym = RetVal->getAsLocSymbol(); in MallocUpdateRefState()2500 if (Val.getAsLocSymbol() == Sym) { in getAllocationSite()
172 SymbolRef getAsLocSymbol(bool IncludeBaseRegions = false) const;