Здравствуйте, Bell, Вы писали:

А>>    f(i++) + f(i++);

А>>Понятно, почему здесь UB?

B>Здесь нет UB. Можно привести аргументацию?

Можно, конечно. Здесь нет точек следования, разделяющих две модификации переменной i.
Можете ли Вы такие точки следования указать?