Lines Matching refs:SymbolRef

22 REGISTER_MAP_WITH_PROGRAMSTATE(RefBindings, SymbolRef, RefVal)
28 const RefVal *getRefBinding(ProgramStateRef State, SymbolRef Sym) { in getRefBinding()
36 static ProgramStateRef setRefBinding(ProgramStateRef State, SymbolRef Sym, in setRefBinding()
42 static ProgramStateRef removeRefBinding(ProgramStateRef State, SymbolRef Sym) { in removeRefBinding()
135 bool VisitSymbol(SymbolRef sym) override { in VisitSymbol()
211 SymbolRef Sym = C.getSVal(CE).getAsLocSymbol(); in checkPostStmt()
235 if (SymbolRef sym = V.getAsSymbol()) in processObjCLiterals()
249 if (SymbolRef sym = in processObjCLiterals()
276 if (SymbolRef Sym = Pred->getSVal(Ex).getAsSymbol()) { in checkPostStmt()
292 SymbolRef Sym = State->getSVal(*IVarLoc).getAsSymbol(); 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()
480 if (SymbolRef Sym = CallOrMsg.getReturnValue().getAsSymbol()) { in processSummaryOfInlined()
561 SymbolRef Pointee = PointeeVal.getAsLocSymbol(); in updateOutParameters()
613 SymbolRef ErrorSym = nullptr; in checkSummary()
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()
688 if (SymbolRef Sym = CallOrMsg.getReturnValue().getAsSymbol()) { in checkSummary()
712 SymbolRef sym, RefVal V, in updateSymbol()
844 SymbolRef Sym) const { in errorKindToBugKind()
862 SymbolRef Sym, in processNonLeakError()
986 SymbolRef Sym = state->getSValAsScalarOrLoc(RetE, C.getLocationContext()) in processReturn()
1071 SymbolRef Sym, in checkReturnWithRetEffect()
1192 llvm::SmallPtrSet<SymbolRef, 8> AllowedSymbols; in checkRegionChanges()
1198 for (SymbolRef sym : *invalidated) { in checkRegionChanges()
1212 SymbolRef Sym, in handleAutoreleaseCounts()
1287 SymbolRef sid, RefVal V, in handleSymbolDeath()
1288 SmallVectorImpl<SymbolRef> &Leaked) const { in handleSymbolDeath()
1315 SmallVectorImpl<SymbolRef> &Leaked, in processLeaks()
1323 for (SymbolRef L : Leaked) { in processLeaks()
1350 SymbolRef Sym = state->getSVal(state->getRegion(Param, LCtx)).getAsSymbol(); in checkBeginFunction()
1402 SmallVector<SymbolRef, 10> Leaked; in checkEndFunction()
1415 SmallVector<SymbolRef, 10> Leaked; in checkDeadSymbols()
1419 SymbolRef Sym = I.first; in checkDeadSymbols()
1449 for (SymbolRef L : Leaked) in checkDeadSymbols()