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

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

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