いやすまん「規格外の仕様に拠る」はやや誤解して書いてたわ；
下記の通り、未定義動作を含むコードは合法には成り得ず、実行できるかもしれないが、結果は保証されない。（つまり違反
ttp://www.c-lang.org/detail/undefined_behavior.html
>未定義の動作に対して，その状況を無視して予測不可能な結果を返してもよい。
>翻訳時又はプログラム実行時に，文書化された，環境に特有な方法で処理してもよい（診断メッセージの発行を伴っても伴わなくてもよい。）。
>さらに（診断メッセージを出力し）翻訳又は実行を中断してもよい。

ここで、診断メッセージ云々とか「文書化された，環境に特有な方法で処理」とは安全に実行を止めることを意味する
Windowsでアプリのクラッシュ時に出てくるダイアログとか、コアダンプとかがそれにあたる