[clang] [clang][analyzer] Support `fputc` in StreamChecker (PR #71518)
Balázs Kéri via cfe-commits
cfe-commits at lists.llvm.org
Wed Nov 8 08:23:59 PST 2023
================
@@ -745,6 +751,46 @@ void StreamChecker::evalFreadFwrite(const FnDescription *Desc,
C.addTransition(StateFailed);
}
+void StreamChecker::evalFgetcFputc(const FnDescription *Desc,
----------------
balazske wrote:
I do not know if there are enough similarities between `fputc` and `fgetc` to put these in a single function (return value of `fgetc` is differently constructed and different errors can happen including FEOF). The function should now be called only `evalFputc` because there is no "IsRead" argument, if later this is reused for `fgetc` it can be renamed.
https://github.com/llvm/llvm-project/pull/71518
More information about the cfe-commits
mailing list