Dans ce cas, la spec C autorise tout compilateur a faire ce qu'il veut tant que le resultat est similaire a ce qui aurait ete obtenu en executant la version fournie par le code. Si une optimization existe et prouve que, en fonction de contraintes decouvertes lors de la compilation a+b-a est bien egal a b, alors le compilateur ne viole rien.
[^] # Re: Quelques infos
Posté par mdlh . En réponse au journal Comment les programmeurs écrivent du code flottant ?. Évalué à 2.
Par contre bon courage.