Home | History | Annotate | Download | only in Checkers

Lines Matching refs:SymbolRef

29 typedef SmallVector<SymbolRef, 2> SymbolVector;
60 void reportDoubleClose(SymbolRef FileDescSym,
64 void reportLeaks(ArrayRef<SymbolRef> LeakedStreams, CheckerContext &C,
90 REGISTER_MAP_WITH_PROGRAMSTATE(StreamMap, SymbolRef, StreamState)
99 bool VisitSymbol(SymbolRef sym) override {
127 SymbolRef FileDesc = Call.getReturnValue().getAsSymbol();
146 SymbolRef FileDesc = Call.getArgSVal(0).getAsSymbol();
163 static bool isLeaked(SymbolRef Sym, const StreamState &SS,
182 SymbolRef Sym = I->first;
200 void SimpleStreamChecker::reportDoubleClose(SymbolRef FileDescSym,
217 void SimpleStreamChecker::reportLeaks(ArrayRef<SymbolRef> LeakedStreams,
222 for (SymbolRef LeakedStream : LeakedStreams) {
260 SymbolRef Sym = *I;