Dead code elimination là gì?

Trong lý thuyết trình biên dịch (compiler theory), loại bỏ mã chết (dead code elimination) là một tối ưu hóa biên dịch (compiler optimization ) để loại bỏ mã (code) mà không ảnh hưởng đến kết quả chương trình. Việc xóa mã như vậy có một số lợi ích: nó thu nhỏ kích thước chương trình (program size) và nó cho phép chương trình đang chạy tránh thực hiện các hoạt động (operation) không liên quan, làm giảm thời gian chạy (running time) của nó. Nó cũng có thể cho phép tối ưu hóa hơn nữa bằng cách đơn giản hóa cấu trúc chương trình (program structure). Mã chết (dead code) bao gồm mã không bao giờ có thể được thực thi nghĩa là mã không thể truy cập (unreachable code) và mã chỉ ảnh hưởng đến các biến chết (dead variable) nghĩa là biến được ghi vào, nhưng không bao giờ được đọc lại, tức là không liên quan đến chương trình.