Lines Matching defs:FnDescription

41 struct FnDescription;
101 const FnDescription *LastOperation;
136 StreamState(const FnDescription *L, KindTy S, const StreamErrorState &ES,
158 static StreamState getOpened(const FnDescription *L,
163 static StreamState getClosed(const FnDescription *L) {
166 static StreamState getOpenFailed(const FnDescription *L) {
195 using FnCheck = std::function<void(const StreamChecker *, const FnDescription *,
204 struct FnDescription {
220 SVal getStreamArg(const FnDescription *Desc, const CallEvent &Call) {
349 CallDescriptionMap<FnDescription> FnDescriptions = {
434 CallDescriptionMap<FnDescription> FnTestDescriptions = {
469 void evalFopen(const FnDescription *Desc, const CallEvent &Call,
472 void preFreopen(const FnDescription *Desc, const CallEvent &Call,
474 void evalFreopen(const FnDescription *Desc, const CallEvent &Call,
477 void evalFclose(const FnDescription *Desc, const CallEvent &Call,
480 void preRead(const FnDescription *Desc, const CallEvent &Call,
483 void preWrite(const FnDescription *Desc, const CallEvent &Call,
486 void evalFreadFwrite(const FnDescription *Desc, const CallEvent &Call,
489 void evalFgetx(const FnDescription *Desc, const CallEvent &Call,
492 void evalFputx(const FnDescription *Desc, const CallEvent &Call,
495 void evalFprintf(const FnDescription *Desc, const CallEvent &Call,
498 void evalFscanf(const FnDescription *Desc, const CallEvent &Call,
501 void evalUngetc(const FnDescription *Desc, const CallEvent &Call,
504 void evalGetdelim(const FnDescription *Desc, const CallEvent &Call,
507 void preFseek(const FnDescription *Desc, const CallEvent &Call,
509 void evalFseek(const FnDescription *Desc, const CallEvent &Call,
512 void evalFgetpos(const FnDescription *Desc, const CallEvent &Call,
515 void evalFsetpos(const FnDescription *Desc, const CallEvent &Call,
518 void evalFtell(const FnDescription *Desc, const CallEvent &Call,
521 void evalRewind(const FnDescription *Desc, const CallEvent &Call,
524 void preDefault(const FnDescription *Desc, const CallEvent &Call,
527 void evalClearerr(const FnDescription *Desc, const CallEvent &Call,
530 void evalFeofFerror(const FnDescription *Desc, const CallEvent &Call,
534 void evalSetFeofFerror(const FnDescription *Desc, const CallEvent &Call,
538 void preFflush(const FnDescription *Desc, const CallEvent &Call,
541 void evalFflush(const FnDescription *Desc, const CallEvent &Call,
544 void evalFileno(const FnDescription *Desc, const CallEvent &Call,
593 const FnDescription *lookupFn(const CallEvent &Call) const {
655 bool Init(const FnDescription *Desc, const CallEvent &Call, CheckerContext &C,
884 const FnDescription *Desc = lookupFn(Call);
892 const FnDescription *Desc = lookupFn(Call);
927 void StreamChecker::evalFopen(const FnDescription *Desc, const CallEvent &Call,
958 void StreamChecker::preFreopen(const FnDescription *Desc, const CallEvent &Call,
970 void StreamChecker::evalFreopen(const FnDescription *Desc,
1016 void StreamChecker::evalFclose(const FnDescription *Desc, const CallEvent &Call,
1033 void StreamChecker::preRead(const FnDescription *Desc, const CallEvent &Call,
1058 void StreamChecker::preWrite(const FnDescription *Desc, const CallEvent &Call,
1149 void StreamChecker::evalFreadFwrite(const FnDescription *Desc,
1222 void StreamChecker::evalFgetx(const FnDescription *Desc, const CallEvent &Call,
1281 void StreamChecker::evalFputx(const FnDescription *Desc, const CallEvent &Call,
1326 void StreamChecker::evalFprintf(const FnDescription *Desc,
1363 void StreamChecker::evalFscanf(const FnDescription *Desc, const CallEvent &Call,
1416 void StreamChecker::evalUngetc(const FnDescription *Desc, const CallEvent &Call,
1443 void StreamChecker::evalGetdelim(const FnDescription *Desc,
1503 void StreamChecker::preFseek(const FnDescription *Desc, const CallEvent &Call,
1521 void StreamChecker::evalFseek(const FnDescription *Desc, const CallEvent &Call,
1550 void StreamChecker::evalFgetpos(const FnDescription *Desc,
1569 void StreamChecker::evalFsetpos(const FnDescription *Desc,
1597 void StreamChecker::evalFtell(const FnDescription *Desc, const CallEvent &Call,
1621 void StreamChecker::evalRewind(const FnDescription *Desc, const CallEvent &Call,
1633 void StreamChecker::preFflush(const FnDescription *Desc, const CallEvent &Call,
1648 void StreamChecker::evalFflush(const FnDescription *Desc, const CallEvent &Call,
1711 void StreamChecker::evalClearerr(const FnDescription *Desc,
1726 void StreamChecker::evalFeofFerror(const FnDescription *Desc,
1756 void StreamChecker::evalFileno(const FnDescription *Desc, const CallEvent &Call,
1781 void StreamChecker::preDefault(const FnDescription *Desc, const CallEvent &Call,
1796 void StreamChecker::evalSetFeofFerror(const FnDescription *Desc,