[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