[PATCH] D154423: [clang][analyzer] Add all success/failure messages to StdLibraryFunctionsChecker.

[Balázs Kéri via Phabricator via cfe-commits]

balazske added a comment.

The standard streams may need special handling, this can be useful for `StreamChecker` too. One problem is that the standard streams can be changed by the program, so we can not know for sure if these are the original values. Still it can be better to assume that `fileno` can not fail if used with the standard streams.
The result with `ftell` looks interesting, I checked this case already and I think the note tag is missing because there is a hidden conversion so the original symbol (that is set to interesting) is different than the real `ftell` function call.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D154423