value flow: fixed redundant null pointer check