Lines Matching refs:SymbolRef
117 SymbolRef ErrorSym;
118 HandleState(Kind K, SymbolRef ErrorSym) : K(K), ErrorSym(ErrorSym) {} in HandleState()
130 static HandleState getMaybeAllocated(SymbolRef ErrorSym) { in getMaybeAllocated()
150 SymbolRef getErrorSym() const { return ErrorSym; } in getErrorSym()
210 ExplodedNode *reportLeaks(ArrayRef<SymbolRef> LeakedHandles,
213 void reportDoubleRelease(SymbolRef HandleSym, const SourceRange &Range,
216 void reportUnownedRelease(SymbolRef HandleSym, const SourceRange &Range,
219 void reportUseAfterFree(SymbolRef HandleSym, const SourceRange &Range,
222 void reportBug(SymbolRef Sym, ExplodedNode *ErrorNode, CheckerContext &C,
231 REGISTER_MAP_WITH_PROGRAMSTATE(HStateMap, SymbolRef, HandleState) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
233 static const ExplodedNode *getAcquireSite(const ExplodedNode *N, SymbolRef Sym, in REGISTER_MAP_WITH_PROGRAMSTATE()
258 bool VisitSymbol(SymbolRef S) override { in VisitSymbol()
265 SmallVector<SymbolRef, 1024> GetSymbols() { return Symbols; } in GetSymbols()
268 SmallVector<SymbolRef, 1024> Symbols;
274 static SmallVector<SymbolRef, 1024>
296 SymbolRef Sym = Arg.getAsSymbol(); in getFuchsiaHandleSymbols()
305 SymbolRef Sym = State->getSVal(*ArgLoc).getAsSymbol(); in getFuchsiaHandleSymbols()
325 if (SymbolRef Handle = Call.getArgSVal(Arg).getAsSymbol()) in checkPreCall()
336 SmallVector<SymbolRef, 1024> Handles = in checkPreCall()
344 for (SymbolRef Handle : Handles) { in checkPreCall()
374 SymbolRef ResultSymbol = nullptr; in checkPostCall()
381 SymbolRef RetSym = Call.getReturnValue().getAsSymbol(); in checkPostCall()
397 SymbolRef RetSym = Call.getReturnValue().getAsSymbol(); in checkPostCall()
417 SmallVector<SymbolRef, 1024> Handles = in checkPostCall()
420 for (SymbolRef Handle : Handles) { in checkPostCall()
506 SmallVector<SymbolRef, 2> LeakedSyms; in checkDeadSymbols()
509 SymbolRef ErrorSym = CurItem.second.getErrorSym(); in checkDeadSymbols()
551 SymbolRef ErrorSym = CurItem.second.getErrorSym(); in evalAssume()
575 llvm::DenseSet<SymbolRef> UnEscaped; in checkPointerEscape()
584 SmallVector<SymbolRef, 1024> Handles = in checkPointerEscape()
586 for (SymbolRef Handle : Handles) { in checkPointerEscape()
611 FuchsiaHandleChecker::reportLeaks(ArrayRef<SymbolRef> LeakedHandles, in reportLeaks()
614 for (SymbolRef LeakedHandle : LeakedHandles) { in reportLeaks()
621 void FuchsiaHandleChecker::reportDoubleRelease(SymbolRef HandleSym, in reportDoubleRelease()
629 void FuchsiaHandleChecker::reportUnownedRelease(SymbolRef HandleSym, in reportUnownedRelease()
637 void FuchsiaHandleChecker::reportUseAfterFree(SymbolRef HandleSym, in reportUseAfterFree()
645 void FuchsiaHandleChecker::reportBug(SymbolRef Sym, ExplodedNode *ErrorNode, in reportBug()