Hacker News Reader

Yes (x - y < x) can't detect overflow because it overflows too, but what's wrong with (UINT_MAX - x < y)?

It seems to me that you're mixing (signed) int (x and y) and unsigned int (UINT_MAX).

As for securely implementing overflow checks for signed addition, this seems to be useful: http://blog.regehr.org/archives/1139