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