Quote (lbn954 @ 24 Jan 2013 23:22)
Sure, I just mean that that code may be correct in some context (as in my example).
Not really. It may be untrue for microcontrollers, where int might be 16-bit, and it almost definitely won't work for IL32P64.
Consider this example, compiled on a 64-bit debian:

And here's my output:

You could say that it will work if sizeof(int) equals sizeof(void*), but that doesn't have to be true either - signed integer overflow isn't exactly defined either.