r20134: The IBM Checker correctly notes that *p cannot be \0 and still satisfy