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()
257 bool VisitSymbol(SymbolRef S) override { in VisitSymbol()
264 SmallVector<SymbolRef, 1024> GetSymbols() { return Symbols; } in GetSymbols()
267 SmallVector<SymbolRef, 1024> Symbols;
273 static SmallVector<SymbolRef, 1024>
295 SymbolRef Sym = Arg.getAsSymbol(); in getFuchsiaHandleSymbols()
304 SymbolRef Sym = State->getSVal(*ArgLoc).getAsSymbol(); in getFuchsiaHandleSymbols()
324 if (SymbolRef Handle = Call.getArgSVal(Arg).getAsSymbol()) in checkPreCall()
335 SmallVector<SymbolRef, 1024> Handles = in checkPreCall()
343 for (SymbolRef Handle : Handles) { in checkPreCall()
373 SymbolRef ResultSymbol = nullptr; in checkPostCall()
380 SymbolRef RetSym = Call.getReturnValue().getAsSymbol(); in checkPostCall()
396 SymbolRef RetSym = Call.getReturnValue().getAsSymbol(); in checkPostCall()
416 SmallVector<SymbolRef, 1024> Handles = in checkPostCall()
419 for (SymbolRef Handle : Handles) { in checkPostCall()
505 SmallVector<SymbolRef, 2> LeakedSyms; in checkDeadSymbols()
508 SymbolRef ErrorSym = CurItem.second.getErrorSym(); in checkDeadSymbols()
550 SymbolRef ErrorSym = CurItem.second.getErrorSym(); in evalAssume()
574 llvm::DenseSet<SymbolRef> UnEscaped; in checkPointerEscape()
583 SmallVector<SymbolRef, 1024> Handles = in checkPointerEscape()
585 for (SymbolRef Handle : Handles) { in checkPointerEscape()
610 FuchsiaHandleChecker::reportLeaks(ArrayRef<SymbolRef> LeakedHandles, in reportLeaks()
613 for (SymbolRef LeakedHandle : LeakedHandles) { in reportLeaks()
620 void FuchsiaHandleChecker::reportDoubleRelease(SymbolRef HandleSym, in reportDoubleRelease()
628 void FuchsiaHandleChecker::reportUnownedRelease(SymbolRef HandleSym, in reportUnownedRelease()
636 void FuchsiaHandleChecker::reportUseAfterFree(SymbolRef HandleSym, in reportUseAfterFree()
644 void FuchsiaHandleChecker::reportBug(SymbolRef Sym, ExplodedNode *ErrorNode, in reportBug()