Sur 8 bits, effectuer

$c(70)=\text{01000110}$. L'addition donne :

Le bit de poids fort du résultat vaut $1$ : la machine lit un nombre négatif, $140-256=-116$. Additionner deux nombres positifs a produit un négatif.

Non, le résultat n'est pas correct, et l'explication est dans l'hypothèse du théorème du cours : il faut que $x$, $y$ et $x+y$ soient représentables. Or $70+70=140>127$ : la somme sort de l'intervalle $[-128;127]$. C'est un débordement.

Contrôle : $-116=140-256$, c'est-à-dire $140$ réduit modulo $256$ puis relu en complément à deux — le codage fait ce qu'il sait faire, du calcul modulo $2^8$.

Le vrai danger : aucune erreur n'est signalée. Le programme continue avec $-116$ à la place de $140$. Un test de la forme if total > 0 prendra alors la mauvaise branche.