>>691
>え、配列の先頭よりも前を指すポインタを生んだ時点で未定義なの？
違います。
演算結果が、配列の先頭よりも前を指すポインタを生んだ時点で未定義になります
初期化されてないポインタは演算されてないので、無問題です。