[PATCH] D82845: [Analyzer][StreamChecker] Report every leak, clean up state.

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added inline comments.


================
Comment at: clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp:969
+  // Do not warn for non-closed stream at program exit.
+  if (Pred && Pred->getCFGBlock() && Pred->getCFGBlock()->hasNoReturnElement())
+    return Pred;
----------------
balazske wrote:
> Szelethus wrote:
> > It is a realistic worry that either the predecessor exploded node or the CFGBlock is null? Could we assert this instead?
> It may be simply more safe to check for it. I do not know if exactly if these can be null at this place.
Please use `SuppressOnSink` instead.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D82845