Quelle condition fondamentale les optimisations du compilateur doivent-elles respecter ?

Réponse : C. Ne pas modifier, pour un programme correct, les résultats visibles de l'extérieur

Les optimisations sont des transformations visant à rendre le programme plus rapide ou plus petit, mais elles ne doivent pas modifier le comportement visible de l'extérieur d'un programme correctement écrit, comme ses sorties ou ses écritures de fichiers. C'est sous cette condition que l'on réordonne les calculs ou supprime les calculs inutiles. La réduction du nombre d'instructions varie selon les cas, et il n'existe pas de règle de division par deux. Modifier le résultat n'est permis que lorsque l'utilisateur l'a explicitement choisi, par exemple en autorisant le réordonnancement en virgule flottante.