https://github.com/jpienaar approved this pull request. Sounds reasonable to flag unreachable as dead explicitly. As mentioned this is conceptually the current state, except downstream consumers can't rely on that for unset. https://github.com/llvm/llvm-project/pull/153973