Celà dit je me demande si le compilateur est en mesure de traquer tout le code mort ou s'il a ses limites (j'avoue que je ne me suis jamais posé la question).
Ça doit dépendre du langage; quand la reflexivité est autorisée (eval()), tu ne peux pas vérifier, et j'imagine qu'il y a des constructions avec des pointeurs de fonction qui rendent le traquage du code mort très très complexe.
Et puis tu as de toutes manières les trucs du genre
if (check_P_equals_NP()) foo();
qui fait que foo() est peut-être mort et peut-être pas...
[^] # Re: bah non
Posté par arnaudus . En réponse au journal Le bon sens et le C++. Évalué à 2.
Ça doit dépendre du langage; quand la reflexivité est autorisée (eval()), tu ne peux pas vérifier, et j'imagine qu'il y a des constructions avec des pointeurs de fonction qui rendent le traquage du code mort très très complexe.
Et puis tu as de toutes manières les trucs du genre
if (check_P_equals_NP()) foo();qui fait que foo() est peut-être mort et peut-être pas...