为什么这会产生浮点异常？

Question

这是维基百科SIGFPE 页面的第二个例子.

#include <limits.h>
int main(void)
{
    volatile int x=INT_MIN;
    volatile int y=-1;
    x=x/y;
    return 0;
}

它将符号反转为INT_MIN的正数.怎么可能是FPE？

Answer 1

维基百科的文章回答:

...触发信号,因为商,正数,不可表示.

INT_MIN / -1 = -INT_MIN
             = INT_MAX + 1
             => invalid number
             => floating point exception (FPE)