a=aは未定義動作になりうるか? - Qiita

はじめに 注意 この記事は僕がC11の規格を独自に解釈したものであり，この記事の正当性を何ら保証するものではありません． この記事を吹聴して恥をかいても，自己責任でおねがいします． 寧ろツッコミ大歓迎です． 知っておくと良いこと(前提知識ではないので知らなくても良い) i=++i+1;は未定義動作 注釈84より自明． 自明というからには説明できるんでしょうね．はい．書きました 主張 式文 a=a は未定義動作になりうる. 条件 変数(オブジェクト)aがvolatile修飾子付きで宣言されている． 例えば， など この時，全てのaに対するアクセスは6.7.3 paragraph 7によって処理系定義であることに注意すべき． なぜ未定義動作になるか 5.1.2.3 paragraph 2より，volatile objectへのアクセスはside effect，即ち副作用を生む． 6.5.16