[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