[Citation needed]

as it is supposed to be guaranteed for NULL pointers, unlike dangling or garbage ones

Guaranteed by whom? I believe the C standard only guarantees undefined behavior. You seem to be suggesting that someone else is guaranteeing specific behavior.