c/c++中的未定义行为:i++ + ++i vs ++ i++ i++

假设我们有如下代码:

int i = 1;
int j = i++ + ++i;

我知道这是一个未定义的行为，因为在分号之前，这是一个序列点，i的值已经被改变了不止一次。这意味着即使operator plus的优先级是从左到右，编译器也可能有两种可能性:

案例1)

1. 取i++的值——i的值为1
2. 取++i的值—i的值为2
3. 执行运算符加号并将结果3赋值给j，并执行i++的副作用(这一步的顺序也未定义，但我们不关心，因为它不会改变结果)

案例2)

1. 取i++的值——i的值为1
i++的副作用——i的值是2
2. 取++i的值——i的当前值为3
3. 执行运算符加号并将结果4赋值给j

如果这里没有问题，我有一个问题:

int j = ++i + i++;

上面的代码仍然是一个未定义的行为吗?

在我看来，只有一种可能:

1. ++i的副作用——i的值是2
2. 取i++的值——i的值为2
3. 执行运算符加号并将结果4赋值给j，并执行i++的副作用(这一步的顺序也未定义，但我们不关心，因为它不会改变结果)

我说的对吗?

顺便说一句，我已经读了这个链接:
未定义行为和序列点