Sequence Point

원래 잘 이해가 안 됩니다. 어려워요.
영어 장벽이야 사람마다 다르다지만 표준 세부사항 자체가 난해하고, "왜 그렇게 정했는가"를 이해하는 건 훨씬 더 어렵습니다.

제공하신 코드는 syntax에 의해 다음과 같이 parsing됩니다.

a*=(b*=(a*=b));

주어진 코드 스니펫 바로 앞에 sequence point가 있다고 가정하겠습니다.
또한 저 expression이 독립적인 expression statement이며, a와 b는 non-volatile이고 주어진 코드 외의 다른 요인으로 값이 변할 일이 없다고 가정하겠습니다.
그러면 바로 다음 sequence point는 코드 스니펫 바로 직후에 오게 됩니다.

그런데 표준은 인접한 두 sequence point 안에서 object가 최대 한 번만 변경되어야 한다고 명시하고 있습니다. 이 규정을 어길 경우 미정의 동작(Undefined behavior)이 일어납니다.
제공하신 코드에서는 a가 인접한 sequence point 안에서 두 번 변경되고 있으므로 표준 위반입니다. 끝.

참고로, 같은 이유로 아래와 같은 더 간단한 코드도 표준 위반으로 미정의 동작을 낳습니다.

int a=1, b=1;
a=b=a=0;

하지만 현실적으로 볼 때 컴파일러가 위 코드에 대해 쉽게 예상되는 결과(a와 b가 둘다 0이 됨) 말고 다른 결과를 내놓는 구현환경을 찾기는 어려울 겁니다. 혹시 찾으면 알려주세요. 궁금하네요.
미정의 동작이라는 게 이렇습니다. 예상대로 잘 될 수도 있어요. 그럴 거라는 보장이 없어서 문제죠. 특히 컴파일러 개발자는 자기 편의를 위해 미정의 동작이 구체적으로 어떨 것인지 자유롭게 결정할 수 있는 겁니다.