| int x | left operand |
| int y | right operand |
| bool overflow | set if an overflow occurs, is not affected otherwise |
| uint x | left operand |
| uint y | right operand |
| bool overflow | set if an overflow occurs, is not affected otherwise |
| int x | left operand |
| int y | right operand |
| bool overflow | set if an overflow occurs, is not affected otherwise |
| uint x | left operand |
| uint y | right operand |
| bool overflow | set if an overflow occurs, is not affected otherwise |
| int x | operand |
| bool overflow | set if x cannot be negated, is not affected otherwise |
| int x | left operand |
| int y | right operand |
| bool overflow | set if an overflow occurs, is not affected otherwise |
| uint x | left operand |
| uint y | right operand |
| bool overflow | set if an overflow occurs, is not affected otherwise |