[PATCH] D75682: [Analyzer][StreamChecker] Introduction of stream error handling.

[Balázs Kéri via Phabricator via cfe-commits]

balazske added a comment.

In D75682#1926732 <https://reviews.llvm.org/D75682#1926732>, @Szelethus wrote:

> Riiiight I think I finally get it. You don't want to state split on `feof()` and `ferror()`, but rather on the stream operations!


Yes the split is at the operations. I did not think even of splitting at start of `feof` to determine "backwards" the result of the previous operation. This could be another approach. But the way of split depends on the previous operation (to check if error is possible based on possible constraints on its return value), probably not better (but less state split?).


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D75682