C не определяет, какая сторона будет оценена первой. Стандарт гласит (C99 §6.5 / 2):
Между предыдущей и следующей последовательностью
указать объект должен храниться
значение, измененное не более одного раза
оценка выражения.
Кроме того, предыдущее значение должно быть
доступ только для определения значения
храниться
Вышеупомянутый результат, который вы опубликовали, UB.