Уже. Первые впечатления: Для двух s+2 хватает s+4, но в одном случае есть переполнение. На первый взгляд предположение верно; условно можно так же сказать, что это флаг переполнения для случая двух INTx_MIN; только в этом случае он используется для корректного представления результата.