Lines Matching refs:Sym
174 SymbolRef &Sym, in findArgIdxOfSymbol() argument
182 if (CurrSt->getSVal(MR, TR->getValueType()).getAsSymbol() == Sym) in findArgIdxOfSymbol()
215 const RefVal &CurrV, SymbolRef &Sym, in generateDiagnosticsForCallLike() argument
257 auto Idx = findArgIdxOfSymbol(CurrSt, LCtx, Sym, CE); in generateDiagnosticsForCallLike()
268 << Sym->getType().getAsString() << "' with a "; in generateDiagnosticsForCallLike()
270 os << "an OSObject of type '" << findAllocatedObjectName(S, Sym->getType()) in generateDiagnosticsForCallLike()
273 os << "an object of type '" << Sym->getType().getAsString() in generateDiagnosticsForCallLike()
277 QualType T = Sym->getType(); in generateDiagnosticsForCallLike()
320 SymbolRef Sym; member in clang::ento::retaincountchecker::RefCountReportVisitor
323 RefCountReportVisitor(SymbolRef sym) : Sym(sym) {} in RefCountReportVisitor()
328 ID.AddPointer(Sym); in Profile()
342 RefLeakReportVisitor(SymbolRef Sym, const MemRegion *LastBinding) in RefLeakReportVisitor() argument
343 : RefCountReportVisitor(Sym), LastBinding(LastBinding) {} in RefLeakReportVisitor()
429 annotateStartParameter(const ExplodedNode *N, SymbolRef Sym, in annotateStartParameter() argument
436 const RefVal *CurrT = getRefBinding(N->getState(), Sym); in annotateStartParameter()
439 getRefBinding(N->getFirstPred()->getState(), Sym)) in annotateStartParameter()
442 const auto *VR = cast<VarRegion>(cast<SymbolRegionValue>(Sym)->getRegion()); in annotateStartParameter()
473 if (auto PD = annotateStartParameter(N, Sym, SM)) in VisitNode()
487 const RefVal* CurrT = getRefBinding(CurrSt, Sym); in VisitNode()
492 const RefVal *PrevT = getRefBinding(PrevSt, Sym); in VisitNode()
540 generateDiagnosticsForCallLike(CurrSt, LCtx, CurrV, Sym, S, os); in VisitNode()
571 if (CurrSt->getSValAsScalarOrLoc(*AI, LCtx).getAsLocSymbol() != Sym) in VisitNode()
580 .getAsLocSymbol() == Sym) { in VisitNode()
603 if (CurrSt->getSValAsScalarOrLoc(Exp, LCtx).getAsLocSymbol() == Sym) { in VisitNode()
622 SymbolRef Sym; member in VarBindingsCollector
626 VarBindingsCollector(SymbolRef Sym, Bindings &ToFill) in VarBindingsCollector() argument
627 : Sym(Sym), Result(ToFill) {} in VarBindingsCollector()
632 if (!SymV || SymV != Sym) in HandleBinding()
643 const ExplodedNode *Node, SymbolRef Sym) { in getAllVarBindingsForSymbol() argument
645 VarBindingsCollector Collector{Sym, Result}; in getAllVarBindingsForSymbol()
672 const ExplodedNode *N, SymbolRef Sym) { in GetAllocationSite() argument
686 if (!getRefBinding(St, Sym)) in GetAllocationSite()
689 StoreManager::FindUniqueBinding FB(Sym); in GetAllocationSite()
723 if (ME->getMethodFamily() == OMF_init && RecV.getAsSymbol() == Sym) in GetAllocationSite()
760 BR.markInteresting(Sym); in getEndPath()
771 BR.markInteresting(Sym); in getEndPath()
784 os << "allocated object of type '" << getPrettyTypeName(Sym->getType()) in getEndPath()
789 const RefVal *RV = getRefBinding(EndN->getState(), Sym); in getEndPath()
846 : PathSensitiveBugReport(D, D.getDescription(), n), Sym(sym), in RefCountReport()
863 if (!Sym->getOriginRegion()) in deriveParamLocation()
866 auto *Region = dyn_cast<DeclRegion>(Sym->getOriginRegion()); in deriveParamLocation()
893 GetAllocationSite(Ctx.getStateManager(), getErrorNode(), Sym); in deriveAllocLocation()
933 os << " of type '" << getPrettyTypeName(Sym->getType()) << "'"; in createDescription()
945 if (Node->getState()->getSVal(AllocFirstBinding).getAsSymbol() == Sym) { in findBindingToReport()
965 getAllVarBindingsForSymbol(Ctx.getStateManager(), Node, Sym); in findBindingToReport()
995 ExplodedNode *N, SymbolRef Sym, in RefLeakReport() argument
997 : RefCountReport(D, LOpts, N, Sym, /*isLeak=*/true) { in RefLeakReport()
1007 addVisitor<RefLeakReportVisitor>(Sym, AllocBindingToReport); in RefLeakReport()