What does C or C++ standards say about signed integer division for this special case, is it defined and in what way?
INT_MIN / -1 (0x8000_0000 / 0xFFFF_FFFF)
The mathematics result would be the positive value 0x8000_0000 which is not representable in 32 bit signed 2-complement.