[PATCH] D137790: [clang][analyzer] Remove report of null stream from StreamChecker.
Kristóf Umann via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Dec 19 06:29:07 PST 2022
Szelethus added a comment.
I have a fear that we may have too few results as well -- maybe we should expand our testing infrastructure with more POSIX API heavy codebases. Looking at a few new projects, https://github.com/audacity/audacity looks like a good candidate, but of course it often turns out that adding a new project to the benchmark is more troublesome than it appears...
In D137790#4004803 <https://reviews.llvm.org/D137790#4004803>, @balazske wrote:
> Here is a postgers result link <https://codechecker-demo.eastus.cloudapp.azure.com/Default/reports?review-status=Unreviewed&review-status=Confirmed%20bug&detection-status=New&detection-status=Reopened&detection-status=Unresolved&run=postgres_REL_13_0_baseline&is-unique=off&diff-type=New&checker-name=alpha.unix.StdCLibraryFunctionArgs>, results are from **StdCLibraryFunctionArgs** checker. The second report is in file relcache.c (it looks like that `data` pointer is really null but the `len` value is 0, and in this special case the data pointer should be ignored according to the standards). A FIXME for this case was added to the code in D135247 <https://reviews.llvm.org/D135247>.
Could you please re-evaluate the patch stack with the new fix?
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D137790/new/
https://reviews.llvm.org/D137790
More information about the cfe-commits
mailing list