[PATCH] D80699: [Analyzer][StreamChecker] Add check for pointer escape.
Kristóf Umann via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Thu Jun 4 03:45:30 PDT 2020
Szelethus 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;
----------------
How does this interact with D78280?
================
Comment at: clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp:952-954
+ for (InvalidatedSymbols::const_iterator I = Escaped.begin(),
+ E = Escaped.end();
+ I != E; ++I) {
----------------
Foreach?
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