Il y a en effet une norme avec des cas explicitement non defini que tu es censé éviter ou le compilateur est libre de faire ce qu'il veut et un underflow en fait partie.

Mais en effet ce n'est pas ce point là qui est surprenant. Je suppose que le soucis pour toi est que le literal est traité comme un int et que du coup la valeur du complément après les casting automatique est différente suivant la taille du type. Et la taille des type n'étant pas totalement fixée par la norme, il y a moyen que les résultats varient en fonction des archi/compilateur.