Nach ISO C11 - 6.5.16.3 heißt es, dass

Ein Zuweisungsoperator speichert einen Wert in dem vom linken Operanden angegebenen Objekt. Ein Zuweisungsausdruck hat nach der Zuweisung den Wert des linken Operanden, ist jedoch kein Wert. Der Typ eines Zuweisungsausdrucks ist der Typ, den der linke Operand nach der Wertekonvertierung haben würde. Der Nebeneffekt der Aktualisierung des gespeicherten Werts des linken Operanden wird nach den Wertberechnungen des linken und des rechten Operanden sequenziert. Die Auswertungen der Operanden sind nicht sequenziert.

So denke ich, das bedeutet, dass zum Beispiel

int x = 10;
x = 5 + 10;

Linker Operandx wird mit 10 und rechter Operand mit 15 bewertet.er Wert des rechten Operanden wird in dem Objekt gespeichert, das durch den linken Operanden @ gekennzeichnet isx.

Aber wenn der Zweck der Zuweisung darin besteht, den ausgewerteten Wert des rechten Operanden zu speichern (wie in Schritt 2), warum ist eine Auswertung des linken Operanden erforderlich? Was nützt es, den linken Operanden auszuwerten?