2 ms·

Dead code elimination is exactly the same as the halting problem. It’s approximate (and hopefully conservative!) at best.

• kibwen 1y ago
  No, dead code elimination in a statically-dispatched language is not equivalent to the halting problem.