> All addition operations over ints are potentially invoking UB.

Potentially invoking and invoking are not the same.