[Mlir-commits] [mlir] [mlir][Transforms] `GreedyPatternRewriteDriver`: Check for out-of-scope IR modifications (PR #76219)

[Mehdi Amini]

joker-eph wrote:

I thought the same, but this isn't what we document on https://mlir.llvm.org/docs/PassManagement/#operation-pass

> Must not modify any state referenced or relied upon outside the current operation being operated on. This includes adding or removing operations from the parent block, **changing the attributes(depending on the contract of the current operation)/operands/results/successors of the current operation**.

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