De acordo com a ISO C11 - 6.5.16.3, diz que

Um operador de atribuição armazena um valor no objeto designado pelo operando esquerdo. Uma expressão de atribuição possui o valor do operando esquerdo após a atribuição, mas não é um valor l. O tipo de uma expressão de atribuição é o tipo que o operando esquerdo teria após a conversão de lvalue. O efeito colateral da atualização do valor armazenado do operando esquerdo é sequenciado após o cálculo dos valores dos operandos esquerdo e direito. As avaliações dos operandos não são seguidas.

Então, acho que isso significa que, por exemplo,

int x = 10;
x = 5 + 10;

Operando esquerdox é avaliado para 10 e o operando direito é avaliado para 15.O valor do operando direito é armazenado no objeto designado pelo operando esquerdox.

Mas se o objetivo da atribuição é armazenar o valor avaliado do operando direito (como na etapa 2), por que a avaliação do operando esquerdo é necessária? Qual é o objetivo de avaliar o operando esquerdo?