[PATCH] D80699: [Analyzer][StreamChecker] Add check for pointer escape.

Balogh, Ádám via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri Jun 12 04:17:26 PDT 2020


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





More information about the cfe-commits mailing list