>>ゼロをポインタにキャストするとヌルポインタになることは保証されるが

そうだっけ。定数のゼロだけでは?