[PATCH] D132017: [clang][analyzer] Add errno modeling to StreamChecker
Balázs Kéri via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Tue Dec 20 01:32:47 PST 2022
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
More information about the cfe-commits
mailing list