[PATCH] D135247: [clang][analyzer] Add stream functions to StdLibraryFunctionsChecker.

Artem Dergachev via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue Dec 13 14:53:47 PST 2022


NoQ added a comment.

I like where this is going. Is there a plan to enable `ModelPOSIX` by default, at least on POSIX-compliant target triples?

I'm somewhat worried that some users may find null dereference warnings on `fopen()` more annoying than useful (though they're definitely more valuable than, say, a null dereference warning over `malloc()` which can technically fail but in practice it just doesn't). In any case, these warnings will need to be properly explained with notes, otherwise it's very likely that reports are going to be hard to understand.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D135247



More information about the cfe-commits mailing list