W mojej odpowiedzi na pytanietutaj Wyjaśniłem, co się stało, gdy postfix ++ został użyty w zmiennej globalnej w tej samej linii co areturn komunikat.

Dodatek informacyjny C z C11 stwierdza, że ​​istnieje punkt sekwencji zaraz poreturn i odnosi się do normatywnego rozdziału 6.8.6.4, w którym nie można znaleźć tekstu dotyczącego punktów sekwencyjnych.

Gdzie w standardzie C mogę znaleźć tekst normatywny stwierdzający, że istnieje punkt sekwencji poreturn komunikat?

(Znalazłem tekst normatywny stwierdzający, że dla funkcji bibliotecznych, jako szczególny przypadek, o 7.1.4 / 3.)