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