Si, car le code de la machine de Turing et de son entrée sont connus à la compilation - j'aurais du souligner les static const pour être plus clair, et aussi que l'évaluateur ne modifie pas l'état global. Je vais la faire en plus simple:
if (false)
bla();
Maintenant le code mort est très clair ? Il est tellement clair que n'importe quel compilateur va l'enlever dans ce cas d'ailleurs. J'ai juste remplacer false par une constante plus dure à évaluer (c'est semi-décidable).
[^] # Re: À boire et à manger
Posté par Burps . En réponse au journal Un développeur qui dénonce. Évalué à 0.
Si, car le code de la machine de Turing et de son entrée sont connus à la compilation - j'aurais du souligner les
static constpour être plus clair, et aussi que l'évaluateur ne modifie pas l'état global. Je vais la faire en plus simple:Maintenant le code mort est très clair ? Il est tellement clair que n'importe quel compilateur va l'enlever dans ce cas d'ailleurs. J'ai juste remplacer
falsepar une constante plus dure à évaluer (c'est semi-décidable).