Home | History | Annotate | Download | only in Checkers

Lines Matching refs:SymbolRef

28 typedef SmallVector<SymbolRef, 2> SymbolVector;
62 void reportDoubleClose(SymbolRef FileDescSym,
93 REGISTER_MAP_WITH_PROGRAMSTATE(StreamMap, SymbolRef, StreamState)
102 bool VisitSymbol(SymbolRef sym) override {
132 SymbolRef FileDesc = Call.getReturnValue().getAsSymbol();
156 SymbolRef FileDesc = Call.getArgSVal(0).getAsSymbol();
173 static bool isLeaked(SymbolRef Sym, const StreamState &SS,
192 SymbolRef Sym = I->first;
208 void SimpleStreamChecker::reportDoubleClose(SymbolRef FileDescSym,
230 for (SmallVectorImpl<SymbolRef>::iterator
269 SymbolRef Sym = *I;