35 struct FnDescription;
88   const FnDescription *LastOperation;
112   StreamState(const FnDescription *L, KindTy S, const StreamErrorState &ES,  in StreamState()
134   static StreamState getOpened(const FnDescription *L,  in getOpened()
139   static StreamState getClosed(const FnDescription *L) {  in getClosed()
142   static StreamState getOpenFailed(const FnDescription *L) {  in getOpenFailed()
163 using FnCheck = std::function<void(const StreamChecker *, const FnDescription *,
169 struct FnDescription {  struct
177 SVal getStreamArg(const FnDescription *Desc, const CallEvent &Call) {  in getStreamArg()
238   CallDescriptionMap<FnDescription> FnDescriptions = {
269   CallDescriptionMap<FnDescription> FnTestDescriptions = {
281   void evalFopen(const FnDescription *Desc, const CallEvent &Call,
284   void preFreopen(const FnDescription *Desc, const CallEvent &Call,
286   void evalFreopen(const FnDescription *Desc, const CallEvent &Call,
289   void evalFclose(const FnDescription *Desc, const CallEvent &Call,
292   void preFread(const FnDescription *Desc, const CallEvent &Call,
295   void preFwrite(const FnDescription *Desc, const CallEvent &Call,
298   void evalFreadFwrite(const FnDescription *Desc, const CallEvent &Call,
301   void preFseek(const FnDescription *Desc, const CallEvent &Call,
303   void evalFseek(const FnDescription *Desc, const CallEvent &Call,
306   void preDefault(const FnDescription *Desc, const CallEvent &Call,
309   void evalClearerr(const FnDescription *Desc, const CallEvent &Call,
312   void evalFeofFerror(const FnDescription *Desc, const CallEvent &Call,
316   void evalSetFeofFerror(const FnDescription *Desc, const CallEvent &Call,
366   const FnDescription *lookupFn(const CallEvent &Call) const {  in lookupFn()
460   const FnDescription *Desc = lookupFn(Call);  in checkPreCall()
468   const FnDescription *Desc = lookupFn(Call);  in evalCall()
479 void StreamChecker::evalFopen(const FnDescription *Desc, const CallEvent &Call,  in evalFopen()
508 void StreamChecker::preFreopen(const FnDescription *Desc, const CallEvent &Call,  in preFreopen()
520 void StreamChecker::evalFreopen(const FnDescription *Desc,  in evalFreopen()
566 void StreamChecker::evalFclose(const FnDescription *Desc, const CallEvent &Call,  in evalFclose()
587 void StreamChecker::preFread(const FnDescription *Desc, const CallEvent &Call,  in preFread()
612 void StreamChecker::preFwrite(const FnDescription *Desc, const CallEvent &Call,  in preFwrite()
630 void StreamChecker::evalFreadFwrite(const FnDescription *Desc,  in evalFreadFwrite()
710 void StreamChecker::preFseek(const FnDescription *Desc, const CallEvent &Call,  in preFseek()
728 void StreamChecker::evalFseek(const FnDescription *Desc, const CallEvent &Call,  in evalFseek()
769 void StreamChecker::evalClearerr(const FnDescription *Desc,  in evalClearerr()
790 void StreamChecker::evalFeofFerror(const FnDescription *Desc,  in evalFeofFerror()
830 void StreamChecker::preDefault(const FnDescription *Desc, const CallEvent &Call,  in preDefault()
845 void StreamChecker::evalSetFeofFerror(const FnDescription *Desc,  in evalSetFeofFerror()