¿Qué dicen los estándares C o C++ sobre la división de enteros con signo para este caso especial, está definida y de qué manera?

 INT_MIN / -1 (0x8000_0000 / 0xFFFF_FFFF)

El resultado matemático sería el valor positivo 0x8000_0000 que no se puede representar en complemento de 2 con signo de 32 bits.