Lines Matching refs:SymbolRef
344 ExplodedNode *reportLeaks(const SmallVector<SymbolRef, 2> &LeakedSyms,
367 SymbolRef StreamSym;
379 const NoteTag *constructNoteTag(CheckerContext &C, SymbolRef StreamSym, in constructNoteTag()
387 SymbolRef StreamSym,
393 REGISTER_MAP_WITH_PROGRAMSTATE(StreamMap, SymbolRef, StreamState) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
401 SymbolRef StreamSym, in getAcquisitionSite()
450 SymbolRef RetSym = RetVal.getAsSymbol(); in evalFopen()
496 SymbolRef StreamSym = StreamVal->getAsSymbol(); in evalFreopen()
530 SymbolRef Sym = getStreamArg(Desc, Call).getAsSymbol(); in evalFclose()
562 SymbolRef Sym = StreamVal.getAsSymbol(); in preFread()
593 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalFreadFwrite()
690 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalFseek()
732 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalClearerr()
753 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalFeofFerror()
807 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalSetFeofFerror()
842 SymbolRef Sym = StreamVal.getAsSymbol(); in ensureStreamOpened()
892 SymbolRef Sym = StreamVal.getAsSymbol(); in ensureNoFilePositionIndeterminate()
967 StreamChecker::reportLeaks(const SmallVector<SymbolRef, 2> &LeakedSyms, in reportLeaks() argument
973 for (SymbolRef LeakSym : LeakedSyms) { in reportLeaks()
1009 llvm::SmallVector<SymbolRef, 2> LeakedSyms; in checkDeadSymbols()
1013 SymbolRef Sym = I.first; in checkDeadSymbols()
1038 for (SymbolRef Sym : Escaped) { in checkPointerEscape()