利用反汇编调试与补码解释0x80000000 / -1整形输出异常不一致

作证解释两种情况下0x80000000 / -1输出异常不一致(利用反汇编调试)

代码段一：
int a = 0x80000000; 
int b = a / -1;
printf("%d\n", b);
代码段二：
int a = 0x80000000;
int b = -1;
int c = a / b;
printf("%d\n", c);

觉得代码很简单，但当看到输出结果后就会有个大大的问号

• 代码段一的输出结果
  
• 代码段二的输出结果
  
  看到这儿，了解一些汇编知识的童鞋应该会看出点端倪

在C/C++,Java中，整型常量可用十进制、八进制或十六进制形式表示
—以1~9开头的数为十进制数
—以0开头的数为八进制数
—以0x开头的数为十六进制数

第一段：

代码段中定义的整形a=0x80000000实际上是个十六进制数。
其二进制表示为
1000 0000 0000 0000 0000 0000 0000 0000
在机器中是以补码形式存在的，所以开头的“1”是符号位。
根据补码转化成原码可以算出是-2147483648。
这个数恰好是整形的最小值(-2147483648~2147483647)。
对原操作数取neg(求补)理应为2147483648，溢出，系统自动自动将其看作补码形式存在即
1111 1111 1111 1111 1111 1111 1111 1111
所以输出为-2147483648。

第二段：

a/b机器用带符号除法指令(IDIV)实现，但是不生成OF标志。
实际上是“浮点异常”(“Floating point exception”)
Linux 中 对 #DE 类型发 SIGFPE 信号。
所以第二段没有输出 IDIV TMin/ 1= TMax +1发生溢出,程序中断。

以上仅为个人理解，有错望指正，谢谢。