41 struct FnDescription;
101   const FnDescription *LastOperation;
136   StreamState(const FnDescription *L, KindTy S, const StreamErrorState &ES,  in StreamState()
158   static StreamState getOpened(const FnDescription *L,  in getOpened()
163   static StreamState getClosed(const FnDescription *L) {  in getClosed()
166   static StreamState getOpenFailed(const FnDescription *L) {  in getOpenFailed()
195 using FnCheck = std::function<void(const StreamChecker *, const FnDescription *,
204 struct FnDescription {  struct
220 SVal getStreamArg(const FnDescription *Desc, const CallEvent &Call) {  in getStreamArg()
338   CallDescriptionMap<FnDescription> FnDescriptions = {
423   CallDescriptionMap<FnDescription> FnTestDescriptions = {
454   void evalFopen(const FnDescription *Desc, const CallEvent &Call,
457   void preFreopen(const FnDescription *Desc, const CallEvent &Call,
459   void evalFreopen(const FnDescription *Desc, const CallEvent &Call,
462   void evalFclose(const FnDescription *Desc, const CallEvent &Call,
465   void preRead(const FnDescription *Desc, const CallEvent &Call,
468   void preWrite(const FnDescription *Desc, const CallEvent &Call,
471   void evalFreadFwrite(const FnDescription *Desc, const CallEvent &Call,
474   void evalFgetx(const FnDescription *Desc, const CallEvent &Call,
477   void evalFputx(const FnDescription *Desc, const CallEvent &Call,
480   void evalFprintf(const FnDescription *Desc, const CallEvent &Call,
483   void evalFscanf(const FnDescription *Desc, const CallEvent &Call,
486   void evalUngetc(const FnDescription *Desc, const CallEvent &Call,
489   void evalGetdelim(const FnDescription *Desc, const CallEvent &Call,
492   void preFseek(const FnDescription *Desc, const CallEvent &Call,
494   void evalFseek(const FnDescription *Desc, const CallEvent &Call,
497   void evalFgetpos(const FnDescription *Desc, const CallEvent &Call,
500   void evalFsetpos(const FnDescription *Desc, const CallEvent &Call,
503   void evalFtell(const FnDescription *Desc, const CallEvent &Call,
506   void evalRewind(const FnDescription *Desc, const CallEvent &Call,
509   void preDefault(const FnDescription *Desc, const CallEvent &Call,
512   void evalClearerr(const FnDescription *Desc, const CallEvent &Call,
515   void evalFeofFerror(const FnDescription *Desc, const CallEvent &Call,
519   void evalSetFeofFerror(const FnDescription *Desc, const CallEvent &Call,
523   void preFflush(const FnDescription *Desc, const CallEvent &Call,
526   void evalFflush(const FnDescription *Desc, const CallEvent &Call,
529   void evalFileno(const FnDescription *Desc, const CallEvent &Call,
578   const FnDescription *lookupFn(const CallEvent &Call) const {  in lookupFn()
648   bool Init(const FnDescription *Desc, const CallEvent &Call, CheckerContext &C,  in Init()
871   const FnDescription *Desc = lookupFn(Call);  in checkPreCall()
879   const FnDescription *Desc = lookupFn(Call);  in evalCall()
890 void StreamChecker::evalFopen(const FnDescription *Desc, const CallEvent &Call,  in evalFopen()
919 void StreamChecker::preFreopen(const FnDescription *Desc, const CallEvent &Call,  in preFreopen()
931 void StreamChecker::evalFreopen(const FnDescription *Desc,  in evalFreopen()
977 void StreamChecker::evalFclose(const FnDescription *Desc, const CallEvent &Call,  in evalFclose()
994 void StreamChecker::preRead(const FnDescription *Desc, const CallEvent &Call,  in preRead()
1019 void StreamChecker::preWrite(const FnDescription *Desc, const CallEvent &Call,  in preWrite()
1110 void StreamChecker::evalFreadFwrite(const FnDescription *Desc,  in evalFreadFwrite()
1183 void StreamChecker::evalFgetx(const FnDescription *Desc, const CallEvent &Call,  in evalFgetx()
1242 void StreamChecker::evalFputx(const FnDescription *Desc, const CallEvent &Call,  in evalFputx()
1287 void StreamChecker::evalFprintf(const FnDescription *Desc,  in evalFprintf()
1324 void StreamChecker::evalFscanf(const FnDescription *Desc, const CallEvent &Call,  in evalFscanf()
1377 void StreamChecker::evalUngetc(const FnDescription *Desc, const CallEvent &Call,  in evalUngetc()
1404 void StreamChecker::evalGetdelim(const FnDescription *Desc,  in evalGetdelim()
1464 void StreamChecker::preFseek(const FnDescription *Desc, const CallEvent &Call,  in preFseek()
1482 void StreamChecker::evalFseek(const FnDescription *Desc, const CallEvent &Call,  in evalFseek()
1511 void StreamChecker::evalFgetpos(const FnDescription *Desc,  in evalFgetpos()
1530 void StreamChecker::evalFsetpos(const FnDescription *Desc,  in evalFsetpos()
1558 void StreamChecker::evalFtell(const FnDescription *Desc, const CallEvent &Call,  in evalFtell()
1582 void StreamChecker::evalRewind(const FnDescription *Desc, const CallEvent &Call,  in evalRewind()
1594 void StreamChecker::preFflush(const FnDescription *Desc, const CallEvent &Call,  in preFflush()
1609 void StreamChecker::evalFflush(const FnDescription *Desc, const CallEvent &Call,  in evalFflush()
1672 void StreamChecker::evalClearerr(const FnDescription *Desc,  in evalClearerr()
1687 void StreamChecker::evalFeofFerror(const FnDescription *Desc,  in evalFeofFerror()
1717 void StreamChecker::evalFileno(const FnDescription *Desc, const CallEvent &Call,  in evalFileno()
1742 void StreamChecker::preDefault(const FnDescription *Desc, const CallEvent &Call,  in preDefault()
1757 void StreamChecker::evalSetFeofFerror(const FnDescription *Desc,  in evalSetFeofFerror()