[PATCH] D75163: [analyzer][StreamChecker] Adding precall and refactoring.

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

balazske added a comment.

Plan:

- Add an error state to `StreamState`.
- Model every stream function that can fail. Split the state into failed and non-failed and set the return value accordingly (as done at //fopen// now, but not only for stream return values). This is needed here to have a correlation between the return value and the stream state.

Probably the check for null stream pointer can be removed from here if the StdLibraryFunctionsChecker will do this job.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D75163