dead code elimination
Définition
Optimisation pratiquée par les compilateurs consistant à supprimer les portions de code ne pouvant pas être atteintes au cours de l'exécution, ou bien atteintes, mais ne produisant pas d'effet sur les résultats du programme. Elle est normalement pratiquée après la propagation de constantes, qui peut mettre en évidence du code mort après son passage, alors qu'il ne l'était pas auparavant. Voir "constant folding", "constant propagation".
