[clang] [clang][analyzer] Support `fgets` in the SteamChecker (PR #73638)

Balázs Kéri via cfe-commits cfe-commits at lists.llvm.org
Wed Jan 24 06:37:43 PST 2024


================
@@ -778,42 +781,61 @@ void StreamChecker::evalFgetc(const FnDescription *Desc, const CallEvent &Call,
   assertStreamStateOpened(OldSS);
 
----------------
balazske wrote:

Will this invalidate only the buffer, not `F1`?

https://github.com/llvm/llvm-project/pull/73638


More information about the cfe-commits mailing list