balazske added a comment. In D75682#1928716 <https://reviews.llvm.org/D75682#1928716>, @Szelethus wrote:
> - For streams where the precise state is unknown (they are not tracked), > start tracking. If we explicitly check whether a state is `foef()`, we can > rightfully assume both of those possibilities. This can follow in a later revision only. The new stream should have every error state possible, so when it is introduced 3 new states are required (with the error types), or an "unknown error" is needed that will be added later. > - Add debug function similar to `clang_analyzer_express`, like > `clang_analyzer_set_eof(FILE *)`, etc. How to add this? Probably it is too much work and I do not like if separate such debug functions are there for "every" checker (or many of). > - Evalulate a less complicated stream modeling function that sets such flags, > though I suspect the followup patch is supposed to be the one doing this. The `fseek` patch can do this. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D75682/new/ https://reviews.llvm.org/D75682 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
