[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