对于int next = index++ + index;，可移植C能得出什么结论？

对于int next = index++ + index;，可移植C能得出什么结论？

1. 它产生未定义行为，因为对index的修改与另一次读取彼此无序。
2. 它一定会使用两次index的旧值。
3. 它一定会在计算第二个操作数前增加index。
4. 结果由实现定义，编译器会记录具体选择。