[PATCH] D137790: [clang][analyzer] Remove report of null stream from StreamChecker.

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

balazske added a comment.

Some reports can be found here <https://codechecker-demo.eastus.cloudapp.azure.com/Default/runs> (if the link works and the data does not expire), the runs stored on 2022-12-09.

Results appeared only projects "postgres" and "curl" (from memcached,tmux,curl,twin,vim,openssl,sqlite,ffmpeg,postgres,libwebm) from checkers **StdCLibraryFunctionArgs** and **Errno**.

On the postgres results, the second is one that can be fixed in the checker (add special cases to `StdLibraryFunctionsChecker` for zero `len` or `size` `fread` and `fwrite` arguments). The others are false positives because the error path is impossible because implicit constraints (what is not known to the analyzer) on variables.

These curl <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=curl_curl-7_66_0_baseline&is-unique=off&diff-type=New&checker-name=alpha.unix.Errno> results look faulty, the last `fclose` call looks not recognized.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D137790