Un dépassement qui ne dit rien

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

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=11001000_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.