The value of an expression that overflows or underflows is undefined, except when the operands are unsigned.
