Lines Matching refs:Sym

172                    SymbolRef &Sym, std::optional<CallEventRef<>> CE) {  in findArgIdxOfSymbol()  argument
179 if (CurrSt->getSVal(MR, TR->getValueType()).getAsSymbol() == Sym) in findArgIdxOfSymbol()
212 const RefVal &CurrV, SymbolRef &Sym, in generateDiagnosticsForCallLike() argument
254 auto Idx = findArgIdxOfSymbol(CurrSt, LCtx, Sym, CE); in generateDiagnosticsForCallLike()
264 os << "a Core Foundation object of type '" << Sym->getType() << "' with a "; in generateDiagnosticsForCallLike()
266 os << "an OSObject of type '" << findAllocatedObjectName(S, Sym->getType()) in generateDiagnosticsForCallLike()
269 os << "an object of type '" << Sym->getType() << "' with a "; in generateDiagnosticsForCallLike()
272 QualType T = Sym->getType(); in generateDiagnosticsForCallLike()
314 SymbolRef Sym; member in clang::ento::retaincountchecker::RefCountReportVisitor
317 RefCountReportVisitor(SymbolRef sym) : Sym(sym) {} in RefCountReportVisitor()
322 ID.AddPointer(Sym); in Profile()
336 RefLeakReportVisitor(SymbolRef Sym, const MemRegion *LastBinding) in RefLeakReportVisitor() argument
337 : RefCountReportVisitor(Sym), LastBinding(LastBinding) {} in RefLeakReportVisitor()
423 annotateStartParameter(const ExplodedNode *N, SymbolRef Sym, in annotateStartParameter() argument
430 const RefVal *CurrT = getRefBinding(N->getState(), Sym); in annotateStartParameter()
433 getRefBinding(N->getFirstPred()->getState(), Sym)) in annotateStartParameter()
436 const auto *VR = cast<VarRegion>(cast<SymbolRegionValue>(Sym)->getRegion()); in annotateStartParameter()
467 if (auto PD = annotateStartParameter(N, Sym, SM)) in VisitNode()
481 const RefVal* CurrT = getRefBinding(CurrSt, Sym); in VisitNode()
486 const RefVal *PrevT = getRefBinding(PrevSt, Sym); in VisitNode()
534 generateDiagnosticsForCallLike(CurrSt, LCtx, CurrV, Sym, S, os); in VisitNode()
565 if (CurrSt->getSValAsScalarOrLoc(*AI, LCtx).getAsLocSymbol() != Sym) in VisitNode()
574 .getAsLocSymbol() == Sym) { in VisitNode()
597 if (CurrSt->getSValAsScalarOrLoc(Exp, LCtx).getAsLocSymbol() == Sym) { in VisitNode()
617 SymbolRef Sym; member in __anoncbe45ba20111::VarBindingsCollector
621 VarBindingsCollector(SymbolRef Sym, Bindings &ToFill) in VarBindingsCollector() argument
622 : Sym(Sym), Result(ToFill) {} in VarBindingsCollector()
627 if (!SymV || SymV != Sym) in HandleBinding()
639 const ExplodedNode *Node, SymbolRef Sym) { in getAllVarBindingsForSymbol() argument
641 VarBindingsCollector Collector{Sym, Result}; in getAllVarBindingsForSymbol()
668 const ExplodedNode *N, SymbolRef Sym) { in GetAllocationSite() argument
682 if (!getRefBinding(St, Sym)) in GetAllocationSite()
685 StoreManager::FindUniqueBinding FB(Sym); in GetAllocationSite()
719 if (ME->getMethodFamily() == OMF_init && RecV.getAsSymbol() == Sym) in GetAllocationSite()
756 BR.markInteresting(Sym); in getEndPath()
767 BR.markInteresting(Sym); in getEndPath()
780 os << "allocated object of type '" << getPrettyTypeName(Sym->getType()) in getEndPath()
785 const RefVal *RV = getRefBinding(EndN->getState(), Sym); in getEndPath()
839 : PathSensitiveBugReport(D, D.getDescription(), n), Sym(sym), in RefCountReport()
856 if (!Sym->getOriginRegion()) in deriveParamLocation()
859 auto *Region = dyn_cast<DeclRegion>(Sym->getOriginRegion()); in deriveParamLocation()
886 GetAllocationSite(Ctx.getStateManager(), getErrorNode(), Sym); in deriveAllocLocation()
926 os << " of type '" << getPrettyTypeName(Sym->getType()) << "'"; in createDescription()
938 if (Node->getState()->getSVal(AllocFirstBinding).getAsSymbol() == Sym) { in findBindingToReport()
958 getAllVarBindingsForSymbol(Ctx.getStateManager(), Node, Sym); in findBindingToReport()
988 ExplodedNode *N, SymbolRef Sym, in RefLeakReport() argument
990 : RefCountReport(D, LOpts, N, Sym, /*isLeak=*/true) { in RefLeakReport()
1000 addVisitor<RefLeakReportVisitor>(Sym, AllocBindingToReport); in RefLeakReport()