Lines Matching refs:SymbolRef
116 SymbolRef ErrorSym;
117 HandleState(Kind K, SymbolRef ErrorSym) : K(K), ErrorSym(ErrorSym) {} in HandleState()
129 static HandleState getMaybeAllocated(SymbolRef ErrorSym) { in getMaybeAllocated()
149 SymbolRef getErrorSym() const { return ErrorSym; } in getErrorSym()
209 ExplodedNode *reportLeaks(ArrayRef<SymbolRef> LeakedHandles,
212 void reportDoubleRelease(SymbolRef HandleSym, const SourceRange &Range,
215 void reportUnownedRelease(SymbolRef HandleSym, const SourceRange &Range,
218 void reportUseAfterFree(SymbolRef HandleSym, const SourceRange &Range,
221 void reportBug(SymbolRef Sym, ExplodedNode *ErrorNode, CheckerContext &C,
230 REGISTER_MAP_WITH_PROGRAMSTATE(HStateMap, SymbolRef, HandleState) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
232 static const ExplodedNode *getAcquireSite(const ExplodedNode *N, SymbolRef Sym, in REGISTER_MAP_WITH_PROGRAMSTATE()
260 bool VisitSymbol(SymbolRef S) override { in VisitSymbol()
267 SmallVector<SymbolRef, 1024> GetSymbols() { return Symbols; } in GetSymbols()
270 SmallVector<SymbolRef, 1024> Symbols;
277 static SmallVector<SymbolRef, 1024>
299 SymbolRef Sym = Arg.getAsSymbol(); in getFuchsiaHandleSymbols()
308 SymbolRef Sym = State->getSVal(*ArgLoc).getAsSymbol(); in getFuchsiaHandleSymbols()
328 if (SymbolRef Handle = Call.getArgSVal(Arg).getAsSymbol()) in checkPreCall()
339 SmallVector<SymbolRef, 1024> Handles = in checkPreCall()
347 for (SymbolRef Handle : Handles) { in checkPreCall()
377 SymbolRef ResultSymbol = nullptr; in checkPostCall()
384 SymbolRef RetSym = Call.getReturnValue().getAsSymbol(); in checkPostCall()
400 SymbolRef RetSym = Call.getReturnValue().getAsSymbol(); in checkPostCall()
420 SmallVector<SymbolRef, 1024> Handles = in checkPostCall()
423 for (SymbolRef Handle : Handles) { in checkPostCall()
509 SmallVector<SymbolRef, 2> LeakedSyms; in checkDeadSymbols()
512 SymbolRef ErrorSym = CurItem.second.getErrorSym(); in checkDeadSymbols()
554 SymbolRef ErrorSym = CurItem.second.getErrorSym(); in evalAssume()
578 llvm::DenseSet<SymbolRef> UnEscaped; in checkPointerEscape()
587 SmallVector<SymbolRef, 1024> Handles = in checkPointerEscape()
589 for (SymbolRef Handle : Handles) { in checkPointerEscape()
614 FuchsiaHandleChecker::reportLeaks(ArrayRef<SymbolRef> LeakedHandles, in reportLeaks()
617 for (SymbolRef LeakedHandle : LeakedHandles) { in reportLeaks()
624 void FuchsiaHandleChecker::reportDoubleRelease(SymbolRef HandleSym, in reportDoubleRelease()
632 void FuchsiaHandleChecker::reportUnownedRelease(SymbolRef HandleSym, in reportUnownedRelease()
640 void FuchsiaHandleChecker::reportUseAfterFree(SymbolRef HandleSym, in reportUseAfterFree()
648 void FuchsiaHandleChecker::reportBug(SymbolRef Sym, ExplodedNode *ErrorNode, in reportBug()