Euh, non, dans le deuxième cas le compilateur est en droit d'optimiser parce que a+b qui déborde est un comportement indéfini.
La même chose avec des unsigned int (arithmétique modulo 2n) et le compilateur n'a plus le droit (enfin, sur cet exemple en particulier, a+b 1 && b > 1 && a+b < 2) par exemple).
Un compilateur qui optimise avec une sémantique différente de celle de l'exécution ne serait pas très utile...
[^] # Re: Pascal...
Posté par Matthieu Moy (site web personnel) . En réponse au journal Python comme premier langage de programmation ?. Évalué à 2.
Euh, non, dans le deuxième cas le compilateur est en droit d'optimiser parce que a+b qui déborde est un comportement indéfini.
La même chose avec des unsigned int (arithmétique modulo 2n) et le compilateur n'a plus le droit (enfin, sur cet exemple en particulier, a+b 1 && b > 1 && a+b < 2) par exemple).
Un compilateur qui optimise avec une sémantique différente de celle de l'exécution ne serait pas très utile...