What may portable C conclude about int next = index++ + index;?

What may portable C conclude about int next = index++ + index;?

1. It has undefined behavior because the modification and other read of index are unsequenced.
2. It always uses the old index value twice.
3. It always increments index before the second operand.
4. The result is implementation-defined and documented by the compiler.