================ @@ -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