Lines Matching refs:getStreamArg
179 SVal getStreamArg(const FnDescription *Desc, const CallEvent &Call) { in getStreamArg() function
607 State = ensureStreamNonNull(getStreamArg(Desc, Call), in preFreopen()
625 getStreamArg(Desc, Call).getAs<DefinedSVal>(); in evalFreopen()
664 SymbolRef Sym = getStreamArg(Desc, Call).getAsSymbol(); in evalFclose()
699 SVal StreamVal = getStreamArg(Desc, Call); in preReadWrite()
730 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalFreadFwrite()
809 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalFgetx()
895 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalFputx()
956 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalFprintf()
998 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalFscanf()
1059 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalUngetc()
1099 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalGetdelim()
1154 SVal StreamVal = getStreamArg(Desc, Call); in preFseek()
1172 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalFseek()
1222 SymbolRef Sym = getStreamArg(Desc, Call).getAsSymbol(); in evalFgetpos()
1251 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalFsetpos()
1288 SymbolRef Sym = getStreamArg(Desc, Call).getAsSymbol(); in evalFtell()
1326 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalRewind()
1350 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalClearerr()
1371 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalFeofFerror()
1410 SVal StreamVal = getStreamArg(Desc, Call); in preDefault()
1426 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalSetFeofFerror()
1438 SVal StreamVal = getStreamArg(Desc, Call); in preFflush()
1453 SVal StreamVal = getStreamArg(Desc, Call); in evalFflush()