関連する質問:代入演算子がシーケンス ポイントでない正当な理由はありますか?
comp.lang.c FAQから、以下のプログラムは未定義であると推測できます。奇妙なことfに、引数の計算と への制御の転送の間のシーケンス ポイントとしてへの呼び出しのみが言及されていfます。fから呼び出し元の式への制御の転送は、シーケンス ポイントとしてリストされていません。
int f(void) { i++; return 42; }
i = f();
それは本当に未定義ですか？
多くの質問に追加する最後のメモとして、静的分析のコンテキストでこれに興味があります。私はこれを自分で書いているわけではありません。他の人が書いたプログラムで警告する必要があるかどうかを知りたいだけです。
f から呼び出し元の式に戻る制御の転送は、シーケンス ポイントとしてリストされていません。
はい、そうです。
完全な式の評価の最後に
式ステートメントを形成する完全な式、または if、switch、while、for、または do/while ステートメントの制御式の 1 つ、あるいは初期化子またはreturn ステートメント内の式。
return ステートメントがあるため、シーケンス ポイントがあります。
そのようにも見えません
int f(void) { return i++; } // sequence point here, so I guess we're good
i = f();
未定義です。（これは私にとってはちょっと奇妙です。）
それはまったく未定義ではありません。C99 の付録 C にリストされているシーケンス ポイントの 1 つは完全な式の終わりであり、そのうちの 1 つは return ステートメントの式です。
return42 を返すので、そのステートメントの直後にシーケンス ポイントがあります。
完全を期すために、C99 シーケンス ポイントを以下に示します。関連するものは太字で示しています。
以下は、5.1.2.3 で説明されているシーケンス ポイントです。