Un dépassement qui ne dit rien

Le langage C · niveau 2

Énoncé

Quelle valeur affiche ce programme ? Pourquoi ?


int8_t x = 100;
int8_t y = 100;
int8_t s = x + y;
printf("%d\n", s);

Corrigé

Il affiche $- 56$ .

La somme $x + y$ vaut $200$ , calculée en int — les opérandes de petite taille sont promus. Mais l'affectation dans un int8_t, qui vit entre $- 128$ et $127$ , tronque le résultat sur $8$ bits : $200 = 1100100 0_{2}$ , et ce motif interprété en complément à deux vaut $200 - 256 = - 56$ .

Aucun avertissement à l'exécution, et gcc -Wall lui-même reste silencieux sur ce cas. C'est au programmeur de vérifier :


assert(x <= INT8_MAX - y);      /* la somme tiendra-t-elle ? */
int8_t s = x + y;

Noter la forme du test : on écrit x <= INT8_MAX - y et non x + y <= INT8_MAX, car cette seconde écriture déborderait elle-même avant d'être testée.

Énoncé

Corrigé

Exercices semblables