Стандарт не определяет порядок оценки аргументов с этой строкой:

The order of evaluation of arguments is unspecified.

Что значит

Better code can be generated in the absence of restrictions on expression evaluation order

означают?

Какой недостаток заключается в том, что все компиляторы просят оценить аргументы функции, например, слева направо? Какие виды оптимизации выполняют компиляторы из-за этой неопределенной спецификации?