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()
210 SymbolRef Sym = C.getSVal(CE).getAsLocSymbol(); in checkPostStmt()
234 if (SymbolRef sym = V.getAsSymbol()) in processObjCLiterals()
248 if (SymbolRef sym = in processObjCLiterals()
275 if (SymbolRef Sym = Pred->getSVal(Ex).getAsSymbol()) { in checkPostStmt()
291 SymbolRef Sym = State->getSVal(*IVarLoc).getAsSymbol(); 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()
479 if (SymbolRef Sym = CallOrMsg.getReturnValue().getAsSymbol()) { in processSummaryOfInlined()
560 SymbolRef Pointee = PointeeVal.getAsLocSymbol(); in updateOutParameters()
612 SymbolRef ErrorSym = nullptr; in checkSummary()
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()
687 if (SymbolRef Sym = CallOrMsg.getReturnValue().getAsSymbol()) { in checkSummary()
711 SymbolRef sym, RefVal V, in updateSymbol()
843 SymbolRef Sym) const { in errorKindToBugKind()
861 SymbolRef Sym, in processNonLeakError()
985 SymbolRef Sym = state->getSValAsScalarOrLoc(RetE, C.getLocationContext()) in processReturn()
1070 SymbolRef Sym, in checkReturnWithRetEffect()
1191 llvm::SmallPtrSet<SymbolRef, 8> AllowedSymbols; in checkRegionChanges()
1197 for (SymbolRef sym : *invalidated) { in checkRegionChanges()
1211 SymbolRef Sym, in handleAutoreleaseCounts()
1286 SymbolRef sid, RefVal V, in handleSymbolDeath()
1287 SmallVectorImpl<SymbolRef> &Leaked) const { in handleSymbolDeath()
1314 SmallVectorImpl<SymbolRef> &Leaked, in processLeaks()
1322 for (SymbolRef L : Leaked) { in processLeaks()
1349 SymbolRef Sym = state->getSVal(state->getRegion(Param, LCtx)).getAsSymbol(); in checkBeginFunction()
1401 SmallVector<SymbolRef, 10> Leaked; in checkEndFunction()
1414 SmallVector<SymbolRef, 10> Leaked; in checkDeadSymbols()
1418 SymbolRef Sym = I.first; in checkDeadSymbols()
1448 for (SymbolRef L : Leaked) in checkDeadSymbols()