Une addition qui dépasse la capacité du registre ne produit ni erreur, ni exception, ni drapeau. Elle produit un résultat, et ce résultat est faux.
Objectif
Chiffrer le basculement, puis compter ce que le processeur en dit.
Pourquoi un test naïf ne l'attrape pas
Le réflexe est de tester si a + b > seuil. Or si a + b a débordé, la somme est devenue négative
et le test échoue en silence : le programme conclut que la limite n'est pas atteinte, au moment
précis où elle est largement dépassée.
Le test correct ne calcule pas la somme : il compare a à seuil - b. La soustraction, elle, ne
déborde pas quand b et seuil sont du même ordre, et le test devient fiable.