Searched refs:getAsLocSymbol (Results 1 – 10 of 10) sorted by relevance
210 SymbolRef Sym = C.getSVal(CE).getAsLocSymbol(); in checkPostStmt()371 if (SymbolRef Sym = ReceiverV.getAsLocSymbol()) in checkPostCall()456 if (SymbolRef Sym = V.getAsLocSymbol()) { in processSummaryOfInlined()469 if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) { in processSummaryOfInlined()560 SymbolRef Pointee = PointeeVal.getAsLocSymbol(); in updateOutParameters()622 if (SymbolRef Sym = V.getAsLocSymbol()) { in checkSummary()644 if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) { in checkSummary()658 if (SymbolRef Sym = MCall->getCXXThisVal().getAsLocSymbol()) { in checkSummary()986 .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()626 SymbolRef SymV = Val.getAsLocSymbol(); in HandleBinding()
68 SymbolRef SVal::getAsLocSymbol(bool IncludeBaseRegions) const { in getAsLocSymbol() function in SVal109 return getAsLocSymbol(IncludeBaseRegions); in getAsSymbol()
506 if (SymbolRef lSym = lhs.getAsLocSymbol(true)) in evalBinOpNN()862 if (SymbolRef rSym = rhs.getAsLocSymbol()) { in evalBinOpLL()910 if (SymbolRef lSym = lhs.getAsLocSymbol(true)) { in evalBinOpLL()1068 SymbolRef LHSSym = lhs.getAsLocSymbol(); in evalBinOpLL()1069 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()
1755 StoreManager::FindUniqueBinding FB(V.getAsLocSymbol()); in VisitNode()2384 if (V.getAsLocSymbol(/*IncludeBaseRegions=*/true)) in handle()
211 SymbolRef sym = SM.getBinding(State->getStore(), *X).getAsLocSymbol(); in getAsPointeeSymbol()306 SymbolRef ArgSM = ArgSVal.getAsLocSymbol(); in checkPreStmt()
1539 SymbolRef Sym = RetVal->getAsLocSymbol(); in ProcessZeroAllocCheck()1771 SymbolRef Sym = RetVal->getAsLocSymbol(); in MallocUpdateRefState()2710 if (Val.getAsLocSymbol() == Sym) { in getAllocationSite()
127 SymbolRef getAsLocSymbol(bool IncludeBaseRegions = false) const;