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

_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to