[PATCH] D135360: [clang][analyzer] Add some more functions to StreamChecker and StdLibraryFunctionsChecker.

Balázs Kéri via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Wed Oct 26 06:26:55 PDT 2022


balazske added a comment.

If we look only at the C standard we can not tell much about if the functions should set `errno`. It seems that setting `errno` is totally implementation-dependent, except for a few functions that mention `errno`. These are `fgetpos`, `fsetpos`, `ftell` and should set `errno` to a positive value on error (but there is no guarantee that value of `errno` is preserved if no error occurs). And `errno` is always positive. This is different than what the checker currently does (with the new patches). Probably this should be a discourse question?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D135360



More information about the cfe-commits mailing list