[cvs-nhc98] Fix incorrect reporting of bad zero pointers in hat-check