blob: 0a8f6c5222e74865799085f8e9c934a687151121 (
plain)
1
2
3
4
5
6
7
8
9
|
# integer-boundaries
Human review: pending. Expected output was independently traced by AI, not captured from cpsc.
Basis: Project INTEGER=i64 contract; CIE pp. 7 and 15 do not specify bit width or overflow.
Trace: Inputs are 2^63-1 and -2^63. Every operation stays in range; their sum is -1 and division by 1 preserves both values.
The final line independently exercises the minimum INTEGER as a source literal, rather than only through INPUT. Its exact value must also be -2^63; parsing its positive magnitude before applying unary minus must not silently change the value.
|
