ポインター算術を含む式では、ポインターはアドレスであると想定されます。 ですからポインターに値を追加する場合、ソース・ポインターに高位ビットがオンだった場合でも、結果ポインターでは高位ビットがオンでない場合があります。