@@ -369,18 +369,30 @@ class StreamChecker : public Checker<check::PreCall, eval::Call,
369
369
{{{" fgets" }, 3 },
370
370
{std::bind (&StreamChecker::preReadWrite, _1, _2, _3, _4, true ),
371
371
std::bind (&StreamChecker::evalFgetx, _1, _2, _3, _4, false ), 2 }},
372
+ {{{" getc" }, 1 },
373
+ {std::bind (&StreamChecker::preReadWrite, _1, _2, _3, _4, true ),
374
+ std::bind (&StreamChecker::evalFgetx, _1, _2, _3, _4, true ), 0 }},
372
375
{{{" fputc" }, 2 },
373
376
{std::bind (&StreamChecker::preReadWrite, _1, _2, _3, _4, false ),
374
377
std::bind (&StreamChecker::evalFputx, _1, _2, _3, _4, true ), 1 }},
375
378
{{{" fputs" }, 2 },
376
379
{std::bind (&StreamChecker::preReadWrite, _1, _2, _3, _4, false ),
377
380
std::bind (&StreamChecker::evalFputx, _1, _2, _3, _4, false ), 1 }},
381
+ {{{" putc" }, 2 },
382
+ {std::bind (&StreamChecker::preReadWrite, _1, _2, _3, _4, false ),
383
+ std::bind (&StreamChecker::evalFputx, _1, _2, _3, _4, true ), 1 }},
378
384
{{{" fprintf" }},
379
385
{std::bind (&StreamChecker::preReadWrite, _1, _2, _3, _4, false ),
380
386
std::bind (&StreamChecker::evalFprintf, _1, _2, _3, _4), 0 }},
387
+ {{{" vfprintf" }, 3 },
388
+ {std::bind (&StreamChecker::preReadWrite, _1, _2, _3, _4, false ),
389
+ std::bind (&StreamChecker::evalFprintf, _1, _2, _3, _4), 0 }},
381
390
{{{" fscanf" }},
382
391
{std::bind (&StreamChecker::preReadWrite, _1, _2, _3, _4, true ),
383
392
std::bind (&StreamChecker::evalFscanf, _1, _2, _3, _4), 0 }},
393
+ {{{" vfscanf" }, 3 },
394
+ {std::bind (&StreamChecker::preReadWrite, _1, _2, _3, _4, true ),
395
+ std::bind (&StreamChecker::evalFscanf, _1, _2, _3, _4), 0 }},
384
396
{{{" ungetc" }, 2 },
385
397
{std::bind (&StreamChecker::preReadWrite, _1, _2, _3, _4, false ),
386
398
std::bind (&StreamChecker::evalUngetc, _1, _2, _3, _4), 1 }},
@@ -418,18 +430,6 @@ class StreamChecker : public Checker<check::PreCall, eval::Call,
418
430
0 }},
419
431
{{{" fileno" }, 1 },
420
432
{&StreamChecker::preDefault, &StreamChecker::evalFileno, 0 }},
421
- {{{" getc" }, 1 },
422
- {std::bind (&StreamChecker::preReadWrite, _1, _2, _3, _4, true ),
423
- std::bind (&StreamChecker::evalFgetx, _1, _2, _3, _4, true ), 0 }},
424
- {{{" vfscanf" }, 3 },
425
- {std::bind (&StreamChecker::preReadWrite, _1, _2, _3, _4, true ),
426
- &StreamChecker::evalFscanf, 0 }},
427
- {{{" putc" }, 2 },
428
- {std::bind (&StreamChecker::preReadWrite, _1, _2, _3, _4, false ),
429
- std::bind (&StreamChecker::evalFputx, _1, _2, _3, _4, true ), 1 }},
430
- {{{" vfprintf" }, 3 },
431
- {std::bind (&StreamChecker::preReadWrite, _1, _2, _3, _4, false ),
432
- &StreamChecker::evalFprintf, 0 }},
433
433
};
434
434
435
435
CallDescriptionMap<FnDescription> FnTestDescriptions = {
0 commit comments