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

[Kristóf Umann via Phabricator via cfe-commits]

Szelethus added a comment.

In D137790#3992216 <https://reviews.llvm.org/D137790#3992216>, @balazske wrote:

> 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.

I'd want some more thorough explanations as well. Path events are numbered in CodeChecker, you can use them to explain why you think the report is a false positive.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D137790