Lines Matching refs:SymbolRef
363 REGISTER_MAP_WITH_PROGRAMSTATE(RefBindings, SymbolRef, RefVal) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
366 SymbolRef Sym) { in REGISTER_MAP_WITH_PROGRAMSTATE()
371 SymbolRef Sym, RefVal Val) { in setRefBinding()
375 static ProgramStateRef removeRefBinding(ProgramStateRef State, SymbolRef Sym) { in removeRefBinding()
1508 if (SymbolRef Sym = ReceiverV.getAsLocSymbol()) in getInstanceMethodSummary()
1750 SymbolRef Sym;
1755 CFRefReportVisitor(SymbolRef sym, bool gcEnabled, const SummaryLogTy &log) in CFRefReportVisitor()
1776 CFRefLeakReportVisitor(SymbolRef sym, bool GCEnabled, in CFRefLeakReportVisitor()
1799 const SummaryLogTy &Log, ExplodedNode *n, SymbolRef sym, in CFRefReport()
1808 const SummaryLogTy &Log, ExplodedNode *n, SymbolRef sym, in CFRefReport()
1827 const SummaryLogTy &Log, ExplodedNode *n, SymbolRef sym,
2215 SymbolRef Sym) { in GetAllocationSite()
2392 ExplodedNode *n, SymbolRef sym, in CFRefLeakReport()
2484 typedef llvm::DenseMap<SymbolRef, const CheckerProgramPointTag *> SymbolTagMap;
2650 SymbolRef Sym, ProgramStateRef state) const;
2655 ProgramStateRef updateSymbol(ProgramStateRef state, SymbolRef sym,
2660 RefVal::Kind ErrorKind, SymbolRef Sym,
2665 const ProgramPointTag *getDeadSymbolTag(SymbolRef sym) const;
2668 SymbolRef sid, RefVal V,
2669 SmallVectorImpl<SymbolRef> &Leaked) const;
2674 SymbolRef Sym, RefVal V) const;
2677 SmallVectorImpl<SymbolRef> &Leaked,
2690 bool VisitSymbol(SymbolRef sym) override { in VisitSymbol()
2762 SymbolRef Sym = state->getSVal(CE, C.getLocationContext()).getAsLocSymbol(); in checkPostStmt()
2786 if (SymbolRef sym = V.getAsSymbol()) in processObjCLiterals()
2799 if (SymbolRef sym = in processObjCLiterals()
2827 if (SymbolRef Sym = State->getSVal(Ex, LCtx).getAsSymbol()) { in checkPostStmt()
2843 SymbolRef Sym = State->getSVal(*IVarLoc).getAsSymbol(); in checkPostStmt()
2941 if (SymbolRef Sym = V.getAsLocSymbol()) { in processSummaryOfInlined()
2950 if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) { in processSummaryOfInlined()
2960 SymbolRef Sym = CallOrMsg.getReturnValue().getAsSymbol(); in processSummaryOfInlined()
2980 SymbolRef Pointee = PointeeVal.getAsLocSymbol(); in updateOutParameter()
3010 SymbolRef ErrorSym = nullptr; in checkSummary()
3018 } else if (SymbolRef Sym = V.getAsLocSymbol()) { in checkSummary()
3035 if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) { in checkSummary()
3076 SymbolRef Sym = CallOrMsg.getReturnValue().getAsSymbol(); in checkSummary()
3094 SymbolRef Sym = CallOrMsg.getReturnValue().getAsSymbol(); in checkSummary()
3128 RetainCountChecker::updateSymbol(ProgramStateRef state, SymbolRef sym, in updateSymbol()
3291 SymbolRef Sym, in processNonLeakError()
3403 SymbolRef Sym = RetVal.getAsLocSymbol(); in evalCall()
3441 SymbolRef Sym = in checkPreStmt()
3527 SymbolRef Sym, in checkReturnWithRetEffect()
3705 llvm::SmallPtrSet<SymbolRef, 8> WhitelistedSymbols; in checkRegionChanges()
3714 SymbolRef sym = *I; in checkRegionChanges()
3732 SymbolRef Sym, RefVal V) const { in handleAutoreleaseCounts()
3808 SymbolRef sid, RefVal V, in handleSymbolDeath()
3809 SmallVectorImpl<SymbolRef> &Leaked) const { in handleSymbolDeath()
3836 SmallVectorImpl<SymbolRef> &Leaked, in processLeaks()
3843 for (SmallVectorImpl<SymbolRef>::iterator in processLeaks()
3888 SmallVector<SymbolRef, 10> Leaked; in checkEndFunction()
3897 RetainCountChecker::getDeadSymbolTag(SymbolRef sym) const { in getDeadSymbolTag()
3915 SmallVector<SymbolRef, 10> Leaked; in checkDeadSymbols()
3920 SymbolRef Sym = *I; in checkDeadSymbols()
3951 for (SmallVectorImpl<SymbolRef>::iterator I = Leaked.begin(), in checkDeadSymbols()