Lines Matching refs:SymbolRef

22 REGISTER_MAP_WITH_PROGRAMSTATE(RefBindings, SymbolRef, RefVal)
28 const RefVal *getRefBinding(ProgramStateRef State, SymbolRef Sym) { in getRefBinding()
32 ProgramStateRef setRefBinding(ProgramStateRef State, SymbolRef Sym, in setRefBinding()
38 ProgramStateRef removeRefBinding(ProgramStateRef State, SymbolRef Sym) { in removeRefBinding()
198 bool VisitSymbol(SymbolRef sym) override { in VisitSymbol()
266 SymbolRef Sym = C.getSVal(CE).getAsLocSymbol(); in checkPostStmt()
290 if (SymbolRef sym = V.getAsSymbol()) in processObjCLiterals()
304 if (SymbolRef sym = in processObjCLiterals()
331 if (SymbolRef Sym = Pred->getSVal(Ex).getAsSymbol()) { in checkPostStmt()
347 SymbolRef Sym = State->getSVal(*IVarLoc).getAsSymbol(); in checkPostStmt()
402 if (SymbolRef Sym = ReceiverV.getAsLocSymbol()) in checkPostCall()
501 if (SymbolRef Sym = V.getAsLocSymbol()) { in processSummaryOfInlined()
514 if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) { in processSummaryOfInlined()
524 if (SymbolRef Sym = CallOrMsg.getReturnValue().getAsSymbol()) { in processSummaryOfInlined()
576 SymbolRef Pointee = PointeeVal.getAsLocSymbol(); in updateOutParameters()
628 SymbolRef ErrorSym = nullptr; in checkSummary()
639 if (SymbolRef Sym = V.getAsLocSymbol()) { in checkSummary()
661 if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) { in checkSummary()
675 if (SymbolRef Sym = MCall->getCXXThisVal().getAsLocSymbol()) { in checkSummary()
704 if (SymbolRef Sym = CallOrMsg.getReturnValue().getAsSymbol()) { in checkSummary()
728 SymbolRef sym, RefVal V, in updateSymbol()
861 SymbolRef Sym, in processNonLeakError()
991 SymbolRef Sym = in processReturn()
1076 SymbolRef Sym, in checkReturnWithRetEffect()
1226 llvm::SmallPtrSet<SymbolRef, 8> WhitelistedSymbols; in checkRegionChanges()
1233 for (SymbolRef sym : in checkRegionChanges()
1248 SymbolRef Sym, in handleAutoreleaseCounts()
1326 SymbolRef sid, RefVal V, in handleSymbolDeath()
1327 SmallVectorImpl<SymbolRef> &Leaked) const { in handleSymbolDeath()
1354 SmallVectorImpl<SymbolRef> &Leaked, in processLeaks()
1361 for (SmallVectorImpl<SymbolRef>::iterator in processLeaks()
1398 SymbolRef Sym = state->getSVal(state->getRegion(Param, LCtx)).getAsSymbol(); in checkBeginFunction()
1449 SmallVector<SymbolRef, 10> Leaked; in checkEndFunction()
1463 SmallVector<SymbolRef, 10> Leaked; in checkDeadSymbols()
1467 SymbolRef Sym = I.first; in checkDeadSymbols()
1497 for (SmallVectorImpl<SymbolRef>::iterator I = Leaked.begin(), in checkDeadSymbols()