result = left+right;
ASSERT(result == (39-120));
+
+ left = -39;
+ right = 80;
+
+ result = left+right;
+ ASSERT(result == (-39+80));
+
+ left = -39;
+ right = -70;
+
+ result = left+right;
+ ASSERT(result == (-39-70));
+
+ result += 0xab00;
+ ASSERT(result == ({type})(0xab00-39-70));
}
void
result = left-right;
ASSERT(result == (39+76));
+
+ left = -12;
+ right = 56;
+
+ result = left-right;
+ ASSERT(result == (-12-56));
+
+ left = -39;
+ right = -20;
+
+ result = left-right;
+ ASSERT(result == (-39+20));
+
+ result = left-(signed)0x1200;
+ ASSERT(result == ({type})(-39-(signed)0x1200));
}