Это означает, что расчет превысит диапазон long
. Переполнение со знаком приводит к неопределенному поведению.
Единственная корреляция между диапазоном значений, представляемых long
, и значением INT_MIN
состоит в том, что INT_MIN
представляется как long
. Нет гарантии, что * менее чем вдвое INT_MIN
представляется как long
.