Lines Matching refs:SymbolRef
354 void reportFEofWarning(SymbolRef StreamSym, CheckerContext &C,
360 ExplodedNode *reportLeaks(const SmallVector<SymbolRef, 2> &LeakedSyms,
384 SymbolRef StreamSym;
395 const NoteTag *constructNoteTag(CheckerContext &C, SymbolRef StreamSym, in constructNoteTag()
401 SymbolRef StreamSym) const { in constructSetEofNoteTag()
416 SymbolRef StreamSym,
425 REGISTER_MAP_WITH_PROGRAMSTATE(StreamMap, SymbolRef, StreamState) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
433 SymbolRef StreamSym, in getAcquisitionSite()
486 SymbolRef RetSym = RetVal.getAsSymbol(); in evalFopen()
533 SymbolRef StreamSym = StreamVal->getAsSymbol(); in evalFreopen()
567 SymbolRef Sym = getStreamArg(Desc, Call).getAsSymbol(); in evalFclose()
600 SymbolRef Sym = StreamVal.getAsSymbol(); in preFread()
632 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalFreadFwrite()
734 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalFseek()
776 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalClearerr()
797 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalFeofFerror()
852 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalSetFeofFerror()
891 SymbolRef Sym = StreamVal.getAsSymbol(); in ensureStreamOpened()
941 SymbolRef Sym = StreamVal.getAsSymbol(); in ensureNoFilePositionIndeterminate()
1002 void StreamChecker::reportFEofWarning(SymbolRef StreamSym, CheckerContext &C, in reportFEofWarning()
1018 StreamChecker::reportLeaks(const SmallVector<SymbolRef, 2> &LeakedSyms, in reportLeaks() argument
1024 for (SymbolRef LeakSym : LeakedSyms) { in reportLeaks()
1060 llvm::SmallVector<SymbolRef, 2> LeakedSyms; in checkDeadSymbols()
1064 SymbolRef Sym = I.first; in checkDeadSymbols()
1089 for (SymbolRef Sym : Escaped) { in checkPointerEscape()