ben si... que l'addition réussisse et donne une valeur correcte ou une valeur bizarre (une valeur x telle que x+1-x = 0, par exemple), c'est un exemple tout à fait normal d'undefined behaviour

(autrement dit la spécification de C [comme presque toutes les spécifications d'ailleurs] ne spécifie pas un unique comportement possible mais une classe de comportements possibles)