[PATCH] D53058: [analyzer] Experiment with an iteration order only based on location, and not using the stack frame

[George Karpenkov via Phabricator via llvm-commits]

george.karpenkov added inline comments.


================
Comment at: cfe/trunk/lib/StaticAnalyzer/Core/WorkList.cpp:297
+    if (auto BE = N->getLocation().getAs<BlockEntrance>())
+      NumVisited = NumReached[BE->getBlock()->getBlockID()]++;
+
----------------
NoQ wrote:
> Does this mean that Block 1 in foo() and Block 1 in bar() will always have the same `NumReached` value?
That's a great point. Pushing an update.


Repository:
  rL LLVM

https://reviews.llvm.org/D53058