規格ってのは、○○したら△△となる(ようにコンパイラ作れ)、という決め事なんだよ。
未定義ってのは、あなた(コンパイラ作る人)の自由にしてね、ってこと。