ポインタ演算で配列の境界を越えてアクセスするような未定義の動作を行った場合、
それに続く比較の効果は未定義とする

比較されるかどうかもわからないのにわざわざ書いてるんだなぁ。