[PATCH] D75851: [Analyzer][StreamChecker] Added evaluation of fseek.

[Kristóf Umann via Phabricator via cfe-commits]

Szelethus added a comment.

In D75851#1915014 <https://reviews.llvm.org/D75851#1915014>, @Szelethus wrote:

> In D75851#1914874 <https://reviews.llvm.org/D75851#1914874>, @balazske wrote:
>
> > After a failed file operation we do not know if it was feof or ferror kind of error.
>
>
> Is this true for that many stream operations?


I looked it up, and it totally is.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D75851/new/

https://reviews.llvm.org/D75851