https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119104
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Non zero and zero are runtime values of here. Rather than compile characteristics of that argument. Maybe just: If the runtume value of the integral argument is zero, the pointer argument can be null; or if it is non-zero, the pointer argument must not be null.
