Hmm... tel que c'est présenté ça peut paraître logique mais à mon humble avis ça breakera pas mal de programmes dans des situations plus ambiguës. Je trouve ça plutôt gore que l'optimiseur ait le droit de supposer qu'il n'y a pas overflow (même si sur d'autres machines c'est indispensable car l'overflow peut déclencher une exception).