C言語の副作用完了点

以下のようなコードを書いたところ、"operation on 'i' may be undefined"というwarningが出ました。

int main() {
    int a[10];

    int i = 0;
    a[i] = i++;

    return 0;
}

調べてみると、「ある変数に 対して副作用が生じるような式においては、他の箇所でその変数を参照すること はできません。その結果は未定義とされています。」ということだそうです。

ちなみに、ある時点においてそこまでの副作用が全て完了することが保証されている区切 りのことを、副作用完了点(sequence point)と呼ぶそうです。後置インクリメントは次の副作用完了点の前までに実行されることは保証されています。しかし、後置演算の該当部分が読み込まれてすぐ、かつ、他の部分が評価される前に実行されるとは限らないということです。

上の例の他にも以下のような処理も同様の理由で未定義となります。

int main() {
    int x, y;

    x = 0;
    printf("%d\n", x + x++);   // NG

    y = x + ++x;     // NG
    
    return 0;
}

参考サイト：

http://www.kouno.jp/home/c_faq/c3.html

http://www.st.rim.or.jp/~phinloda/cqa/cqa7.html