254Fermer256
Kevin KoflerLe 03/10/2007 à 02:30
Au fait, es-tu au courant que d'après la définition du standard C, ton bench de la racine carrée est strictement équivalent à void _main(void) {}? Mais visiblement aucun des deux compilateurs n'arrive à prouver ça. (Il faut prouver que le code termine, après on peut le supprimer parce que l'assignement n'est utilisé nulle part.) Il faut faire quelque chose avec le résultat, par exemple l'afficher, pour éviter que le compilateur triche, et garantir que le résultat est vraiment calculé. De plus, il faut que l'entrée soit une entrée en temps d'exécution (argument estack par exemple), sinon un compilateur pourrait calculer tout en temps de compilation et sortir directement la constante résultante.