NULL==0 っていう式の値は1ってことは保証されてるよ。
==は必ずしもビットパターンの一致を検査するわけじゃないからね。
ただし、共用体やポインタのキャストを使ってNULLを整数だってコンパイラだまして整数定数0と比較する式は0になることもあるよ。