var c1, c2 : boolean;
begin
	// ...
	c1 := value > 0 and v2.value > INT_MAX - value; // Переполнение в положительную сторону
	c2 := value < 0 and v2.value < INT_MIN - value; // Переполнение в отрицательную сторону
	if c1 = True and c2 = True then
	begin
		// Тут выводим ошибку и закрываем
	end;
	else // ...
end.