Bon, d'après mon bouquin, le comportement n'est pas défini par la norme en cas d'overflow, même si la majorité des implémentations perdent tout simplement les bits les plus forts, comme on s'y attend (genre 255 + 2 = 1).
Donc ça marchera la plupart du temps, mais ça n'a l'air jamais garanti.