NoQ accepted this revision. NoQ added a comment. Yup. Yet another epic bug!
================ 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. + ---------------- I'm still curious why `index` being global actually matters here. Like, how does it increase the number of nodes in the graph? Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D78638/new/ https://reviews.llvm.org/D78638 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
