Si, c'est ce que permettent les UB. Et un UB dans du code optimiser peut avoir des comportements très surprenant parce que l'optimiseur est libre de...
Les débordements sur les non signés sont parfaitement définie, l'UB n'est pas là. Serge le dit lui même dans son second message: il manque un return...