Вопросы с тегом «compiler-theory»

192
Почему обнаружение мертвого кода не может быть полностью решено компилятором?

Компиляторы, которые я использовал в C или Java, имеют предотвращение мертвого кода (предупреждение, когда строка никогда не будет выполнена). Мой профессор говорит, что эта проблема никогда не может быть полностью решена компиляторами. Мне было интересно, почему это так. Я не слишком знаком с...