Hacker News Reader

Comment by dfox | Hacker News Reader

According to standard, (unsigned int)(-1) is undefined behavior (as is signed overflow) because the machine can use some other representation of signed integers than twos-complement. On the other hand you will probably never find non-twos-complement architecture in any vaguely production use today.

View on HN

Nope, casting signed to unsigned is well-defined. The C standard requires it to act like two’s complement regardless of what the machine actually uses:

> Otherwise, if the new type is unsigned, the value is converted by repeatedly adding or subtracting one more than the maximum value that can be represented in the new type until the value is in the range of the new type.

https://stackoverflow.com/questions/50605/signed-to-unsigned...

~0u is also a safe equivalent if there is unwarranted fear around wrapping.

Apart from fact that it is not an integer overflow, what you can see in system headers is not what you can do in regular program’s headers. System headers are part of toolchain and can rely on specifics of platform and actively use these to provide compliant values for you. When you’re on a different platform, a different set of definitions is provided (though most cross-platform standard library implementations try to abstract specifics deep into their internals and builtins, since it is useful for stdlib writers too).

Unsigned underflow/overflow is very clearly defined.

Signed integer underflow/overflow is UB, on the other hand.

Reply on news.ycombinator.com