Un exemple concret: les optimisateurs peuvent optimiser:
int a=...,b=...;
int x=a*a, y=b*b;
if (x+y<0) ...
en:
int a=...,b=...;
int x=a*a, y=b*b;
tout court, et c'est leur plein droit. Je ne pense pas que c'est fait actuellement sous cette forme (il n'y a pas encore de "value range tracking"), mais c'est prévu, et puis ce n'est qu'un exemple.