[Mlir-commits] [mlir] [mlir] Avoid rewriting unreachable blocks in the greedy driver (PR #225814)

[Matthias Springer]

matthias-springer wrote:

Sorry, I'm on vacation at the moment and just looking occasionally. I asked a coding agent to do a final pass over the PR to find any correctness issues that we may have missed in the review. It [reported an issue](https://gist.github.com/matthias-springer/ef48896c6577a9d5c5b9672909c3d8d4) ([reproducer](https://gist.github.com/matthias-springer/11c94260be9b3114f88a75c5deba7124)) where a block is incorrectly classified as "reachable". Can you check if there is actually a problem here?

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