This behavior is not specified in IEEE Std 1003.1, 2004 Edition. Neither are the other two NULL checks.