> если нельзя написать код который "гарантированно и однозначно" сложит 2 инта...

У тебя поведение зависит от архитектуры (железа) и оно однозначно: результат то сложения одинаков.

Вот сравнение да - для его выполнения идет учет UB.
UB дает возможность как угодно оптимизировать

Как хотим так и делаем.

Хочешь повторяемости - не дай оптимизации использовать UB;
Сделай так:

number += 1;

int number1 = number;

if (number1 > 0)
{
}