balazske abandoned this revision. balazske added a comment. A new solution is in D135247 <https://reviews.llvm.org/D135247>. The new approach is that only `StdLibraryFunctionsChecker` adds the errno modeling part, together with other checks (that are applicable if StreamChecker is turned off) for pre and post conditions at the stream functions.
Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D132017/new/ https://reviews.llvm.org/D132017 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
