baloghadamsoftware added inline comments.

================
Comment at: clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp:439-441
+  // Do not handle untracked stream. It is probably escaped.
+  if (!State->get<StreamMap>(StreamSym))
+    return;
----------------
balazske wrote:
> Szelethus wrote:
> > How does this interact with D78280?
> That change needs to be updated after this. A new "escaped" stream state is 
> needed to avoid recognizing an escaped stream again.
Why not take that approach now? I mean that instead of deleting the stream from 
the map set its state to "escaped".


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D80699



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

Reply via email to