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.