Cross Reference: /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/FuchsiaHandleChecker.cpp

Lines Matching refs:SymbolRef
116   SymbolRef ErrorSym;
117   HandleState(Kind K, SymbolRef ErrorSym) : K(K), ErrorSym(ErrorSym) {}
129   static HandleState getMaybeAllocated(SymbolRef ErrorSym) {
149   SymbolRef getErrorSym() const { return ErrorSym; }
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)
232 static const ExplodedNode *getAcquireSite(const ExplodedNode *N, SymbolRef Sym,
260   bool VisitSymbol(SymbolRef S) override {
267   SmallVector<SymbolRef, 1024> GetSymbols() { return Symbols; }
270   SmallVector<SymbolRef, 1024> Symbols;
277 static SmallVector<SymbolRef, 1024>
299       SymbolRef Sym = Arg.getAsSymbol();
308         SymbolRef Sym = State->getSVal(*ArgLoc).getAsSymbol();
328       if (SymbolRef Handle = Call.getArgSVal(Arg).getAsSymbol())
339     SmallVector<SymbolRef, 1024> Handles =
347     for (SymbolRef Handle : Handles) {
377   SymbolRef ResultSymbol = nullptr;
384     SymbolRef RetSym = Call.getReturnValue().getAsSymbol();
400     SymbolRef RetSym = Call.getReturnValue().getAsSymbol();
420     SmallVector<SymbolRef, 1024> Handles =
423     for (SymbolRef Handle : Handles) {
509   SmallVector<SymbolRef, 2> LeakedSyms;
512     SymbolRef ErrorSym = CurItem.second.getErrorSym();
554     SymbolRef ErrorSym = CurItem.second.getErrorSym();
578   llvm::DenseSet<SymbolRef> UnEscaped;
587       SmallVector<SymbolRef, 1024> Handles =
589       for (SymbolRef Handle : Handles) {
614 FuchsiaHandleChecker::reportLeaks(ArrayRef<SymbolRef> LeakedHandles,
617   for (SymbolRef LeakedHandle : LeakedHandles) {
624 void FuchsiaHandleChecker::reportDoubleRelease(SymbolRef HandleSym,
632 void FuchsiaHandleChecker::reportUnownedRelease(SymbolRef HandleSym,
640 void FuchsiaHandleChecker::reportUseAfterFree(SymbolRef HandleSym,
648 void FuchsiaHandleChecker::reportBug(SymbolRef Sym, ExplodedNode *ErrorNode,
OpenGrok
