[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