그냥 32비트인거 감지했다고 치고
x, y가 음수가 아닌걸 알 때

z = (2^32 - 1) - x 라고 하고 (이건 항상 안전함)
z < y인지를 보면 미리 x+y가 오버플로 생길지 알 수 이씀

x와 y가 하나만 음수면 오버플로가 안 생길거고

모두 음수면 분기를 더 만들어야 하나

가장 심플한 분기를 짜보면 재미께따