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

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

balazske added a comment.

About the first postgres result in pg_backup_tar.c:
At step 3 we see that original value of `len` is 1. The condition in step 5 is true, then `th->filelen-th->pos` should be < 1. This is the new value assigned to `len`. In step 6 `len` can be only <=0. Still the condition is assumed to be false what is not possible. At this point the path becomes already invalid.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D137790