たとえばリテラルを書き換えたときの挙動なんかは未定義だったりするけど、
うっかりやっちゃうことだってよくあることじゃん？
最適化かけたら問題が顕在化するとかありがちじゃん？
言語処理系としては仕様に従ってたらいい話なんだけど、
言語ユーザーの誰も彼もが仕様の詳細を把握してるわけでもないし、
ちょっとしたミスを許容するナイーブな処理系の方が結果的に安定して動くことはありえる。

これはちゃんと仕様を習得するのにかかるコストだとか、
必要なパフォーマンスとかとのトレードオフになってくる話で、
どちらがより安定しているかという客観的な指標で言うのは難しいと思うんだよな。