C++26 未初期化変数の読み取り : erroneous behavior後の結果値に関する説明を整理

Author: faithandbrave

lang/cpp26/erroneous_behavior_for_uninitialized_reads.md

@@ -64,13 +64,14 @@ int g(bool b) {
 void h() {
   int d1, d2;
 
-  int e1 = d1;           // 誤り起因動作
-  int e2 = d1;           // 誤り起因動作
+  int e1 = d1;      // 誤り起因動作
+  int e2 = d1;      // 誤り起因動作
 
   // 処理が続行した場合…
-  assert(e1 == e2);      // OK。誤り起因動作の結果で生成された値は正常
-  assert(e1 == d1);      // 誤り起因動作
-  assert(e2 == d1);      // 誤り起因動作
+  assert(e1 == e2); // OK。誤り起因動作の結果で生成された値 (e1とe2) は、
+                    // 誤り起因動作を引き起こす値とはみなされない
+  assert(e1 == d1); // 誤り起因動作
+  assert(e2 == d1); // 誤り起因動作
 
   // 誤り起因動作ではないが
   // d2は誤り起因動作を引き起こす未初期化値をもつ