> Это странное утверждение. Обощая можно получить, что компилятор вообще не должен генерировать работающую прогроамму

If a program contains no violations of the rules in this International Standard, a conforming implementation shall, within its resource limits, accept and correctly execute3) that program.

All side effects (1.9) of the left expression, except for the destruction of temporaries (12.2), are performed before the evaluation of the right expression.

int i, j;

int main()
{
    return ++i + ++j;
}

Выдержка из получающегося ассемблерника для Itanium с моими комментариями

main:
{.mii
    add    r11=@gprel(j#),gp // загрузим смещения переменных i и j
    add    r10=@gprel(i#),gp
    nop.i   0 ;; // так обозначается та самая пресловутаю "точка следования" в asm :)
}
{.mmi
    ld4    r9=[r11]   // загрузим значения переменных
    ld4    r8=[r10]
    nop.i   0 ;;       // "точка следования"
}
{.mii
    add    r3=1,r9    // к каждому прибавим по 1 
    add    r2=1,r8 ;; // "точка следования", ждем завершения предыдущих операций
    add    r8=r2,r3   // складываем
}
{.mmi
    st4    [r11]=r3   // сохраняем новые значения переменных
    st4    [r10]=r2
    nop.i   0 ;;
}
{.mib
    nop.m   0                
    nop.i   0                
    br.ret.sptk.many b0 ;; // возвращаемся, в r8 - результат
}

Except where noted, the order of evaluation of operands of individual operators and subexpressions of individual expressions, and the order in which side effects take place, is unspecified.

А>>    i = (++i, 0);
А>>

    i = (++i, 0)  ;
  ^         ^    ^
  1         2    3

    i = A;

D>Это странное утверждение. Обощая можно получить, что компилятор вообще не должен генерировать работающую прогроамму Хотелось бы чего-то более конкретного.

int fun(int *i,int *j) { return ++(*i) + ++(*j); }

D>>>Это странное утверждение. Обощая можно получить, что компилятор вообще не должен генерировать работающую прогроамму Хотелось бы чего-то более конкретного.

Ш>>int fun(int *i,int *j) { return ++(*i) + ++(*j); }
Ш>>

int i_res=++(*i); 
int j_res=++(*j);

return i_res+j_res; // Всё что мы сделали -- разбили выражение на два подвыражения.