[Mlir-commits] [mlir] [mlir] Add support for staged dataflow analyses (PR #192998)

[Oleksandr Alex Zinenko]

================
@@ -110,6 +111,28 @@ Location LatticeAnchor::getLoc() const {
 //===----------------------------------------------------------------------===//
 
 LogicalResult DataFlowSolver::initializeAndRun(Operation *top) {
+  eraseAllStates();
----------------
ftynse wrote:

This changes the logic, though I don't know if somebody was relying on it. The current logic technically allows one to `initializeAndRun` on several entrypoints in a row without erasing previous state.

https://github.com/llvm/llvm-project/pull/192998