> Treating otherwise unsafe code as safe because nontermination makes it dead doesn't strike me as particularly useful. It doesn't matter whether it's useful o

> Treating otherwise unsafe code as safe because nontermination makes it dead doesn't strike me as particularly useful. It doesn't matter whether it's useful or not. What matters is that the compiler can't determine whether it's safe or not.