Lines Matching refs:SymbolRef
375 void reportFEofWarning(SymbolRef StreamSym, CheckerContext &C,
381 ExplodedNode *reportLeaks(const SmallVector<SymbolRef, 2> &LeakedSyms,
405 SymbolRef StreamSym;
416 const NoteTag *constructNoteTag(CheckerContext &C, SymbolRef StreamSym, in constructNoteTag()
422 SymbolRef StreamSym) const { in constructSetEofNoteTag()
448 SymbolRef StreamSym,
457 REGISTER_MAP_WITH_PROGRAMSTATE(StreamMap, SymbolRef, StreamState) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
464 SymbolRef StreamSym, in getAcquisitionSite()
519 SymbolRef RetSym = RetVal.getAsSymbol(); in evalFopen()
566 SymbolRef StreamSym = StreamVal->getAsSymbol(); in evalFreopen()
601 SymbolRef Sym = getStreamArg(Desc, Call).getAsSymbol(); in evalFclose()
647 SymbolRef Sym = StreamVal.getAsSymbol(); in preFread()
679 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalFreadFwrite()
776 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalFseek()
818 SymbolRef Sym = getStreamArg(Desc, Call).getAsSymbol(); in evalFgetpos()
847 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalFsetpos()
884 SymbolRef Sym = getStreamArg(Desc, Call).getAsSymbol(); in evalFtell()
919 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalRewind()
943 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalClearerr()
964 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalFeofFerror()
1019 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalSetFeofFerror()
1056 SymbolRef Sym = StreamVal.getAsSymbol(); in ensureStreamOpened()
1106 SymbolRef Sym = StreamVal.getAsSymbol(); in ensureNoFilePositionIndeterminate()
1168 void StreamChecker::reportFEofWarning(SymbolRef StreamSym, CheckerContext &C, in reportFEofWarning()
1184 StreamChecker::reportLeaks(const SmallVector<SymbolRef, 2> &LeakedSyms, in reportLeaks() argument
1190 for (SymbolRef LeakSym : LeakedSyms) { in reportLeaks()
1226 llvm::SmallVector<SymbolRef, 2> LeakedSyms; in checkDeadSymbols()
1230 SymbolRef Sym = I.first; in checkDeadSymbols()
1255 for (SymbolRef Sym : Escaped) { in checkPointerEscape()