https://github.com/nikic requested changes to this pull request. Unreachable blocks are dominated by all blocks, so this is well-defined IR. If a pass fails to handle it correctly, that pass needs to be fixed. https://github.com/llvm/llvm-project/pull/68576