А этого может быть не достаточно:
> The side effect of the built-in pre-increment and pre-decrement operators is sequenced before its value computation (implicit rule due to definition as compound assignment)
> The right operand is sequenced before the left operand
Но порядок применения сайд эффекта не определен по отношению к вычислению правого аргумента, который зависит от сайд эффекта.
gcc тоже
не уверен в этом, но так как в conexepr не может быть UB, видимо где-то еще есть что-то что форсит порядок.