Здравствуйте, Аноним, Вы писали:

А>Давайте по порядку.
А>

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

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

Здесь нет undefined behavior, но результат неопределен — это разные вещи. Более того, несмотря на то что Павел Кузнецов утверждает, что модификация одной переменной между точками следования — есть undefined behavior, пока это не отднозначно. Но то что это как минимум unspecified behavior — это точно.