Lines Matching refs:SymbolRef
355 void reportFEofWarning(SymbolRef StreamSym, CheckerContext &C,
361 ExplodedNode *reportLeaks(const SmallVector<SymbolRef, 2> &LeakedSyms,
385 SymbolRef StreamSym;
396 const NoteTag *constructNoteTag(CheckerContext &C, SymbolRef StreamSym, in constructNoteTag()
402 SymbolRef StreamSym) const { in constructSetEofNoteTag()
417 SymbolRef StreamSym,
426 REGISTER_MAP_WITH_PROGRAMSTATE(StreamMap, SymbolRef, StreamState) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
434 SymbolRef StreamSym, in getAcquisitionSite()
487 SymbolRef RetSym = RetVal.getAsSymbol(); in evalFopen()
534 SymbolRef StreamSym = StreamVal->getAsSymbol(); in evalFreopen()
569 SymbolRef Sym = getStreamArg(Desc, Call).getAsSymbol(); in evalFclose()
602 SymbolRef Sym = StreamVal.getAsSymbol(); in preFread()
634 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalFreadFwrite()
731 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalFseek()
773 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalClearerr()
794 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalFeofFerror()
849 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalSetFeofFerror()
888 SymbolRef Sym = StreamVal.getAsSymbol(); in ensureStreamOpened()
938 SymbolRef Sym = StreamVal.getAsSymbol(); in ensureNoFilePositionIndeterminate()
999 void StreamChecker::reportFEofWarning(SymbolRef StreamSym, CheckerContext &C, in reportFEofWarning()
1015 StreamChecker::reportLeaks(const SmallVector<SymbolRef, 2> &LeakedSyms, in reportLeaks() argument
1021 for (SymbolRef LeakSym : LeakedSyms) { in reportLeaks()
1057 llvm::SmallVector<SymbolRef, 2> LeakedSyms; in checkDeadSymbols()
1061 SymbolRef Sym = I.first; in checkDeadSymbols()
1086 for (SymbolRef Sym : Escaped) { in checkPointerEscape()