Lines Matching refs:SymbolRef
23 REGISTER_MAP_WITH_PROGRAMSTATE(RefBindings, SymbolRef, RefVal)
29 const RefVal *getRefBinding(ProgramStateRef State, SymbolRef Sym) { in getRefBinding()
37 static ProgramStateRef setRefBinding(ProgramStateRef State, SymbolRef Sym, in setRefBinding()
43 static ProgramStateRef removeRefBinding(ProgramStateRef State, SymbolRef Sym) { in removeRefBinding()
136 bool VisitSymbol(SymbolRef sym) override { in VisitSymbol()
212 SymbolRef Sym = C.getSVal(CE).getAsLocSymbol(); in checkPostStmt()
236 if (SymbolRef sym = V.getAsSymbol()) in processObjCLiterals()
250 if (SymbolRef sym = in processObjCLiterals()
277 if (SymbolRef Sym = Pred->getSVal(Ex).getAsSymbol()) { in checkPostStmt()
293 SymbolRef Sym = State->getSVal(*IVarLoc).getAsSymbol(); in checkPostStmt()
373 if (SymbolRef Sym = ReceiverV.getAsLocSymbol()) in checkPostCall()
458 if (SymbolRef Sym = V.getAsLocSymbol()) { in processSummaryOfInlined()
471 if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) { in processSummaryOfInlined()
481 if (SymbolRef Sym = CallOrMsg.getReturnValue().getAsSymbol()) { in processSummaryOfInlined()
562 SymbolRef Pointee = PointeeVal.getAsLocSymbol(); in updateOutParameters()
614 SymbolRef ErrorSym = nullptr; in checkSummary()
624 if (SymbolRef Sym = V.getAsLocSymbol()) { in checkSummary()
646 if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) { in checkSummary()
660 if (SymbolRef Sym = MCall->getCXXThisVal().getAsLocSymbol()) { in checkSummary()
689 if (SymbolRef Sym = CallOrMsg.getReturnValue().getAsSymbol()) { in checkSummary()
713 SymbolRef sym, RefVal V, in updateSymbol()
845 SymbolRef Sym) const { in errorKindToBugKind()
863 SymbolRef Sym, in processNonLeakError()
987 SymbolRef Sym = state->getSValAsScalarOrLoc(RetE, C.getLocationContext()) in processReturn()
1072 SymbolRef Sym, in checkReturnWithRetEffect()
1193 llvm::SmallPtrSet<SymbolRef, 8> AllowedSymbols; in checkRegionChanges()
1199 for (SymbolRef sym : *invalidated) { in checkRegionChanges()
1213 SymbolRef Sym, in handleAutoreleaseCounts()
1288 SymbolRef sid, RefVal V, in handleSymbolDeath()
1289 SmallVectorImpl<SymbolRef> &Leaked) const { in handleSymbolDeath()
1316 SmallVectorImpl<SymbolRef> &Leaked, in processLeaks()
1324 for (SymbolRef L : Leaked) { in processLeaks()
1351 SymbolRef Sym = state->getSVal(state->getRegion(Param, LCtx)).getAsSymbol(); in checkBeginFunction()
1403 SmallVector<SymbolRef, 10> Leaked; in checkEndFunction()
1416 SmallVector<SymbolRef, 10> Leaked; in checkDeadSymbols()
1420 SymbolRef Sym = I.first; in checkDeadSymbols()
1450 for (SymbolRef L : Leaked) in checkDeadSymbols()