Find XO: C言語で未定義動作を減らすための標準の議論とツールの流れ(lwn.net)

- C言語の未定義動作とは、標準が結果を定めていないコードの状況を指す。原文によると、コンパイラがこれを理由に、プログラマの予想と異なる最適化を行う可能性があるため問題になる。 - 発表者のMartin Uecker氏は、C23標準に時間旅行のような最適化を防ぐ'no time travel'条項が追加されたと説明した。また、標準の未定義動作のうち約100個について、C2yドラフトで45個が削除されたと明らかにした。 - 発表によると、コンパイラ警告、静的解析ツール、サニタイザ、形式検証など、確認ツールが増えている。メモリ安全性は型、空間、時間の三つの部分に分けて扱われ、完全な保証には高価な実行時検査や形式検証が必要だというのが発表者の見解である。 - 原文は0に分ける例を挙げ、除算の前の検査文を削除する最適化が、ある場合には許されるが、別の場合には誤りになることを示している。途中に関数呼び出しが入るとプログラムの動作が変わるためである。