[PATCH] D78638: [analyzer] Consider array subscripts to be interesting lvalues
Valeriy Savchenko via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Thu Apr 23 07:32:07 PDT 2020
vsavchenko marked an inline comment as done.
vsavchenko added inline comments.
================
Comment at: clang/test/Analysis/CheckThatArraySubsciptNodeIsNotCollected.cpp:18-19
+// time to collect redundant nodes. This GC-like mechanism kicks in only when
+// the exploded graph is large enough (>1K nodes). For this reason, 'index'
+// is a global variable, and the sink point is inside of a loop.
+
----------------
NoQ wrote:
> I'm still curious why `index` being global actually matters here. Like, how does it increase the number of nodes in the graph?
It does not simply increase the number of nodes, it increases it by thousands!
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D78638/new/
https://reviews.llvm.org/D78638
More information about the cfe-commits
mailing list