未定義動作のコードに対して、コンパイラはabiの実行可能コードを生成し、その動作に対する制限を行うことができる。