Из стандарта, я понял, что вызов функции является sequence point. Если это так, объясните мне, как работает следующий фрагмент кода:

#include <iostream>

int f(int i) { return i;}

void main()
{
    int i = 0;
    std::cout << f(i) << " " << f(i++) << " " << f(++i) << " " << f(i++) << std::endl;
}

Или здесь UB? Почему?