ポインタ演算は配列(動的なのを含む)のアドレスに対してしか、
その有効性が保証されてないからな。
NULL に何を足しても NULL になる処理系があっても
文句はいえないんじゃないだろうかね?
まあ、そんな無駄な処理を入れることはないだろうけど。