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()
985 SymbolRef Sym = state->getSValAsScalarOrLoc(RetE, C.getLocationContext()) in processReturn()
1070 SymbolRef Sym, in checkReturnWithRetEffect()
1191 llvm::SmallPtrSet<SymbolRef, 8> WhitelistedSymbols; 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()